1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 20; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 24, #non-axs: 0
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: model found (1)
Model found with constant: 201236 (64095:>=*);
#decisions: 20; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 24, #non-axs: 3
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
Model found with constant: 201690 (63641:>=*);
#decisions: 19; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 24, #non-axs: 4
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
Model found with constant: 201761 (63570:>=*);
#decisions: 19; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 24, #non-axs: 6
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
Model found with constant: 202215 (63116:>=*);
#decisions: 35; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 24, #non-axs: 16
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
Model found with constant: 202222 (63109:>=*);
#decisions: 19; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 24, #non-axs: 19
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
Model found with constant: 202676 (62655:>=*);
#decisions: 27; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 24, #non-axs: 25
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
Model found with constant: 202730 (62601:>=*);
#decisions: 19; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 24, #non-axs: 29
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
Model found with constant: 203255 (62076:>=*);
#decisions: 138210; #end-nodes: 79780;
#proof improvement attempts: 0; #restarts: 540
Current batch, end-nodes: 176 / 215 (215)
#axs: 24, #non-axs: 33
tight: meta-meta: start: 6, end: 9; meta: start: 6, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 203301 (62030:>=*);
#decisions: 47397; #end-nodes: 27926;
#proof improvement attempts: 0; #restarts: 251
Current batch, end-nodes: 15 / 142 (142)
#axs: 24, #non-axs: 25
tight: meta-meta: start: 6, end: 9; meta: start: 6, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 203304 (62027:>=*);
#decisions: 2814394; #end-nodes: 1869304;
#proof improvement attempts: 0; #restarts: 3270
Current batch, end-nodes: 19023 / 24314 (897)
#axs: 24, #non-axs: 35
tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 203304 (62027:>=*)
With an increment of the last pushed constant, a proof of false was found.
result: proof of false found (0)
seed: 0
Nr of vars set: 40 (#equs: 0)
Time taken: 3 min, 10 sec
times:
0m0.017s 0m0.018s
2m3.621s 1m7.184s
v -C1001_bit0 C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 C1006_bit0 -C1007_bit0 -C1008_bit0 C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 C1015_bit0 -C1016_bit0 -C1017_bit0 C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 C1026_bit0 -C1027_bit0 -C1028_bit0 C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 C1038_bit0 -C1039_bit0 -C1040_bit0
s OPTIMUM FOUND
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/20131/stat): 20131 (vallstSAT2005PB) R 20130 20131 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1847623110 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20131/statm): 174 3 169 147 0 27 0
[pid=20131] 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=20132
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=20132) exited with status: 0
New process pid=20133
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=20133) exited with status: 0
New process pid=20134
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/wulflinc30/normalized-mps-v2-20-10-p0040.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.003 s]
Raw data (loadavg): 0.85 0.97 0.99 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 324 0 0 0 326 207 0 0 16 0 1 0 1847623117 2547712 294 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 294 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (Kb) 4616
[startup+20.0048 s]
Raw data (loadavg): 0.87 0.97 0.99 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 327 0 0 0 599 445 0 0 16 0 1 0 1847623117 2547712 297 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 297 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 10.46
Current children cumulated vsize (Kb) 4616
[startup+30.0056 s]
Raw data (loadavg): 0.89 0.97 0.99 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 329 0 0 0 860 689 0 0 16 0 1 0 1847623117 2547712 299 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 299 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 15.51
Current children cumulated vsize (Kb) 4616
[startup+40.0064 s]
Raw data (loadavg): 0.91 0.97 0.99 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 329 0 0 0 1105 931 0 0 16 0 1 0 1847623117 2547712 299 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 299 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 20.38
Current children cumulated vsize (Kb) 4616
[startup+50.0072 s]
Raw data (loadavg): 0.92 0.97 0.99 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 329 0 0 0 1373 1164 0 0 16 0 1 0 1847623117 2547712 299 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 299 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (Kb) 4616
[startup+60.007 s]
Raw data (loadavg): 0.93 0.97 0.99 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 330 0 0 0 1645 1410 0 0 16 0 1 0 1847623117 2547712 300 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 300 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 30.57
Current children cumulated vsize (Kb) 4616
[startup+70.0098 s]
Raw data (loadavg): 1.02 0.99 0.99 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 333 0 0 0 1941 1648 0 0 16 0 1 0 1847623117 2547712 303 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20134/statm): 622 303 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 35.91
Current children cumulated vsize (Kb) 4616
[startup+80.0106 s]
Raw data (loadavg): 1.17 1.02 1.00 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 335 0 0 0 2248 1878 0 0 16 0 1 0 1847623117 2547712 305 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20134/statm): 622 305 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 41.28
Current children cumulated vsize (Kb) 4616
[startup+90.0114 s]
Raw data (loadavg): 1.15 1.02 1.00 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 337 0 0 0 2558 2105 0 0 16 0 1 0 1847623117 2547712 307 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20134/statm): 622 307 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 46.65
Current children cumulated vsize (Kb) 4616
[startup+100.012 s]
Raw data (loadavg): 1.28 1.05 1.01 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 340 0 0 0 2892 2326 0 0 16 0 1 0 1847623117 2547712 310 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 310 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 52.2
Current children cumulated vsize (Kb) 4616
[startup+110.013 s]
Raw data (loadavg): 1.23 1.05 1.01 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 342 0 0 0 3214 2548 0 0 16 0 1 0 1847623117 2547712 312 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 312 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 57.64
Current children cumulated vsize (Kb) 4616
[startup+120.014 s]
Raw data (loadavg): 1.27 1.06 1.02 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 343 0 0 0 3567 2756 0 0 15 0 1 0 1847623117 2547712 313 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 313 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 63.25
Current children cumulated vsize (Kb) 4616
[startup+130.015 s]
Raw data (loadavg): 1.23 1.06 1.02 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 345 0 0 0 3896 2978 0 0 16 0 1 0 1847623117 2547712 315 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 315 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 68.76
Current children cumulated vsize (Kb) 4616
[startup+140.015 s]
Raw data (loadavg): 1.27 1.07 1.02 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 347 0 0 0 4244 3197 0 0 16 0 1 0 1847623117 2547712 317 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 317 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 74.43
Current children cumulated vsize (Kb) 4616
[startup+150.016 s]
Raw data (loadavg): 1.23 1.07 1.02 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 380 0 0 0 4619 3404 0 0 16 0 1 0 1847623117 2547712 350 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 350 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 80.25
Current children cumulated vsize (Kb) 4616
[startup+160.017 s]
Raw data (loadavg): 1.27 1.08 1.02 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 381 0 0 0 4984 3609 0 0 15 0 1 0 1847623117 2547712 351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 351 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 85.95
Current children cumulated vsize (Kb) 4616
[startup+170.018 s]
Raw data (loadavg): 1.23 1.08 1.02 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 382 0 0 0 5353 3816 0 0 16 0 1 0 1847623117 2547712 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20134/statm): 622 352 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 91.71
Current children cumulated vsize (Kb) 4616
[startup+180.019 s]
Raw data (loadavg): 1.20 1.08 1.02 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 382 0 0 0 5738 4020 0 0 16 0 1 0 1847623117 2547712 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 352 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 97.6
Current children cumulated vsize (Kb) 4616
[startup+190.02 s]
Raw data (loadavg): 1.16 1.08 1.02 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 382 0 0 0 6127 4226 0 0 15 0 1 0 1847623117 2547712 352 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 352 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 103.55
Current children cumulated vsize (Kb) 4616
[startup+200.021 s]
Raw data (loadavg): 1.21 1.09 1.02 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 382 0 0 0 6516 4430 0 0 16 0 1 0 1847623117 2547712 352 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 352 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 109.48
Current children cumulated vsize (Kb) 4616
[startup+210.021 s]
Raw data (loadavg): 1.33 1.12 1.03 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 382 0 0 0 6914 4632 0 0 16 0 1 0 1847623117 2547712 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 352 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 115.48
Current children cumulated vsize (Kb) 4616
[startup+220.023 s]
Raw data (loadavg): 1.28 1.11 1.03 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 382 0 0 0 7308 4824 0 0 16 0 1 0 1847623117 2547712 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20134/statm): 622 352 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 121.34
Current children cumulated vsize (Kb) 4616
[startup+230.023 s]
Raw data (loadavg): 1.30 1.12 1.04 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 382 0 0 0 7697 5031 0 0 15 0 1 0 1847623117 2547712 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20134/statm): 622 352 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 127.3
Current children cumulated vsize (Kb) 4616
[startup+240.023 s]
Raw data (loadavg): 1.25 1.12 1.04 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 382 0 0 0 8101 5224 0 0 16 0 1 0 1847623117 2547712 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 352 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 133.27
Current children cumulated vsize (Kb) 4616
[startup+250.024 s]
Raw data (loadavg): 1.21 1.12 1.04 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 383 0 0 0 8547 5413 0 0 16 0 1 0 1847623117 2547712 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 353 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 139.62
Current children cumulated vsize (Kb) 4616
[startup+260.025 s]
Raw data (loadavg): 1.18 1.11 1.03 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 383 0 0 0 8966 5607 0 0 15 0 1 0 1847623117 2547712 353 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 353 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 145.75
Current children cumulated vsize (Kb) 4616
[startup+270.026 s]
Raw data (loadavg): 1.15 1.11 1.03 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 383 0 0 0 9430 5782 0 0 16 0 1 0 1847623117 2547712 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20134/statm): 622 353 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 152.14
Current children cumulated vsize (Kb) 4616
[startup+280.027 s]
Raw data (loadavg): 1.13 1.10 1.03 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 383 0 0 0 9896 5964 0 0 16 0 1 0 1847623117 2547712 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 622 353 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 158.62
Current children cumulated vsize (Kb) 4616
[startup+290.027 s]
Raw data (loadavg): 1.11 1.10 1.03 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 384 0 0 0 10444 6117 0 0 15 0 1 0 1847623117 2547712 354 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20134/statm): 622 354 413 48 0 574 0
[pid=20134] vsize: 2488
Current children cumulated CPU time (s) 165.63
Current children cumulated vsize (Kb) 4616
[startup+300.028 s]
Raw data (loadavg): 1.09 1.10 1.03 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 387 0 0 0 10907 6299 0 0 16 0 1 0 1847623117 2686976 357 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 656 357 413 48 0 608 0
[pid=20134] vsize: 2624
Current children cumulated CPU time (s) 172.08
Current children cumulated vsize (Kb) 4752
[startup+310.029 s]
Raw data (loadavg): 1.08 1.09 1.03 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 387 0 0 0 11422 6466 0 0 16 0 1 0 1847623117 2686976 357 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20134/statm): 656 357 413 48 0 608 0
[pid=20134] vsize: 2624
Current children cumulated CPU time (s) 178.9
Current children cumulated vsize (Kb) 4752
[startup+320.03 s]
Raw data (loadavg): 1.06 1.09 1.03 1/57 20134
Raw data (/proc/20131/stat): 20131 (vallstSAT2005PB) S 20130 20131 5245 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847623110 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20131/statm): 532 242 485 147 0 385 0
[pid=20131] vsize: 2128
Raw data (/proc/20134/stat): 20134 (vallst) T 20131 20131 5245 0 -1 0 397 0 0 0 11948 6629 0 0 16 0 1 0 1847623117 2686976 367 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20134/statm): 656 367 413 48 0 608 0
[pid=20134] vsize: 2624
Current children cumulated CPU time (s) 185.79
Current children cumulated vsize (Kb) 4752
One traced child (pid=20134) exited with status: 0
New process pid=20135
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=20135) exited with status: 0
New process pid=20136
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=20136) exited with status: 0
New process pid=20137
New process pid=20138
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=20138) exited with status: 0
One traced child (pid=20137) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=20139
New process pid=20140
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 tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file /etc/ld.so.preload
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file i686/libm.so.6
open syscall for file tls/libc.so.6
open syscall for file mmx/libm.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file libm.so.6
open syscall for file i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.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/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/libm.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 /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /lib/tls/libc.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=20140) exited with status: 0
One traced child (pid=20139) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=20141
New process pid=20142
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/426/stat
open syscall for file /proc/426/status
open syscall for file /proc/426/cmdline
open syscall for file /proc/426/environ
open syscall for file /proc/8919/stat
open syscall for file /proc/8919/status
open syscall for file /proc/8919/cmdline
open syscall for file /proc/8919/environ
open syscall for file /proc/8946/stat
open syscall for file /proc/8946/status
open syscall for file /proc/8946/cmdline
open syscall for file /proc/8946/environ
open syscall for file /proc/8970/stat
open syscall for file /proc/8970/status
open syscall for file /proc/8970/cmdline
open syscall for file /proc/8970/environ
open syscall for file /proc/28938/stat
open syscall for file /proc/28938/status
open syscall for file /proc/28938/cmdline
open syscall for file /proc/28938/environ
open syscall for file /proc/28958/stat
open syscall for file /proc/28958/status
open syscall for file /proc/28958/cmdline
open syscall for file /proc/28958/environ
open syscall for file /proc/18767/stat
open syscall for file /proc/18767/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/18767/cmdline
open syscall for file /proc/18767/environ
open syscall for file /proc/18803/stat
open syscall for file /proc/18803/status
open syscall for file /proc/18803/cmdline
open syscall for file /proc/18803/environ
open syscall for file /proc/5245/stat
open syscall for file /proc/5245/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/5245/cmdline
open syscall for file /proc/5245/environ
open syscall for file /proc/5246/stat
open syscall for file /proc/5246/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/5246/cmdline
open syscall for file /proc/5246/environ
open syscall for file /proc/5255/stat
open syscall for file /proc/5255/status
open syscall for file /proc/5255/cmdline
open syscall for file /proc/5255/environ
open syscall for file /proc/20094/stat
open syscall for file /proc/20094/status
open syscall for file /proc/20094/cmdline
open syscall for file /proc/20094/environ
open syscall for file /proc/20130/stat
open syscall for file /proc/20130/status
open syscall for file /proc/20130/cmdline
open syscall for file /proc/20130/environ
open syscall for file /proc/20131/stat
open syscall for file /proc/20131/status
open syscall for file /proc/20131/cmdline
open syscall for file /proc/20131/environ
open syscall for file /proc/20141/stat
open syscall for file /proc/20141/status
open syscall for file /proc/20141/cmdline
open syscall for file /proc/20141/environ
open syscall for file /proc/20142/stat
open syscall for file /proc/20142/status
open syscall for file /proc/20142/cmdline
open syscall for file /proc/20142/environ
One traced child (pid=20141) exited with status: 0
One traced child (pid=20142) exited with status: 0
New process pid=20143
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=20143) exited with status: 0
New process pid=20144
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=20144) exited with status: 0
One traced child (pid=20131) exited with status: 30
All traced children have exited ! Game is over.
Child status: 30
Real time (s): 327.441
CPU time (s): 190.997
CPU user time (s): 123.672
CPU system time (s): 67.3248
CPU usage (%): 58.3302
Max. virtual memory (cumulated for all children) (Kb): 4752