1:
seed: 0
Nr of vars set: 28 (#equs: 0)
Nr of vars set: 108 (#equs: 0)
#decisions: 698662; #end-nodes: 295865;
#proof improvement attempts: 0; #restarts: 1248
Current batch, end-nodes: 0 / 391 (391)
#axs: 35, #non-axs: 34
tight: meta-meta: start: 3, end: 4; meta: start: 9, end (keep): 17
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: 108 (#equs: 0)
Time taken: 5 min, 16 sec
2:
seed: 0
Nr of vars set: 108 (#equs: 0)
Nr of vars set: 108 (#equs: 0)
#decisions: 508617; #end-nodes: 209624;
#proof improvement attempts: 0; #restarts: 896
Current batch, end-nodes: 174 / 344 (344)
#axs: 34, #non-axs: 96
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 6
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
seed: 0
Nr of vars set: 494 (#equs: 0)
Time taken: 1 min, 44 sec
times:
0m0.022s 0m0.017s
5m42.254s 1m18.531s
v -X02_bit_7 -X02_bit_6 -X02_bit_5 X02_bit_4 X02_bit_3 -X02_bit_2 -X02_bit_1 -X02_bit0 -X02_bit1 X02_bit2 -X02_bit3 -X02_bit4 -X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 -X14_bit_7 -X14_bit_6 X14_bit_5 X14_bit_4 X14_bit_3 X14_bit_2 -X14_bit_1 -X14_bit0 X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 X23_bit_7 X23_bit_6 X23_bit_5 X23_bit_4 X23_bit_3 -X23_bit_2 X23_bit_1 -X23_bit0 X23_bit1 X23_bit2 X23_bit3 X23_bit4 X23_bit5 X23_bit6 -X23_bit7 X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 X36_bit_2 X36_bit_1 -X36_bit0 X36_bit1 X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 X39_bit4 X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X01_bit_7 -X01_bit_6 X01_bit_5 -X01_bit_4 X01_bit_3 X01_bit_2 X01_bit_1 X01_bit0 -X01_bit1 X01_bit2 -X01_bit3 X01_bit4 X01_bit5 -X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 -X03_bit_7 -X03_bit_6 X03_bit_5 X03_bit_4 X03_bit_3 -X03_bit_2 X03_bit_1 X03_bit0 -X03_bit1 -X03_bit2 -X03_bit3 X03_bit4 X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X04_bit_7 X04_bit_6 -X04_bit_5 -X04_bit_4 X04_bit_3 -X04_bit_2 -X04_bit_1 X04_bit0 -X04_bit1 -X04_bit2 X04_bit3 X04_bit4 X04_bit5 -X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 -X06_bit_7 -X06_bit_6 -X06_bit_5 -X06_bit_4 -X06_bit_3 X06_bit_2 -X06_bit_1 -X06_bit0 -X06_bit1 -X06_bit2 -X06_bit3 -X06_bit4 -X06_bit5 -X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12 X07_bit_7 X07_bit_6 X07_bit_5 -X07_bit_4 X07_bit_3 -X07_bit_2 X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 -X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12 X08_bit_7 X08_bit_6 X08_bit_5 -X08_bit_4 -X08_bit_3 -X08_bit_2 X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 -X08_bit3 -X08_bit4 -X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12 X09_bit_7 -X09_bit_6 X09_bit_5 X09_bit_4 X09_bit_3 X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 -X09_bit5 -X09_bit6 X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12 X15_bit_7 X15_bit_6 X15_bit_5 X15_bit_4 X15_bit_3 X15_bit_2 -X15_bit_1 X15_bit0 X15_bit1 X15_bit2 X15_bit3 X15_bit4 X15_bit5 X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 X16_bit4 X16_bit5 X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 X22_bit_2 X22_bit_1 -X22_bit0 X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 X22_bit5 -X22_bit6 X22_bit7 X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 X24_bit_3 X24_bit_2 X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 X24_bit3 X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 X25_bit_3 -X25_bit_2 -X25_bit_1 X25_bit0 X25_bit1 -X25_bit2 X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 X26_bit2 -X26_bit3 X26_bit4 X26_bit5 -X26_bit6 X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 X29_bit5 -X29_bit6 X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 X38_bit_1 X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 X38_bit4 -X38_bit5 X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 X10_bit_7 X10_bit_6 X10_bit_5 X10_bit_4 X10_bit_3 X10_bit_2 X10_bit_1 X10_bit0 X10_bit1 X10_bit2 X10_bit3 X10_bit4 X10_bit5 X10_bit6 X10_bit7 X10_bit8 X10_bit9 X10_bit10 X10_bit11 X10_bit12 X11_bit_7 X11_bit_6 X11_bit_5 X11_bit_4 X11_bit_3 X11_bit_2 X11_bit_1 X11_bit0 X11_bit1 X11_bit2 X11_bit3 X11_bit4 X11_bit5 X11_bit6 X11_bit7 X11_bit8 X11_bit9 X11_bit10 X11_bit11 X11_bit12 X12_bit_7 X12_bit_6 X12_bit_5 X12_bit_4 X12_bit_3 X12_bit_2 X12_bit_1 X12_bit0 X12_bit1 X12_bit2 X12_bit3 X12_bit4 X12_bit5 X12_bit6 X12_bit7 X12_bit8 X12_bit9 X12_bit10 X12_bit11 X12_bit12 X13_bit_7 X13_bit_6 X13_bit_5 X13_bit_4 X13_bit_3 X13_bit_2 X13_bit_1 X13_bit0 X13_bit1 X13_bit2 X13_bit3 X13_bit4 X13_bit5 X13_bit6 X13_bit7 X13_bit8 X13_bit9 X13_bit10 X13_bit11 X13_bit12 X32_bit_7 X32_bit_6 X32_bit_5 X32_bit_4 X32_bit_3 X32_bit_2 X32_bit_1 X32_bit0 X32_bit1 X32_bit2 X32_bit3 X32_bit4 X32_bit5 X32_bit6 X32_bit7 X32_bit8 X32_bit9 X32_bit10 X32_bit11 X32_bit12 X33_bit_7 X33_bit_6 X33_bit_5 X33_bit_4 X33_bit_3 X33_bit_2 X33_bit_1 X33_bit0 X33_bit1 X33_bit2 X33_bit3 X33_bit4 X33_bit5 X33_bit6 X33_bit7 X33_bit8 X33_bit9 X33_bit10 X33_bit11 X33_bit12 X34_bit_7 X34_bit_6 X34_bit_5 X34_bit_4 X34_bit_3 X34_bit_2 X34_bit_1 X34_bit0 X34_bit1 X34_bit2 X34_bit3 X34_bit4 X34_bit5 X34_bit6 X34_bit7 X34_bit8 X34_bit9 X34_bit10 X34_bit11 -X34_bit12 X35_bit_7 X35_bit_6 X35_bit_5 X35_bit_4 X35_bit_3 X35_bit_2 X35_bit_1 X35_bit0 X35_bit1 X35_bit2 X35_bit3 X35_bit4 X35_bit5 X35_bit6 X35_bit7 X35_bit8 X35_bit9 X35_bit10 X35_bit11 -X35_bit12
s SATISFIABLE
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/5907/stat): 5907 (vallstSAT2005PB) R 5906 5907 4005 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20694812 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5907/statm): 174 3 169 147 0 27 0
[pid=5907] 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=5908
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=5908) exited with status: 0
New process pid=5909
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=5909) exited with status: 0
New process pid=5910
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/wulflinc26/normalized-mps-v2-13-7-afiro.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0035 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 223 0 0 0 515 155 0 0 19 0 1 0 20694820 2392064 193 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 584 193 413 48 0 536 0
[pid=5910] vsize: 2336
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (Kb) 4464
[startup+20.0042 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 334 0 0 0 1070 300 0 0 18 0 1 0 20694820 2396160 304 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 585 304 413 48 0 537 0
[pid=5910] vsize: 2340
Current children cumulated CPU time (s) 13.72
Current children cumulated vsize (Kb) 4468
[startup+30.0049 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 335 0 0 0 1652 441 0 0 18 0 1 0 20694820 2396160 305 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 585 305 413 48 0 537 0
[pid=5910] vsize: 2340
Current children cumulated CPU time (s) 20.95
Current children cumulated vsize (Kb) 4468
[startup+40.0056 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 341 0 0 0 2252 569 0 0 18 0 1 0 20694820 2396160 311 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 585 311 413 48 0 537 0
[pid=5910] vsize: 2340
Current children cumulated CPU time (s) 28.23
Current children cumulated vsize (Kb) 4468
[startup+50.0062 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 343 0 0 0 2825 704 0 0 19 0 1 0 20694820 2396160 313 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 585 313 413 48 0 537 0
[pid=5910] vsize: 2340
Current children cumulated CPU time (s) 35.31
Current children cumulated vsize (Kb) 4468
[startup+60.0069 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 346 0 0 0 3478 822 0 0 17 0 1 0 20694820 2527232 316 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 316 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 43.02
Current children cumulated vsize (Kb) 4596
[startup+70.0086 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 351 0 0 0 4078 954 0 0 17 0 1 0 20694820 2527232 321 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 321 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (Kb) 4596
[startup+80.0093 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 352 0 0 0 4698 1081 0 0 19 0 1 0 20694820 2527232 322 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 322 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 57.81
Current children cumulated vsize (Kb) 4596
[startup+90.01 s]
Raw data (loadavg): 1.02 1.00 1.00 3/60 5960
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 358 0 0 0 5318 1202 0 0 16 0 1 0 20694820 2527232 328 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 328 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 65.22
Current children cumulated vsize (Kb) 4596
[startup+100.014 s]
Raw data (loadavg): 1.17 1.03 1.01 1/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 361 0 0 0 5917 1329 0 0 15 0 1 0 20694820 2527232 331 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 331 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 72.48
Current children cumulated vsize (Kb) 4596
[startup+110.015 s]
Raw data (loadavg): 1.14 1.03 1.01 2/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4005 0 -1 0 362 0 0 0 6658 1415 0 0 16 0 1 0 20694820 2527232 332 4294967295 134512640 134702520 3221223952 3221222592 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 332 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 80.75
Current children cumulated vsize (Kb) 4596
[startup+120.016 s]
Raw data (loadavg): 1.12 1.03 1.01 1/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 366 0 0 0 7330 1525 0 0 15 0 1 0 20694820 2527232 336 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 336 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 88.57
Current children cumulated vsize (Kb) 4596
[startup+130.017 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 369 0 0 0 7940 1652 0 0 16 0 1 0 20694820 2527232 339 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 339 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 95.94
Current children cumulated vsize (Kb) 4596
[startup+140.017 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 369 0 0 0 8678 1743 0 0 15 0 1 0 20694820 2527232 339 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 339 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 104.23
Current children cumulated vsize (Kb) 4596
[startup+150.018 s]
Raw data (loadavg): 1.07 1.03 1.01 1/56 5967
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 372 0 0 0 9354 1846 0 0 15 0 1 0 20694820 2527232 342 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 342 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 112.02
Current children cumulated vsize (Kb) 4596
[startup+160.019 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5969
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 376 0 0 0 9998 1967 0 0 16 0 1 0 20694820 2527232 346 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 346 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 119.67
Current children cumulated vsize (Kb) 4596
[startup+170.02 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 377 0 0 0 10704 2069 0 0 16 0 1 0 20694820 2662400 347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 650 347 413 48 0 602 0
[pid=5910] vsize: 2600
Current children cumulated CPU time (s) 127.75
Current children cumulated vsize (Kb) 4728
[startup+180.02 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 379 0 0 0 11405 2173 0 0 16 0 1 0 20694820 2654208 349 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 349 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 135.8
Current children cumulated vsize (Kb) 4720
[startup+190.022 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 383 0 0 0 12075 2284 0 0 15 0 1 0 20694820 2654208 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 353 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 143.61
Current children cumulated vsize (Kb) 4720
[startup+200.023 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 384 0 0 0 12717 2405 0 0 15 0 1 0 20694820 2654208 354 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 354 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 151.24
Current children cumulated vsize (Kb) 4720
[startup+210.023 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 385 0 0 0 13420 2509 0 0 16 0 1 0 20694820 2654208 355 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 355 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 159.31
Current children cumulated vsize (Kb) 4720
[startup+220.024 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 388 0 0 0 14093 2616 0 0 16 0 1 0 20694820 2654208 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 358 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 167.11
Current children cumulated vsize (Kb) 4720
[startup+230.025 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 391 0 0 0 14721 2738 0 0 15 0 1 0 20694820 2654208 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 361 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 174.61
Current children cumulated vsize (Kb) 4720
[startup+240.025 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 392 0 0 0 15454 2824 0 0 15 0 1 0 20694820 2654208 362 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 362 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 182.8
Current children cumulated vsize (Kb) 4720
[startup+250.027 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 396 0 0 0 16127 2933 0 0 15 0 1 0 20694820 2654208 366 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 366 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 190.62
Current children cumulated vsize (Kb) 4720
[startup+260.028 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 401 0 0 0 16759 3053 0 0 15 0 1 0 20694820 2654208 371 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 371 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 198.14
Current children cumulated vsize (Kb) 4720
[startup+270.028 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 401 0 0 0 17479 3148 0 0 15 0 1 0 20694820 2654208 371 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 371 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 206.29
Current children cumulated vsize (Kb) 4720
[startup+280.029 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 403 0 0 0 18177 3246 0 0 15 0 1 0 20694820 2654208 373 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 373 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 214.25
Current children cumulated vsize (Kb) 4720
[startup+290.03 s]
Raw data (loadavg): 1.14 1.05 1.01 2/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4005 0 -1 0 406 0 0 0 18848 3353 0 0 15 0 1 0 20694820 2654208 376 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 376 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (Kb) 4720
[startup+300.03 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 408 0 0 0 19494 3473 0 0 15 0 1 0 20694820 2789376 378 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 681 378 413 48 0 633 0
[pid=5910] vsize: 2724
Current children cumulated CPU time (s) 229.69
Current children cumulated vsize (Kb) 4852
[startup+310.031 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 409 0 0 0 20208 3571 0 0 15 0 1 0 20694820 2785280 379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 379 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 237.81
Current children cumulated vsize (Kb) 4848
[startup+320.032 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 412 0 0 0 20883 3679 0 0 16 0 1 0 20694820 2785280 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 382 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 245.64
Current children cumulated vsize (Kb) 4848
[startup+330.033 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 414 0 0 0 21500 3811 0 0 16 0 1 0 20694820 2785280 384 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 384 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 253.13
Current children cumulated vsize (Kb) 4848
[startup+340.033 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 415 0 0 0 22233 3902 0 0 15 0 1 0 20694820 2785280 385 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 385 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 261.37
Current children cumulated vsize (Kb) 4848
[startup+350.034 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4005 0 -1 0 418 0 0 0 22898 4017 0 0 16 0 1 0 20694820 2785280 388 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 388 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 269.17
Current children cumulated vsize (Kb) 4848
[startup+360.034 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 424 0 0 0 23560 4129 0 0 16 0 1 0 20694820 2785280 394 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 394 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 276.91
Current children cumulated vsize (Kb) 4848
[startup+370.034 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 425 0 0 0 24219 4240 0 0 16 0 1 0 20694820 2785280 395 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 395 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 284.61
Current children cumulated vsize (Kb) 4848
[startup+380.035 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 426 0 0 0 24923 4341 0 0 15 0 1 0 20694820 2785280 396 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 396 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 292.66
Current children cumulated vsize (Kb) 4848
[startup+390.036 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 430 0 0 0 25606 4442 0 0 15 0 1 0 20694820 2785280 400 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 400 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 300.5
Current children cumulated vsize (Kb) 4848
[startup+400.036 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 434 0 0 0 26220 4574 0 0 15 0 1 0 20694820 2785280 404 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 404 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 307.96
Current children cumulated vsize (Kb) 4848
[startup+410.036 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 434 0 0 0 26960 4664 0 0 15 0 1 0 20694820 2785280 404 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 404 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 316.26
Current children cumulated vsize (Kb) 4848
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=5910) exited with status: 2
New process pid=5972
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=5972) exited with status: 0
New process pid=5973
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+420.037 s]
Raw data (loadavg): 1.16 1.06 1.01 1/56 5973
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 279 0 0 0 366 197 0 0 17 0 1 0 20735848 2383872 249 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 582 249 413 48 0 534 0
[pid=5973] vsize: 2328
Current children cumulated CPU time (s) 322.11
Current children cumulated vsize (Kb) 4456
[startup+430.037 s]
Raw data (loadavg): 1.20 1.08 1.01 2/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) R 5907 5907 4005 0 -1 0 334 0 0 0 768 393 0 0 17 0 1 0 20735848 2383872 304 4294967295 134512640 134702520 3221223712 3221222480 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5973/statm): 582 304 413 48 0 534 0
[pid=5973] vsize: 2328
Current children cumulated CPU time (s) 328.09
Current children cumulated vsize (Kb) 4456
[startup+440.038 s]
Raw data (loadavg): 1.25 1.09 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 342 0 0 0 1193 581 0 0 16 0 1 0 20735848 2519040 312 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 615 312 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 334.22
Current children cumulated vsize (Kb) 4588
[startup+450.039 s]
Raw data (loadavg): 1.21 1.09 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 347 0 0 0 1576 778 0 0 17 0 1 0 20735848 2519040 317 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 615 317 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 340.02
Current children cumulated vsize (Kb) 4588
[startup+460.039 s]
Raw data (loadavg): 1.18 1.08 1.02 2/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) R 5907 5907 4005 0 -1 0 353 0 0 0 2035 962 0 0 16 0 1 0 20735848 2519040 323 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5973/statm): 615 323 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 346.45
Current children cumulated vsize (Kb) 4588
[startup+470.04 s]
Raw data (loadavg): 1.15 1.08 1.02 2/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) R 5907 5907 4005 0 -1 0 356 0 0 0 2427 1156 0 0 17 0 1 0 20735848 2519040 326 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5973/statm): 615 326 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 352.31
Current children cumulated vsize (Kb) 4588
[startup+480.04 s]
Raw data (loadavg): 1.13 1.08 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 364 0 0 0 2843 1347 0 0 16 0 1 0 20735848 2519040 334 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 615 334 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 358.38
Current children cumulated vsize (Kb) 4588
[startup+490.041 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) R 5907 5907 4005 0 -1 0 369 0 0 0 3267 1532 0 0 17 0 1 0 20735848 2519040 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5973/statm): 615 339 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 364.47
Current children cumulated vsize (Kb) 4588
[startup+500.042 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 372 0 0 0 3666 1725 0 0 16 0 1 0 20735848 2646016 342 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 646 342 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 370.39
Current children cumulated vsize (Kb) 4712
[startup+510.042 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 377 0 0 0 4128 1893 0 0 18 0 1 0 20735848 2646016 347 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 646 347 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 376.69
Current children cumulated vsize (Kb) 4712
[startup+520.044 s]
Raw data (loadavg): 1.06 1.07 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 379 0 0 0 4523 2089 0 0 18 0 1 0 20735848 2646016 349 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 349 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 382.6
Current children cumulated vsize (Kb) 4712
[startup+530.044 s]
Raw data (loadavg): 1.13 1.08 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 384 0 0 0 4987 2260 0 0 17 0 1 0 20735848 2646016 354 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 354 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 388.95
Current children cumulated vsize (Kb) 4712
[startup+540.045 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 386 0 0 0 5391 2445 0 0 17 0 1 0 20735848 2646016 356 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 356 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 394.84
Current children cumulated vsize (Kb) 4712
[startup+550.046 s]
Raw data (loadavg): 1.18 1.09 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 391 0 0 0 5881 2607 0 0 16 0 1 0 20735848 2646016 361 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 361 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 401.36
Current children cumulated vsize (Kb) 4712
[startup+560.046 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 393 0 0 0 6288 2798 0 0 18 0 1 0 20735848 2646016 363 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 363 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 407.34
Current children cumulated vsize (Kb) 4712
[startup+570.047 s]
Raw data (loadavg): 1.12 1.08 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 397 0 0 0 6773 2966 0 0 16 0 1 0 20735848 2646016 367 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 646 367 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 413.87
Current children cumulated vsize (Kb) 4712
[startup+580.048 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 399 0 0 0 7194 3157 0 0 18 0 1 0 20735848 2646016 369 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 646 369 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 4712
One traced child (pid=5973) exited with status: 1
New process pid=5976
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh.model
One traced child (pid=5976) exited with status: 0
New process pid=5977
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
open syscall for file /tmp/vallst_var_map
One traced child (pid=5977) exited with status: 0
New process pid=5978
New process pid=5979
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
execve syscall for /usr/bin/wc 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=5979) exited with status: 0
One traced child (pid=5978) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=5980
New process pid=5981
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
execve syscall for /usr/bin/tail executable
execve syscall for /bin/sed executable
open syscall for file /etc/ld.so.preload
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libc.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libc.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libc.so.6
open syscall for file mmx/libm.so.6
open syscall for file libc.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
One traced child (pid=5980) exited with status: 0
One traced child (pid=5981) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=5982
New process pid=5983
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5868/stat
open syscall for file /proc/5868/status
open syscall for file /proc/5868/cmdline
open syscall for file /proc/5868/environ
open syscall for file /proc/5906/stat
open syscall for file /proc/5906/status
open syscall for file /proc/5906/cmdline
open syscall for file /proc/5906/environ
open syscall for file /proc/5907/stat
open syscall for file /proc/5907/status
open syscall for file /proc/5907/cmdline
open syscall for file /proc/5907/environ
open syscall for file /proc/5982/stat
open syscall for file /proc/5982/status
open syscall for file /proc/5982/cmdline
open syscall for file /proc/5982/environ
open syscall for file /proc/5983/stat
open syscall for file /proc/5983/status
open syscall for file /proc/5983/cmdline
open syscall for file /proc/5983/environ
One traced child (pid=5982) exited with status: 0
One traced child (pid=5983) exited with status: 0
New process pid=5984
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5984) exited with status: 0
New process pid=5985
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=5985) exited with status: 0
One traced child (pid=5907) exited with status: 10
All traced children have exited ! Game is over.
Child status: 10
Real time (s): 582.493
CPU time (s): 421.275
CPU user time (s): 342.494
CPU system time (s): 78.781
CPU usage (%): 72.3227
Max. virtual memory (cumulated for all children) (Kb): 4852