1:
seed: 0
Nr of vars set: 488 (#equs: 0)
Nr of vars set: 792 (#equs: 132)
#decisions: 190544; #end-nodes: 110460;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 918, #non-axs: 38
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: 792 (#equs: 135)
Time taken: 5 min, 7 sec
2:
seed: 0
Nr of vars set: 792 (#equs: 0)
Nr of vars set: 792 (#equs: 156)
#decisions: 201080; #end-nodes: 111533;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 263 (263)
#axs: 942, #non-axs: 203
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): 49
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 792 (#equs: 180)
Time taken: 4 min, 12 sec
3:
seed: 0
Nr of vars set: 792 (#equs: 0)
Nr of vars set: 792 (#equs: 145)
#decisions: 216507; #end-nodes: 134559;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 303 (303)
#axs: 925, #non-axs: 651
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 29, end (keep): 46
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 792 (#equs: 163)
Time taken: 4 min, 19 sec
4:
seed: 0
Nr of vars set: 792 (#equs: 0)
Nr of vars set: 792 (#equs: 177)
#decisions: 172432; #end-nodes: 68462;
#proof improvement attempts: 68420; #restarts: 288
Current batch, end-nodes: 0 / 271 (271)
#axs: 947, #non-axs: 280
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 29, end (keep): 46
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 792 (#equs: 185)
Time taken: 4 min, 47 sec
5:
seed: 0
Nr of vars set: 792 (#equs: 0)
Nr of vars set: 792 (#equs: 139)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 792 (#equs: 143)
Time taken in seconds: 96
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/29197/stat): 29197 (vallstSAT2005PB) R 29196 29197 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788169536 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/29197/statm): 174 3 169 147 0 27 0
[pid=29197] 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=29198
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=29198) exited with status: 0
New process pid=29199
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=29199) exited with status: 0
New process pid=29200
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/wulflinc12/normalized-mps-v2-20-10-gfrd-pnc.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0039 s]
Raw data (loadavg): 0.95 1.12 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2108 0 0 0 883 36 0 0 22 0 1 0 1788169543 10055680 1882 4294967295 134512640 134702520 3221223952 3221123788 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 2455 1882 413 48 0 2407 0
[pid=29200] vsize: 9820
Current children cumulated CPU time (s) 9.22
Current children cumulated vsize (Kb) 11948
[startup+20.0047 s]
Raw data (loadavg): 1.03 1.13 1.09 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2108 0 0 0 1414 196 0 0 17 0 1 0 1788169543 10055680 1882 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29200/statm): 2455 1882 413 48 0 2407 0
[pid=29200] vsize: 9820
Current children cumulated CPU time (s) 16.13
Current children cumulated vsize (Kb) 11948
[startup+30.0056 s]
Raw data (loadavg): 1.02 1.13 1.09 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2139 0 0 0 2163 279 0 0 25 0 1 0 1788169543 16248832 1913 4294967295 134512640 134702520 3221223952 3220418128 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 3967 1913 413 48 0 3919 0
[pid=29200] vsize: 15868
Current children cumulated CPU time (s) 24.45
Current children cumulated vsize (Kb) 17996
[startup+40.0064 s]
Raw data (loadavg): 1.02 1.12 1.09 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2250 0 0 0 3134 290 0 0 25 0 1 0 1788169543 16699392 2024 4294967295 134512640 134702520 3221223952 3220495228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2024 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 34.27
Current children cumulated vsize (Kb) 18436
[startup+50.0073 s]
Raw data (loadavg): 1.02 1.12 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2251 0 0 0 4105 300 0 0 25 0 1 0 1788169543 16699392 2025 4294967295 134512640 134702520 3221223952 3220562752 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2025 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 44.08
Current children cumulated vsize (Kb) 18436
[startup+60.0081 s]
Raw data (loadavg): 1.01 1.11 1.08 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2252 0 0 0 4902 370 0 0 18 0 1 0 1788169543 16699392 2026 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2026 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 52.75
Current children cumulated vsize (Kb) 18436
[startup+70.0099 s]
Raw data (loadavg): 1.01 1.11 1.08 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2252 0 0 0 5397 543 0 0 17 0 1 0 1788169543 16699392 2026 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2026 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 59.43
Current children cumulated vsize (Kb) 18436
[startup+80.0108 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2254 0 0 0 6143 626 0 0 25 0 1 0 1788169543 16699392 2028 4294967295 134512640 134702520 3221223952 3220407248 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2028 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 67.72
Current children cumulated vsize (Kb) 18436
[startup+90.0116 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2257 0 0 0 7115 636 0 0 25 0 1 0 1788169543 16699392 2031 4294967295 134512640 134702520 3221223952 3220520368 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2031 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 77.54
Current children cumulated vsize (Kb) 18436
[startup+100.012 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2258 0 0 0 8083 647 0 0 25 0 1 0 1788169543 16699392 2032 4294967295 134512640 134702520 3221223952 3220615708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2032 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 87.33
Current children cumulated vsize (Kb) 18436
[startup+110.014 s]
Raw data (loadavg): 1.00 1.09 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2258 0 0 0 8643 791 0 0 17 0 1 0 1788169543 16699392 2032 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2032 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 94.37
Current children cumulated vsize (Kb) 18436
[startup+120.015 s]
Raw data (loadavg): 1.00 1.09 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2258 0 0 0 9218 928 0 0 23 0 1 0 1788169543 16699392 2032 4294967295 134512640 134702520 3221223952 3221114128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2032 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (Kb) 18436
[startup+130.016 s]
Raw data (loadavg): 1.00 1.09 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2260 0 0 0 10188 938 0 0 22 0 1 0 1788169543 16699392 2034 4294967295 134512640 134702520 3221223952 3221175408 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2034 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 111.29
Current children cumulated vsize (Kb) 18436
[startup+140.017 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2265 0 0 0 11152 952 0 0 17 0 1 0 1788169543 16699392 2039 4294967295 134512640 134702520 3221223952 3221222128 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2039 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 121.07
Current children cumulated vsize (Kb) 18436
[startup+150.018 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2265 0 0 0 12135 957 0 0 25 0 1 0 1788169543 16699392 2039 4294967295 134512640 134702520 3221223952 3221125808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2039 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 130.95
Current children cumulated vsize (Kb) 18436
[startup+160.018 s]
Raw data (loadavg): 1.00 1.08 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2265 0 0 0 12595 1134 0 0 17 0 1 0 1788169543 16699392 2039 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2039 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 137.32
Current children cumulated vsize (Kb) 18436
[startup+170.02 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2265 0 0 0 13262 1241 0 0 25 0 1 0 1788169543 16699392 2039 4294967295 134512640 134702520 3221223952 3220632848 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2039 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 145.06
Current children cumulated vsize (Kb) 18436
[startup+180.021 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2266 0 0 0 14227 1251 0 0 25 0 1 0 1788169543 16699392 2040 4294967295 134512640 134702520 3221223952 3220748688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2040 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 154.81
Current children cumulated vsize (Kb) 18436
[startup+190.022 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2270 0 0 0 15192 1263 0 0 25 0 1 0 1788169543 16699392 2044 4294967295 134512640 134702520 3221223952 3220853488 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2044 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 164.58
Current children cumulated vsize (Kb) 18436
[startup+200.023 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2270 0 0 0 15867 1371 0 0 17 0 1 0 1788169543 16699392 2044 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2044 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 172.41
Current children cumulated vsize (Kb) 18436
[startup+210.024 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2270 0 0 0 16382 1534 0 0 18 0 1 0 1788169543 16699392 2044 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2044 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 179.19
Current children cumulated vsize (Kb) 18436
[startup+220.025 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2270 0 0 0 17137 1615 0 0 25 0 1 0 1788169543 16699392 2044 4294967295 134512640 134702520 3221223952 3220366908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2044 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 187.55
Current children cumulated vsize (Kb) 18436
[startup+230.025 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2271 0 0 0 18099 1631 0 0 25 0 1 0 1788169543 16699392 2045 4294967295 134512640 134702520 3221223952 3220562588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2045 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 197.33
Current children cumulated vsize (Kb) 18436
[startup+240.026 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2274 0 0 0 19058 1646 0 0 25 0 1 0 1788169543 16699392 2048 4294967295 134512640 134702520 3221223952 3220729488 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2048 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 207.07
Current children cumulated vsize (Kb) 18436
[startup+250.028 s]
Raw data (loadavg): 1.00 1.05 1.07 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2274 0 0 0 19879 1706 0 0 17 0 1 0 1788169543 16699392 2048 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2048 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 215.88
Current children cumulated vsize (Kb) 18436
[startup+260.029 s]
Raw data (loadavg): 1.00 1.05 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2274 0 0 0 20372 1878 0 0 17 0 1 0 1788169543 16699392 2048 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2048 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 222.53
Current children cumulated vsize (Kb) 18436
[startup+270.03 s]
Raw data (loadavg): 1.00 1.05 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2275 0 0 0 21147 1950 0 0 25 0 1 0 1788169543 16699392 2049 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2049 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 231
Current children cumulated vsize (Kb) 18436
[startup+280.032 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2303 0 0 0 22104 1963 0 0 25 0 1 0 1788169543 16699392 2077 4294967295 134512640 134702520 3221223952 3220044508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2077 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 240.7
Current children cumulated vsize (Kb) 18436
[startup+290.032 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2395 0 0 0 23060 1979 0 0 25 0 1 0 1788169543 16699392 2169 4294967295 134512640 134702520 3221223952 3220384516 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2169 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 250.42
Current children cumulated vsize (Kb) 18436
[startup+300.033 s]
Raw data (loadavg): 1.00 1.04 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2395 0 0 0 23837 2053 0 0 18 0 1 0 1788169543 16699392 2169 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2169 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 258.93
Current children cumulated vsize (Kb) 18436
[startup+310.035 s]
Raw data (loadavg): 1.07 1.06 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2395 0 0 0 24331 2217 0 0 18 0 1 0 1788169543 16699392 2169 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2169 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 265.51
Current children cumulated vsize (Kb) 18436
[startup+320.036 s]
Raw data (loadavg): 1.06 1.06 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2396 0 0 0 25133 2285 0 0 22 0 1 0 1788169543 16699392 2170 4294967295 134512640 134702520 3221223952 3221129316 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2170 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 274.21
Current children cumulated vsize (Kb) 18436
[startup+330.037 s]
Raw data (loadavg): 1.05 1.05 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2401 0 0 0 26006 2327 0 0 25 0 1 0 1788169543 16699392 2175 4294967295 134512640 134702520 3221223952 3220830108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2175 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 283.36
Current children cumulated vsize (Kb) 18436
[startup+340.038 s]
Raw data (loadavg): 1.04 1.05 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2403 0 0 0 26955 2344 0 0 25 0 1 0 1788169543 16699392 2177 4294967295 134512640 134702520 3221223952 3221046908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2177 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 293.02
Current children cumulated vsize (Kb) 18436
[startup+350.039 s]
Raw data (loadavg): 1.04 1.05 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2403 0 0 0 27602 2458 0 0 17 0 1 0 1788169543 16699392 2177 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2177 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 300.63
Current children cumulated vsize (Kb) 18436
[startup+360.04 s]
Raw data (loadavg): 1.03 1.05 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2403 0 0 0 28125 2616 0 0 18 0 1 0 1788169543 16699392 2177 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2177 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 307.44
Current children cumulated vsize (Kb) 18436
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=29200) exited with status: 2
New process pid=29201
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=29201) exited with status: 0
New process pid=29202
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+370.042 s]
Raw data (loadavg): 1.02 1.05 1.06 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1556 0 0 0 677 76 0 0 17 0 1 0 1788205650 8310784 1527 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 2029 1527 413 48 0 1981 0
[pid=29202] vsize: 8116
Current children cumulated CPU time (s) 315.8
Current children cumulated vsize (Kb) 10244
[startup+380.043 s]
Raw data (loadavg): 1.02 1.04 1.06 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1556 0 0 0 1159 239 0 0 20 0 1 0 1788205650 8310784 1527 4294967295 134512640 134702520 3221223712 3221215728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 2029 1527 413 48 0 1981 0
[pid=29202] vsize: 8116
Current children cumulated CPU time (s) 322.25
Current children cumulated vsize (Kb) 10244
[startup+390.043 s]
Raw data (loadavg): 1.02 1.04 1.06 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1597 0 0 0 1921 317 0 0 25 0 1 0 1788205650 12771328 1568 4294967295 134512640 134702520 3221223712 3220185548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3118 1568 413 48 0 3070 0
[pid=29202] vsize: 12472
Current children cumulated CPU time (s) 330.65
Current children cumulated vsize (Kb) 14600
[startup+400.045 s]
Raw data (loadavg): 1.01 1.04 1.06 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1713 0 0 0 2885 329 0 0 25 0 1 0 1788205650 13225984 1684 4294967295 134512640 134702520 3221223712 3220177088 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1684 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 340.41
Current children cumulated vsize (Kb) 15044
[startup+410.045 s]
Raw data (loadavg): 1.01 1.04 1.06 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1716 0 0 0 3697 393 0 0 17 0 1 0 1788205650 13225984 1687 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1687 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 349.17
Current children cumulated vsize (Kb) 15044
[startup+420.047 s]
Raw data (loadavg): 1.01 1.04 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1716 0 0 0 4156 574 0 0 17 0 1 0 1788205650 13225984 1687 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1687 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 355.57
Current children cumulated vsize (Kb) 15044
[startup+430.048 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1718 0 0 0 4819 682 0 0 25 0 1 0 1788205650 13225984 1688 4294967295 134512640 134702520 3221223712 3220707628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1688 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 363.28
Current children cumulated vsize (Kb) 15044
[startup+440.049 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1720 0 0 0 5779 694 0 0 25 0 1 0 1788205650 13225984 1690 4294967295 134512640 134702520 3221223712 3220721708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1690 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 373
Current children cumulated vsize (Kb) 15044
[startup+450.05 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1724 0 0 0 6739 707 0 0 25 0 1 0 1788205650 13225984 1694 4294967295 134512640 134702520 3221223712 3220742688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1694 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 382.73
Current children cumulated vsize (Kb) 15044
[startup+460.051 s]
Raw data (loadavg): 1.00 1.03 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1726 0 0 0 7551 770 0 0 17 0 1 0 1788205650 13225984 1696 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1696 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 391.48
Current children cumulated vsize (Kb) 15044
[startup+470.053 s]
Raw data (loadavg): 1.00 1.03 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1726 0 0 0 7996 958 0 0 17 0 1 0 1788205650 13225984 1696 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1696 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 397.81
Current children cumulated vsize (Kb) 15044
[startup+480.053 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1728 0 0 0 8785 1028 0 0 25 0 1 0 1788205650 13225984 1698 4294967295 134512640 134702520 3221223712 3221184428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1698 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 406.4
Current children cumulated vsize (Kb) 15044
[startup+490.055 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1732 0 0 0 9742 1041 0 0 25 0 1 0 1788205650 13225984 1702 4294967295 134512640 134702520 3221223712 3219684908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1702 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 416.1
Current children cumulated vsize (Kb) 15044
[startup+500.057 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1734 0 0 0 10626 1083 0 0 25 0 1 0 1788205650 13225984 1704 4294967295 134512640 134702520 3221223712 3220850028 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1704 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 425.36
Current children cumulated vsize (Kb) 15044
[startup+510.058 s]
Raw data (loadavg): 1.00 1.02 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1734 0 0 0 11202 1221 0 0 17 0 1 0 1788205650 13225984 1704 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1704 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 432.5
Current children cumulated vsize (Kb) 15044
[startup+520.06 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1734 0 0 0 11734 1377 0 0 17 0 1 0 1788205650 13225984 1704 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1704 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 439.38
Current children cumulated vsize (Kb) 15044
[startup+530.061 s]
Raw data (loadavg): 1.08 1.04 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1749 0 0 0 12668 1401 0 0 25 0 1 0 1788205650 13225984 1719 4294967295 134512640 134702520 3221223712 3220054828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1719 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 448.96
Current children cumulated vsize (Kb) 15044
[startup+540.06 s]
Raw data (loadavg): 1.07 1.04 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1750 0 0 0 13623 1416 0 0 25 0 1 0 1788205650 13225984 1720 4294967295 134512640 134702520 3221223712 3220171308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1720 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 458.66
Current children cumulated vsize (Kb) 15044
[startup+550.062 s]
Raw data (loadavg): 1.06 1.03 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 14419 1479 0 0 16 0 1 0 1788205650 13225984 1722 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1722 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 467.25
Current children cumulated vsize (Kb) 15044
[startup+560.063 s]
Raw data (loadavg): 1.05 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1752 0 0 0 14868 1664 0 0 17 0 1 0 1788205650 13225984 1722 4294967295 134512640 134702520 3221223712 3221222608 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1722 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 473.59
Current children cumulated vsize (Kb) 15044
[startup+570.064 s]
Raw data (loadavg): 1.12 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1753 0 0 0 15568 1765 0 0 25 0 1 0 1788205650 13225984 1723 4294967295 134512640 134702520 3221223712 3220380268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1723 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 481.6
Current children cumulated vsize (Kb) 15044
[startup+580.065 s]
Raw data (loadavg): 1.10 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1753 0 0 0 16521 1779 0 0 25 0 1 0 1788205650 13225984 1723 4294967295 134512640 134702520 3221223712 3220511308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1723 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 491.27
Current children cumulated vsize (Kb) 15044
[startup+590.066 s]
Raw data (loadavg): 1.08 1.04 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1754 0 0 0 17468 1796 0 0 25 0 1 0 1788205650 13225984 1724 4294967295 134512640 134702520 3221223712 3220630188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1724 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 500.91
Current children cumulated vsize (Kb) 15044
[startup+600.066 s]
Raw data (loadavg): 1.07 1.04 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1754 0 0 0 18259 1861 0 0 17 0 1 0 1788205650 13225984 1724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1724 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 509.47
Current children cumulated vsize (Kb) 15044
[startup+610.067 s]
Raw data (loadavg): 1.14 1.06 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1754 0 0 0 18696 2044 0 0 17 0 1 0 1788205650 13225984 1724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1724 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 515.67
Current children cumulated vsize (Kb) 15044
[startup+620.069 s]
Raw data (loadavg): 1.12 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1756 0 0 0 19380 2146 0 0 25 0 1 0 1788205650 13225984 1725 4294967295 134512640 134702520 3221223712 3220107788 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1725 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 523.53
Current children cumulated vsize (Kb) 15044
[startup+630.07 s]
Raw data (loadavg): 1.10 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1756 0 0 0 20325 2163 0 0 25 0 1 0 1788205650 13225984 1725 4294967295 134512640 134702520 3221223712 3220282192 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1725 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 533.15
Current children cumulated vsize (Kb) 15044
[startup+640.071 s]
Raw data (loadavg): 1.08 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1892 0 0 0 21271 2181 0 0 25 0 1 0 1788205650 13697024 1861 4294967295 134512640 134702520 3221223712 3220479148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3344 1861 413 48 0 3296 0
[pid=29202] vsize: 13376
Current children cumulated CPU time (s) 542.79
Current children cumulated vsize (Kb) 15504
[startup+650.072 s]
Raw data (loadavg): 1.07 1.05 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1999 0 0 0 22051 2248 0 0 16 0 1 0 1788205650 14168064 1968 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3459 1968 413 48 0 3411 0
[pid=29202] vsize: 13836
Current children cumulated CPU time (s) 551.26
Current children cumulated vsize (Kb) 15964
[startup+660.072 s]
Raw data (loadavg): 1.06 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1999 0 0 0 22503 2426 0 0 17 0 1 0 1788205650 14168064 1968 4294967295 134512640 134702520 3221223712 3221178848 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3459 1968 413 48 0 3411 0
[pid=29202] vsize: 13836
Current children cumulated CPU time (s) 557.56
Current children cumulated vsize (Kb) 15964
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=29202) exited with status: 2
New process pid=29203
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=29203) exited with status: 0
New process pid=29204
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+670.074 s]
Raw data (loadavg): 1.05 1.04 1.05 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1467 0 0 0 406 33 0 0 22 0 1 0 1788236043 7831552 1439 4294967295 134512640 134702520 3221223712 3220935888 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29204/statm): 1912 1439 413 48 0 1864 0
[pid=29204] vsize: 7648
Current children cumulated CPU time (s) 565.68
Current children cumulated vsize (Kb) 9776
[startup+680.075 s]
Raw data (loadavg): 1.04 1.04 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1469 0 0 0 907 195 0 0 16 0 1 0 1788236043 7831552 1441 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 1912 1441 413 48 0 1864 0
[pid=29204] vsize: 7648
Current children cumulated CPU time (s) 572.31
Current children cumulated vsize (Kb) 9776
[startup+690.076 s]
Raw data (loadavg): 1.04 1.04 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1515 0 0 0 1460 345 0 0 16 0 1 0 1788236043 11526144 1487 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2814 1487 413 48 0 2766 0
[pid=29204] vsize: 11256
Current children cumulated CPU time (s) 579.34
Current children cumulated vsize (Kb) 13384
[startup+700.078 s]
Raw data (loadavg): 1.11 1.06 1.05 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1681 0 0 0 2387 369 0 0 25 0 1 0 1788236043 12169216 1653 4294967295 134512640 134702520 3221223712 3219975796 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1653 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 588.85
Current children cumulated vsize (Kb) 14012
[startup+710.079 s]
Raw data (loadavg): 1.09 1.05 1.05 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1685 0 0 0 3348 384 0 0 25 0 1 0 1788236043 12169216 1657 4294967295 134512640 134702520 3221223712 3220066668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1657 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 598.61
Current children cumulated vsize (Kb) 14012
[startup+720.08 s]
Raw data (loadavg): 1.08 1.05 1.05 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1686 0 0 0 4065 482 0 0 17 0 1 0 1788236043 12169216 1658 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1658 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 606.76
Current children cumulated vsize (Kb) 14012
[startup+730.081 s]
Raw data (loadavg): 1.07 1.05 1.05 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1687 0 0 0 4468 676 0 0 16 0 1 0 1788236043 12169216 1659 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1659 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 612.73
Current children cumulated vsize (Kb) 14012
[startup+740.082 s]
Raw data (loadavg): 1.06 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1694 0 0 0 5280 738 0 0 25 0 1 0 1788236043 12169216 1665 4294967295 134512640 134702520 3221223712 3220738848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1665 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 621.47
Current children cumulated vsize (Kb) 14012
[startup+750.083 s]
Raw data (loadavg): 1.05 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1699 0 0 0 6237 752 0 0 25 0 1 0 1788236043 12169216 1670 4294967295 134512640 134702520 3221223712 3220791632 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1670 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 631.18
Current children cumulated vsize (Kb) 14012
[startup+760.084 s]
Raw data (loadavg): 1.04 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1701 0 0 0 7192 766 0 0 25 0 1 0 1788236043 12169216 1672 4294967295 134512640 134702520 3221223712 3220851968 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1672 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 640.87
Current children cumulated vsize (Kb) 14012
[startup+770.086 s]
Raw data (loadavg): 1.03 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1701 0 0 0 7821 888 0 0 16 0 1 0 1788236043 12169216 1672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1672 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 648.38
Current children cumulated vsize (Kb) 14012
[startup+780.087 s]
Raw data (loadavg): 1.11 1.06 1.05 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1701 0 0 0 8311 1057 0 0 16 0 1 0 1788236043 12169216 1672 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1672 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 654.97
Current children cumulated vsize (Kb) 14012
[startup+790.087 s]
Raw data (loadavg): 1.09 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1705 0 0 0 9248 1079 0 0 25 0 1 0 1788236043 12169216 1676 4294967295 134512640 134702520 3221223712 3219923628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1676 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 664.56
Current children cumulated vsize (Kb) 14012
[startup+800.089 s]
Raw data (loadavg): 1.08 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1707 0 0 0 10204 1094 0 0 25 0 1 0 1788236043 12169216 1678 4294967295 134512640 134702520 3221223712 3220062848 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1678 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 674.27
Current children cumulated vsize (Kb) 14012
[startup+810.09 s]
Raw data (loadavg): 1.06 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1709 0 0 0 11157 1109 0 0 25 0 1 0 1788236043 12169216 1680 4294967295 134512640 134702520 3221223712 3220196128 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1680 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 683.95
Current children cumulated vsize (Kb) 14012
[startup+820.092 s]
Raw data (loadavg): 1.05 1.05 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1709 0 0 0 11686 1266 0 0 17 0 1 0 1788236043 12169216 1680 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1680 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 690.81
Current children cumulated vsize (Kb) 14012
[startup+830.094 s]
Raw data (loadavg): 1.04 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1710 0 0 0 12221 1420 0 0 25 0 1 0 1788236043 12169216 1681 4294967295 134512640 134702520 3221223712 3221006368 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1681 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 697.7
Current children cumulated vsize (Kb) 14012
[startup+840.094 s]
Raw data (loadavg): 1.04 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1715 0 0 0 13172 1437 0 0 25 0 1 0 1788236043 12169216 1686 4294967295 134512640 134702520 3221223712 3221094828 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1686 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 707.38
Current children cumulated vsize (Kb) 14012
[startup+850.095 s]
Raw data (loadavg): 1.03 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1716 0 0 0 14118 1456 0 0 20 0 1 0 1788236043 12169216 1687 4294967295 134512640 134702520 3221223712 3221192928 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1687 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 717.03
Current children cumulated vsize (Kb) 14012
[startup+860.096 s]
Raw data (loadavg): 1.03 1.04 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1717 0 0 0 15065 1474 0 0 18 0 1 0 1788236043 12169216 1688 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1688 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 726.68
Current children cumulated vsize (Kb) 14012
[startup+870.097 s]
Raw data (loadavg): 1.02 1.04 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1717 0 0 0 15461 1671 0 0 16 0 1 0 1788236043 12169216 1688 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1688 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 732.61
Current children cumulated vsize (Kb) 14012
[startup+880.098 s]
Raw data (loadavg): 1.02 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1720 0 0 0 16052 1807 0 0 25 0 1 0 1788236043 12169216 1689 4294967295 134512640 134702520 3221223712 3220396588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1689 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 739.88
Current children cumulated vsize (Kb) 14012
[startup+890.099 s]
Raw data (loadavg): 1.01 1.03 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1726 0 0 0 16995 1827 0 0 25 0 1 0 1788236043 12169216 1695 4294967295 134512640 134702520 3221223712 3220541568 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1695 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 749.51
Current children cumulated vsize (Kb) 14012
[startup+900.1 s]
Raw data (loadavg): 1.01 1.03 1.03 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1728 0 0 0 17942 1844 0 0 25 0 1 0 1788236043 12169216 1697 4294967295 134512640 134702520 3221223712 3220682828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1697 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 759.15
Current children cumulated vsize (Kb) 14012
[startup+910.1 s]
Raw data (loadavg): 1.01 1.03 1.03 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1731 0 0 0 18814 1883 0 0 25 0 1 0 1788236043 12169216 1700 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1700 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 768.26
Current children cumulated vsize (Kb) 14012
[startup+920.102 s]
Raw data (loadavg): 1.08 1.05 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1731 0 0 0 19229 2069 0 0 16 0 1 0 1788236043 12169216 1700 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1700 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 774.27
Current children cumulated vsize (Kb) 14012
[startup+930.103 s]
Raw data (loadavg): 1.07 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1734 0 0 0 19946 2161 0 0 25 0 1 0 1788236043 12169216 1702 4294967295 134512640 134702520 3221223712 3219979008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1702 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 782.36
Current children cumulated vsize (Kb) 14012
[startup+940.104 s]
Raw data (loadavg): 1.06 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1735 0 0 0 20887 2181 0 0 25 0 1 0 1788236043 12169216 1703 4294967295 134512640 134702520 3221223712 3220228428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1703 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 791.97
Current children cumulated vsize (Kb) 14012
[startup+950.106 s]
Raw data (loadavg): 1.05 1.04 1.03 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 2067 0 0 0 21824 2205 0 0 25 0 1 0 1788236043 13250560 2035 4294967295 134512640 134702520 3221223712 3220611628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29204/statm): 3235 2035 413 48 0 3187 0
[pid=29204] vsize: 12940
Current children cumulated CPU time (s) 801.58
Current children cumulated vsize (Kb) 15068
[startup+960.107 s]
Raw data (loadavg): 1.04 1.04 1.03 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 2162 0 0 0 22692 2248 0 0 23 0 1 0 1788236043 13250560 2091 4294967295 134512640 134702520 3221223712 3220866188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 3235 2091 413 48 0 3187 0
[pid=29204] vsize: 12940
Current children cumulated CPU time (s) 810.69
Current children cumulated vsize (Kb) 15068
[startup+970.109 s]
Raw data (loadavg): 1.03 1.04 1.03 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 2163 0 0 0 23169 2428 0 0 16 0 1 0 1788236043 13467648 2092 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 3288 2092 413 48 0 3240 0
[pid=29204] vsize: 13152
Current children cumulated CPU time (s) 817.26
Current children cumulated vsize (Kb) 15280
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=29204) exited with status: 2
New process pid=29205
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=29205) exited with status: 0
New process pid=29206
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+980.109 s]
Raw data (loadavg): 1.03 1.03 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1504 0 0 0 423 36 0 0 20 0 1 0 1788267034 7991296 1476 4294967295 134512640 134702520 3221223040 3221097776 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 1951 1476 413 48 0 1903 0
[pid=29206] vsize: 7804
Current children cumulated CPU time (s) 825.45
Current children cumulated vsize (Kb) 9932
[startup+990.11 s]
Raw data (loadavg): 1.02 1.03 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1635 0 0 0 905 199 0 0 17 0 1 0 1788267034 8519680 1607 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1607 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 831.9
Current children cumulated vsize (Kb) 10448
[startup+1000.11 s]
Raw data (loadavg): 1.02 1.03 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 1178 435 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 836.99
Current children cumulated vsize (Kb) 10448
[startup+1010.11 s]
Raw data (loadavg): 1.02 1.03 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1636 0 0 0 1465 657 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 842.08
Current children cumulated vsize (Kb) 10448
[startup+1020.11 s]
Raw data (loadavg): 1.01 1.03 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 1741 887 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 847.14
Current children cumulated vsize (Kb) 10448
[startup+1030.11 s]
Raw data (loadavg): 1.08 1.04 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 2020 1115 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 852.21
Current children cumulated vsize (Kb) 10448
[startup+1040.11 s]
Raw data (loadavg): 1.14 1.06 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1636 0 0 0 2301 1350 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 857.37
Current children cumulated vsize (Kb) 10448
[startup+1050.12 s]
Raw data (loadavg): 1.20 1.07 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 2579 1588 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 862.53
Current children cumulated vsize (Kb) 10448
[startup+1060.12 s]
Raw data (loadavg): 1.17 1.07 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 2861 1816 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 867.63
Current children cumulated vsize (Kb) 10448
[startup+1070.12 s]
Raw data (loadavg): 1.14 1.07 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1638 0 0 0 3446 1947 0 0 23 0 1 0 1788267034 8740864 1610 4294967295 134512640 134702520 3221223040 3221222152 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2134 1610 413 48 0 2086 0
[pid=29206] vsize: 8536
Current children cumulated CPU time (s) 874.79
Current children cumulated vsize (Kb) 10664
[startup+1080.12 s]
Raw data (loadavg): 1.12 1.06 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1722 0 0 0 4339 1983 0 0 25 0 1 0 1788267034 12267520 1694 4294967295 134512640 134702520 3221223040 3220378016 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1694 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 884.08
Current children cumulated vsize (Kb) 14108
[startup+1090.12 s]
Raw data (loadavg): 1.10 1.06 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1728 0 0 0 5278 2003 0 0 25 0 1 0 1788267034 12267520 1700 4294967295 134512640 134702520 3221223040 3220695440 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1700 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 893.67
Current children cumulated vsize (Kb) 14108
[startup+1100.12 s]
Raw data (loadavg): 1.09 1.06 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1739 0 0 0 6168 2037 0 0 22 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221116076 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 902.91
Current children cumulated vsize (Kb) 14108
[startup+1110.12 s]
Raw data (loadavg): 1.07 1.06 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 6835 2148 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 910.69
Current children cumulated vsize (Kb) 14108
[startup+1120.12 s]
Raw data (loadavg): 1.06 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 7115 2375 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 915.76
Current children cumulated vsize (Kb) 14108
[startup+1130.12 s]
Raw data (loadavg): 1.05 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 7398 2603 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 920.87
Current children cumulated vsize (Kb) 14108
[startup+1140.12 s]
Raw data (loadavg): 1.12 1.07 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 7671 2834 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 925.91
Current children cumulated vsize (Kb) 14108
[startup+1150.13 s]
Raw data (loadavg): 1.10 1.06 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 7938 3072 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 930.96
Current children cumulated vsize (Kb) 14108
[startup+1160.13 s]
Raw data (loadavg): 1.09 1.06 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 8212 3305 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 936.03
Current children cumulated vsize (Kb) 14108
[startup+1170.13 s]
Raw data (loadavg): 1.07 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 8492 3533 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 941.11
Current children cumulated vsize (Kb) 14108
[startup+1180.13 s]
Raw data (loadavg): 1.06 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 8773 3764 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 946.23
Current children cumulated vsize (Kb) 14108
[startup+1190.13 s]
Raw data (loadavg): 1.05 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 9148 3964 0 0 15 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 951.98
Current children cumulated vsize (Kb) 14108
[startup+1200.13 s]
Raw data (loadavg): 1.04 1.05 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1744 0 0 0 10007 4012 0 0 20 0 1 0 1788267034 12378112 1716 4294967295 134512640 134702520 3221223040 3220563756 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1716 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 961.05
Current children cumulated vsize (Kb) 14216
[startup+1210.13 s]
Raw data (loadavg): 1.04 1.05 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1747 0 0 0 10926 4039 0 0 18 0 1 0 1788267034 12378112 1719 4294967295 134512640 134702520 3221223040 3220917836 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1719 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 970.51
Current children cumulated vsize (Kb) 14216
[startup+1220.13 s]
Raw data (loadavg): 1.03 1.05 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1752 0 0 0 11864 4060 0 0 17 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221154156 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 980.1
Current children cumulated vsize (Kb) 14216
[startup+1230.13 s]
Raw data (loadavg): 1.02 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 12533 4172 0 0 16 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 987.91
Current children cumulated vsize (Kb) 14216
[startup+1240.13 s]
Raw data (loadavg): 1.09 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 12814 4407 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 993.07
Current children cumulated vsize (Kb) 14216
[startup+1250.13 s]
Raw data (loadavg): 1.08 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 13085 4644 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 998.15
Current children cumulated vsize (Kb) 14216
[startup+1260.14 s]
Raw data (loadavg): 1.07 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 13363 4880 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1003.29
Current children cumulated vsize (Kb) 14216
[startup+1270.14 s]
Raw data (loadavg): 1.06 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 13648 5105 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1008.39
Current children cumulated vsize (Kb) 14216
[startup+1280.14 s]
Raw data (loadavg): 1.05 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 13928 5336 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1013.5
Current children cumulated vsize (Kb) 14216
[startup+1290.14 s]
Raw data (loadavg): 1.04 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 14203 5566 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1018.55
Current children cumulated vsize (Kb) 14216
[startup+1300.14 s]
Raw data (loadavg): 1.11 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 14477 5802 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1023.65
Current children cumulated vsize (Kb) 14216
[startup+1310.14 s]
Raw data (loadavg): 1.09 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 14846 6006 0 0 16 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1029.38
Current children cumulated vsize (Kb) 14216
[startup+1320.14 s]
Raw data (loadavg): 1.15 1.07 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1754 0 0 0 15710 6049 0 0 24 0 1 0 1788267034 12378112 1725 4294967295 134512640 134702520 3221223040 3220529676 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1725 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1038.45
Current children cumulated vsize (Kb) 14216
[startup+1330.14 s]
Raw data (loadavg): 1.13 1.07 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1756 0 0 0 16602 6085 0 0 18 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3220992076 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1047.73
Current children cumulated vsize (Kb) 14216
[startup+1340.14 s]
Raw data (loadavg): 1.11 1.07 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 17540 6106 0 0 17 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1057.32
Current children cumulated vsize (Kb) 14216
[startup+1350.14 s]
Raw data (loadavg): 1.17 1.08 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 18283 6185 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1065.54
Current children cumulated vsize (Kb) 14216
[startup+1360.14 s]
Raw data (loadavg): 1.22 1.10 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 18552 6418 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1070.56
Current children cumulated vsize (Kb) 14216
[startup+1370.14 s]
Raw data (loadavg): 1.26 1.11 1.05 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 18837 6648 0 0 16 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1075.71
Current children cumulated vsize (Kb) 14216
[startup+1380.15 s]
Raw data (loadavg): 1.30 1.12 1.05 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 19112 6882 0 0 16 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1080.8
Current children cumulated vsize (Kb) 14216
[startup+1390.15 s]
Raw data (loadavg): 1.32 1.13 1.06 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 19392 7113 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1085.91
Current children cumulated vsize (Kb) 14216
[startup+1400.15 s]
Raw data (loadavg): 1.27 1.13 1.06 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 19673 7346 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1091.05
Current children cumulated vsize (Kb) 14216
[startup+1410.15 s]
Raw data (loadavg): 1.38 1.16 1.06 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 19941 7584 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1096.11
Current children cumulated vsize (Kb) 14216
[startup+1420.15 s]
Raw data (loadavg): 1.41 1.17 1.07 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 20220 7820 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1101.26
Current children cumulated vsize (Kb) 14216
[startup+1430.15 s]
Raw data (loadavg): 1.34 1.16 1.07 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 20591 8022 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1106.99
Current children cumulated vsize (Kb) 14216
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=29206) exited with status: 2
New process pid=29207
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=29207) exited with status: 0
New process pid=29208
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+1440.15 s]
Raw data (loadavg): 1.29 1.15 1.07 1/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) T 29197 29197 8263 0 -1 0 1438 0 0 0 598 67 0 0 17 0 1 0 1788312784 7704576 1407 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29208/statm): 1881 1407 413 48 0 1833 0
[pid=29208] vsize: 7524
Current children cumulated CPU time (s) 1114.7
Current children cumulated vsize (Kb) 9652
[startup+1450.15 s]
Raw data (loadavg): 1.24 1.15 1.07 1/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) T 29197 29197 8263 0 -1 0 1439 0 0 0 1038 256 0 0 22 0 1 0 1788312784 7921664 1408 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29208/statm): 1934 1408 413 48 0 1886 0
[pid=29208] vsize: 7736
Current children cumulated CPU time (s) 1120.99
Current children cumulated vsize (Kb) 9864
[startup+1460.15 s]
Raw data (loadavg): 1.21 1.14 1.07 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1700 0 0 0 1739 352 0 0 25 0 1 0 1788312784 11915264 1668 4294967295 134512640 134702520 3221223712 3219584588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2909 1668 413 48 0 2861 0
[pid=29208] vsize: 11636
Current children cumulated CPU time (s) 1128.96
Current children cumulated vsize (Kb) 13764
[startup+1470.15 s]
Raw data (loadavg): 1.17 1.14 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1755 0 0 0 2672 375 0 0 25 0 1 0 1788312784 12095488 1723 4294967295 134512640 134702520 3221223712 3220443468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2953 1723 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1138.52
Current children cumulated vsize (Kb) 13940
[startup+1480.16 s]
Raw data (loadavg): 1.15 1.13 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1770 0 0 0 3611 395 0 0 25 0 1 0 1788312784 12095488 1738 4294967295 134512640 134702520 3221223712 3220854528 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 2953 1738 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1148.11
Current children cumulated vsize (Kb) 13940
[startup+1490.16 s]
Raw data (loadavg): 1.12 1.13 1.06 1/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) T 29197 29197 8263 0 -1 0 1772 0 0 0 4496 432 0 0 16 0 1 0 1788312784 12095488 1740 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2953 1740 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1157.33
Current children cumulated vsize (Kb) 13940
[startup+1500.16 s]
Raw data (loadavg): 1.10 1.12 1.06 1/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) T 29197 29197 8263 0 -1 0 1774 0 0 0 4841 638 0 0 16 0 1 0 1788312784 12312576 1742 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29208/statm): 3006 1742 413 48 0 2958 0
[pid=29208] vsize: 12024
Current children cumulated CPU time (s) 1162.84
Current children cumulated vsize (Kb) 14152
[startup+1510.16 s]
Raw data (loadavg): 1.09 1.12 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1778 0 0 0 5508 745 0 0 20 0 1 0 1788312784 12095488 1743 4294967295 134512640 134702520 3221223712 3221187468 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 2953 1743 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1170.58
Current children cumulated vsize (Kb) 13940
[startup+1520.16 s]
Raw data (loadavg): 1.07 1.11 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1779 0 0 0 6477 757 0 0 25 0 1 0 1788312784 12095488 1744 4294967295 134512640 134702520 3221223712 3219928268 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2953 1744 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1180.39
Current children cumulated vsize (Kb) 13940
[startup+1530.16 s]
Raw data (loadavg): 1.06 1.11 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1781 0 0 0 7423 774 0 0 25 0 1 0 1788312784 12095488 1746 4294967295 134512640 134702520 3221223712 3220555788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2953 1746 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1190.02
Current children cumulated vsize (Kb) 13940
[startup+1540.16 s]
Raw data (loadavg): 1.05 1.11 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1782 0 0 0 8299 815 0 0 24 0 1 0 1788312784 12095488 1747 4294967295 134512640 134702520 3221223712 3221147468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 2953 1747 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1199.19
Current children cumulated vsize (Kb) 13940
[startup+1550.16 s]
Raw data (loadavg): 1.04 1.10 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1783 0 0 0 8682 1010 0 0 16 0 1 0 1788312784 12312576 1748 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 3006 1748 413 48 0 2958 0
[pid=29208] vsize: 12024
Current children cumulated CPU time (s) 1204.97
Current children cumulated vsize (Kb) 14152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1550.16 s]
Raw data (loadavg): 1.04 1.10 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1783 0 0 0 8682 1010 0 0 16 0 1 0 1788312784 12312576 1748 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 3006 1748 413 48 0 2958 0
[pid=29208] vsize: 12024
Current children cumulated CPU time (s) 1204.97
Current children cumulated vsize (Kb) 14152
Sending SIGTERM to -29197
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=29210
New process pid=29211
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/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/17755/stat
open syscall for file /proc/17755/status
open syscall for file /proc/17755/cmdline
open syscall for file /proc/17755/environ
open syscall for file /proc/25194/stat
open syscall for file /proc/25194/status
open syscall for file /proc/25194/cmdline
open syscall for file /proc/25194/environ
open syscall for file /proc/25221/stat
open syscall for file /proc/25221/status
open syscall for file /proc/25221/cmdline
open syscall for file /proc/25221/environ
open syscall for file /proc/25245/stat
open syscall for file /proc/25245/status
open syscall for file /proc/25245/cmdline
open syscall for file /proc/25245/environ
open syscall for file /proc/7115/stat
open syscall for file /proc/7115/status
open syscall for file /proc/7115/cmdline
open syscall for file /proc/7115/environ
open syscall for file /proc/7679/stat
open syscall for file /proc/7679/status
open syscall for file /proc/7679/cmdline
open syscall for file /proc/7679/environ
open syscall for file /proc/23170/stat
open syscall for file /proc/23170/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/23170/cmdline
open syscall for file /proc/23170/environ
open syscall for file /proc/23206/stat
open syscall for file /proc/23206/status
open syscall for file /proc/23206/cmdline
open syscall for file /proc/23206/environ
open syscall for file /proc/8263/stat
open syscall for file /proc/8263/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/8263/cmdline
open syscall for file /proc/8263/environ
open syscall for file /proc/8264/stat
open syscall for file /proc/8264/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/8264/cmdline
open syscall for file /proc/8264/environ
open syscall for file /proc/8273/stat
open syscall for file /proc/8273/status
open syscall for file /proc/8273/cmdline
open syscall for file /proc/8273/environ
open syscall for file /proc/29160/stat
open syscall for file /proc/29160/status
open syscall for file /proc/29160/cmdline
open syscall for file /proc/29160/environ
open syscall for file /proc/29196/stat
open syscall for file /proc/29196/status
open syscall for file /proc/29196/cmdline
open syscall for file /proc/29196/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/29208/stat
open syscall for file /proc/29208/status
open syscall for file /proc/29208/cmdline
open syscall for file /proc/29208/environ
open syscall for file /proc/29210/stat
open syscall for file /proc/29210/status
open syscall for file /proc/29210/cmdline
open syscall for file /proc/29210/environ
open syscall for file /proc/29211/stat
open syscall for file /proc/29211/status
open syscall for file /proc/29211/cmdline
open syscall for file /proc/29211/environ
One traced child (pid=29210) exited with status: 0
One traced child (pid=29211) exited with status: 0
New process pid=29212
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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=29208) exited with status: 3
One traced child (pid=29212) exited with status: 0
New process pid=29213
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=29213) exited with status: 0
One traced child (pid=29197) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1550.67
CPU time (s): 1205.24
CPU user time (s): 1038.23
CPU system time (s): 167.014
CPU usage (%): 77.724
Max. virtual memory (cumulated for all children) (Kb): 18436