1:
seed: 0
Nr of vars set: 98 (#equs: 0)
Nr of vars set: 98 (#equs: 0)
#decisions: 105; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 27, #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: 35616605 (65664:>=*);
#decisions: 91; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 27, #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
Model found with constant: 35617885 (64384:>=*);
#decisions: 404; #end-nodes: 162;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 0 / 80 (80)
#axs: 27, #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
Model found with constant: 35619979 (62290:>=*);
#decisions: 45; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 27, #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
Model found with constant: 35619981 (62288:>=*);
#decisions: 69; #end-nodes: 23;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 27, #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
Model found with constant: 35619989 (62280:>=*);
#decisions: 89; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 27, #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
Model found with constant: 35620007 (62262:>=*);
#decisions: 85; #end-nodes: 41;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 27, #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
Model found with constant: 35620045 (62224:>=*);
#decisions: 109; #end-nodes: 65;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 65 / 80 (80)
#axs: 27, #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
Model found with constant: 35620049 (62220:>=*);
#decisions: 407; #end-nodes: 167;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 6 / 80 (80)
#axs: 27, #non-axs: 2
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: 35625053 (57216:>=*);
#decisions: 46; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 27, #non-axs: 2
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: 35625177 (57092:>=*);
#decisions: 3739; #end-nodes: 1773;
#proof improvement attempts: 0; #restarts: 21
Current batch, end-nodes: 31 / 85 (85)
#axs: 27, #non-axs: 48
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: 35625619 (56650:>=*);
#decisions: 1208; #end-nodes: 517;
#proof improvement attempts: 0; #restarts: 6
Current batch, end-nodes: 31 / 81 (81)
#axs: 27, #non-axs: 54
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: 35626717 (55552:>=*);
#decisions: 2296; #end-nodes: 1131;
#proof improvement attempts: 0; #restarts: 13
Current batch, end-nodes: 50 / 83 (83)
#axs: 27, #non-axs: 89
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: 35626757 (55512:>=*);
#decisions: 65; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 27, #non-axs: 89
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: 35626781 (55488:>=*);
#decisions: 43; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 27, #non-axs: 90
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: 35626821 (55448:>=*);
#decisions: 103; #end-nodes: 74;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 74 / 80 (80)
#axs: 27, #non-axs: 90
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: 35626827 (55442:>=*);
#decisions: 2385; #end-nodes: 1186;
#proof improvement attempts: 0; #restarts: 14
Current batch, end-nodes: 4 / 83 (83)
#axs: 27, #non-axs: 128
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: 35626909 (55360:>=*);
#decisions: 134; #end-nodes: 70;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 70 / 80 (80)
#axs: 27, #non-axs: 128
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: 35626941 (55328:>=*);
#decisions: 77; #end-nodes: 29;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 27, #non-axs: 129
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: 35626957 (55312:>=*);
#decisions: 72; #end-nodes: 21;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 27, #non-axs: 129
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: 35626965 (55304:>=*);
#decisions: 9528; #end-nodes: 4820;
#proof improvement attempts: 0; #restarts: 54
Current batch, end-nodes: 7 / 93 (93)
#axs: 27, #non-axs: 115
tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35627197 (55072:>=*);
#decisions: 53; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 27, #non-axs: 115
tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35627209 (55060:>=*);
#decisions: 8123; #end-nodes: 4001;
#proof improvement attempts: 0; #restarts: 45
Current batch, end-nodes: 56 / 91 (91)
#axs: 27, #non-axs: 87
tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 17
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35627229 (55040:>=*);
#decisions: 6687; #end-nodes: 3337;
#proof improvement attempts: 0; #restarts: 39
Current batch, end-nodes: 4 / 89 (89)
#axs: 27, #non-axs: 99
tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35628093 (54176:>=*);
#decisions: 43; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 27, #non-axs: 99
tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35628109 (54160:>=*);
#decisions: 47; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 27, #non-axs: 99
tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35628121 (54148:>=*);
#decisions: 58; #end-nodes: 20;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 27, #non-axs: 99
tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35628123 (54146:>=*);
#decisions: 64; #end-nodes: 25;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 27, #non-axs: 99
tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35628237 (54032:>=*);
#decisions: 45; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 27, #non-axs: 99
tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35628251 (54018:>=*);
#decisions: 3072; #end-nodes: 1569;
#proof improvement attempts: 0; #restarts: 19
Current batch, end-nodes: 1 / 84 (84)
#axs: 27, #non-axs: 83
tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35632349 (49920:>=*);
#decisions: 26368; #end-nodes: 13161;
#proof improvement attempts: 0; #restarts: 127
Current batch, end-nodes: 62 / 111 (111)
#axs: 27, #non-axs: 60
tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35633117 (49152:>=*);
#decisions: 161; #end-nodes: 76;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 76 / 80 (80)
#axs: 27, #non-axs: 60
tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35633629 (48640:>=*);
#decisions: 10438; #end-nodes: 5742;
#proof improvement attempts: 0; #restarts: 45
Current batch, end-nodes: 8 / 123 (91)
#axs: 27, #non-axs: 103
tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35634205 (48064:>=*);
#decisions: 45; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 92 (80)
#axs: 27, #non-axs: 103
tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 35637469 (44800:>=*);
#decisions: 1246645; #end-nodes: 744696;
#proof improvement attempts: 0; #restarts: 1475
Current batch, end-nodes: 2283 / 4925 (448)
#axs: 27, #non-axs: 1
tight: meta-meta: start: 4, end: 5; meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 35637469 (44800:>=*)
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: 168 (#equs: 0)
Time taken: 4 min, 25 sec
times:
0m0.017s 0m0.018s
3m40.057s 0m45.930s
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 X2_bit1 -X2_bit2 X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 X4_bit1 X4_bit2 X4_bit3 X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 X6_bit2 -X6_bit3 X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 X7_bit2 -X7_bit3 X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_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 -Y0_bit0 -Y1_bit0 Y2_bit0 -Y3_bit0 Y4_bit0 -Y5_bit0 Y6_bit0 Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 Y11_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/5542/stat): 5542 (vallstSAT2005PB) R 5541 5542 4005 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20258292 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5542/statm): 174 3 169 147 0 27 0
[pid=5542] 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=5543
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=5543) exited with status: 0
New process pid=5544
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=5544) exited with status: 0
New process pid=5545
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/wulflinc32/normalized-mps-v2-13-7-bk4x3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0026 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 253 0 0 0 496 157 0 0 18 0 1 0 20258299 2195456 223 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 536 223 413 48 0 488 0
[pid=5545] vsize: 2144
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (Kb) 4272
[startup+20.0043 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 256 0 0 0 1105 287 0 0 18 0 1 0 20258299 2326528 226 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 568 226 413 48 0 520 0
[pid=5545] vsize: 2272
Current children cumulated CPU time (s) 13.94
Current children cumulated vsize (Kb) 4400
[startup+30.0051 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 257 0 0 0 1702 413 0 0 18 0 1 0 20258299 2326528 227 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 568 227 413 48 0 520 0
[pid=5545] vsize: 2272
Current children cumulated CPU time (s) 21.17
Current children cumulated vsize (Kb) 4400
[startup+40.0049 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 310 0 0 0 2319 536 0 0 18 0 1 0 20258299 2326528 280 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 568 280 413 48 0 520 0
[pid=5545] vsize: 2272
Current children cumulated CPU time (s) 28.57
Current children cumulated vsize (Kb) 4400
[startup+50.0066 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 312 0 0 0 2905 674 0 0 18 0 1 0 20258299 2326528 282 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5545/statm): 568 282 413 48 0 520 0
[pid=5545] vsize: 2272
Current children cumulated CPU time (s) 35.81
Current children cumulated vsize (Kb) 4400
[startup+60.0074 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 317 0 0 0 3514 798 0 0 16 0 1 0 20258299 2326528 287 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 568 287 413 48 0 520 0
[pid=5545] vsize: 2272
Current children cumulated CPU time (s) 43.14
Current children cumulated vsize (Kb) 4400
[startup+70.0091 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 323 0 0 0 4124 928 0 0 15 0 1 0 20258299 2326528 293 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 568 293 413 48 0 520 0
[pid=5545] vsize: 2272
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (Kb) 4400
[startup+80.0099 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 325 0 0 0 4697 1075 0 0 15 0 1 0 20258299 2326528 295 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 568 295 413 48 0 520 0
[pid=5545] vsize: 2272
Current children cumulated CPU time (s) 57.74
Current children cumulated vsize (Kb) 4400
[startup+90.0097 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 336 0 0 0 5319 1196 0 0 15 0 1 0 20258299 2461696 306 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 601 306 413 48 0 553 0
[pid=5545] vsize: 2404
Current children cumulated CPU time (s) 65.17
Current children cumulated vsize (Kb) 4532
[startup+100.01 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 343 0 0 0 5918 1333 0 0 15 0 1 0 20258299 2461696 313 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 601 313 413 48 0 553 0
[pid=5545] vsize: 2404
Current children cumulated CPU time (s) 72.53
Current children cumulated vsize (Kb) 4532
[startup+110.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) R 5542 5542 4005 0 -1 0 354 0 0 0 6559 1454 0 0 16 0 1 0 20258299 2461696 324 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5545/statm): 601 324 413 48 0 553 0
[pid=5545] vsize: 2404
Current children cumulated CPU time (s) 80.15
Current children cumulated vsize (Kb) 4532
[startup+120.012 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 355 0 0 0 7136 1593 0 0 15 0 1 0 20258299 2461696 325 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5545/statm): 601 325 413 48 0 553 0
[pid=5545] vsize: 2404
Current children cumulated CPU time (s) 87.31
Current children cumulated vsize (Kb) 4532
[startup+130.013 s]
Raw data (loadavg): 1.09 1.02 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 358 0 0 0 7749 1719 0 0 15 0 1 0 20258299 2461696 328 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 601 328 413 48 0 553 0
[pid=5545] vsize: 2404
Current children cumulated CPU time (s) 94.7
Current children cumulated vsize (Kb) 4532
[startup+140.013 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 360 0 0 0 8332 1856 0 0 16 0 1 0 20258299 2461696 330 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 601 330 413 48 0 553 0
[pid=5545] vsize: 2404
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (Kb) 4532
[startup+150.014 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 364 0 0 0 8932 1990 0 0 16 0 1 0 20258299 2461696 334 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5545/statm): 601 334 413 48 0 553 0
[pid=5545] vsize: 2404
Current children cumulated CPU time (s) 109.24
Current children cumulated vsize (Kb) 4532
[startup+160.015 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 368 0 0 0 9537 2128 0 0 15 0 1 0 20258299 2596864 338 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 634 338 413 48 0 586 0
[pid=5545] vsize: 2536
Current children cumulated CPU time (s) 116.67
Current children cumulated vsize (Kb) 4664
[startup+170.016 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 373 0 0 0 10159 2250 0 0 16 0 1 0 20258299 2596864 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 634 343 413 48 0 586 0
[pid=5545] vsize: 2536
Current children cumulated CPU time (s) 124.11
Current children cumulated vsize (Kb) 4664
[startup+180.017 s]
Raw data (loadavg): 1.11 1.03 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 375 0 0 0 10760 2383 0 0 15 0 1 0 20258299 2596864 345 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 634 345 413 48 0 586 0
[pid=5545] vsize: 2536
Current children cumulated CPU time (s) 131.45
Current children cumulated vsize (Kb) 4664
[startup+190.017 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 381 0 0 0 11349 2515 0 0 15 0 1 0 20258299 2596864 351 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 634 351 413 48 0 586 0
[pid=5545] vsize: 2536
Current children cumulated CPU time (s) 138.66
Current children cumulated vsize (Kb) 4664
[startup+200.018 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 388 0 0 0 11982 2631 0 0 15 0 1 0 20258299 2596864 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 634 358 413 48 0 586 0
[pid=5545] vsize: 2536
Current children cumulated CPU time (s) 146.15
Current children cumulated vsize (Kb) 4664
[startup+210.019 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 390 0 0 0 12574 2768 0 0 16 0 1 0 20258299 2596864 360 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5545/statm): 634 360 413 48 0 586 0
[pid=5545] vsize: 2536
Current children cumulated CPU time (s) 153.44
Current children cumulated vsize (Kb) 4664
[startup+220.021 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 398 0 0 0 13191 2895 0 0 15 0 1 0 20258299 2596864 368 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 634 368 413 48 0 586 0
[pid=5545] vsize: 2536
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (Kb) 4664
[startup+230.021 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 403 0 0 0 13816 3020 0 0 15 0 1 0 20258299 2732032 373 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5545/statm): 667 373 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 168.38
Current children cumulated vsize (Kb) 4796
[startup+240.021 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 404 0 0 0 14398 3156 0 0 15 0 1 0 20258299 2732032 374 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 667 374 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 175.56
Current children cumulated vsize (Kb) 4796
[startup+250.023 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 406 0 0 0 15041 3276 0 0 16 0 1 0 20258299 2732032 376 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 667 376 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 183.19
Current children cumulated vsize (Kb) 4796
[startup+260.024 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 407 0 0 0 15619 3422 0 0 16 0 1 0 20258299 2732032 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 667 377 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 190.43
Current children cumulated vsize (Kb) 4796
[startup+270.024 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 411 0 0 0 16258 3541 0 0 16 0 1 0 20258299 2732032 381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 667 381 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 198.01
Current children cumulated vsize (Kb) 4796
[startup+280.025 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 416 0 0 0 16870 3669 0 0 15 0 1 0 20258299 2732032 386 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 667 386 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 205.41
Current children cumulated vsize (Kb) 4796
[startup+290.026 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 417 0 0 0 17485 3796 0 0 15 0 1 0 20258299 2732032 387 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 667 387 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 212.83
Current children cumulated vsize (Kb) 4796
[startup+300.027 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 420 0 0 0 18140 3910 0 0 16 0 1 0 20258299 2732032 390 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5545/statm): 667 390 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 220.52
Current children cumulated vsize (Kb) 4796
[startup+310.027 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 422 0 0 0 18740 4039 0 0 15 0 1 0 20258299 2732032 392 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5545/statm): 667 392 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 227.81
Current children cumulated vsize (Kb) 4796
[startup+320.029 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 423 0 0 0 19403 4155 0 0 15 0 1 0 20258299 2732032 393 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 667 393 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 235.6
Current children cumulated vsize (Kb) 4796
[startup+330.03 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 424 0 0 0 20078 4260 0 0 15 0 1 0 20258299 2732032 394 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 667 394 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 243.4
Current children cumulated vsize (Kb) 4796
[startup+340.03 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 426 0 0 0 20697 4390 0 0 15 0 1 0 20258299 2732032 396 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 667 396 413 48 0 619 0
[pid=5545] vsize: 2668
Current children cumulated CPU time (s) 250.89
Current children cumulated vsize (Kb) 4796
[startup+350.03 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5545
Raw data (/proc/5542/stat): 5542 (vallstSAT2005PB) S 5541 5542 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20258292 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5542/statm): 532 242 485 147 0 385 0
[pid=5542] vsize: 2128
Raw data (/proc/5545/stat): 5545 (vallst) T 5542 5542 4005 0 -1 0 433 0 0 0 21388 4495 0 0 15 0 1 0 20258299 2736128 403 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5545/statm): 668 403 413 48 0 620 0
[pid=5545] vsize: 2672
Current children cumulated CPU time (s) 258.85
Current children cumulated vsize (Kb) 4800
One traced child (pid=5545) exited with status: 0
New process pid=5546
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=5546) exited with status: 0
New process pid=5547
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=5547) exited with status: 0
New process pid=5548
New process pid=5549
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=5549) exited with status: 0
One traced child (pid=5548) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=5550
New process pid=5551
execve syscall for /usr/bin/tail executable
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
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 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 /etc/ld.so.preload
open syscall for file /oldhome/oroussel/lib/tls/mmx/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 /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/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/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /etc/ld.so.cache
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 /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/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file /etc/ld.so.cache
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 /lib/tls/libc.so.6
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=5550) exited with status: 0
One traced child (pid=5551) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=5552
New process pid=5553
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/5503/stat
open syscall for file /proc/5503/status
open syscall for file /proc/5503/cmdline
open syscall for file /proc/5503/environ
open syscall for file /proc/5541/stat
open syscall for file /proc/5541/status
open syscall for file /proc/5541/cmdline
open syscall for file /proc/5541/environ
open syscall for file /proc/5542/stat
open syscall for file /proc/5542/status
open syscall for file /proc/5542/cmdline
open syscall for file /proc/5542/environ
open syscall for file /proc/5552/stat
open syscall for file /proc/5552/status
open syscall for file /proc/5552/cmdline
open syscall for file /proc/5552/environ
open syscall for file /proc/5553/stat
open syscall for file /proc/5553/status
open syscall for file /proc/5553/cmdline
open syscall for file /proc/5553/environ
One traced child (pid=5552) exited with status: 0
One traced child (pid=5553) exited with status: 0
New process pid=5554
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=5554) exited with status: 0
New process pid=5555
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=5555) exited with status: 0
One traced child (pid=5542) exited with status: 30
All traced children have exited ! Game is over.
Child status: 30
Real time (s): 359.755
CPU time (s): 266.288
CPU user time (s): 220.189
CPU system time (s): 46.099
CPU usage (%): 74.0191
Max. virtual memory (cumulated for all children) (Kb): 4800