1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 544; #end-nodes: 361;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 250 / 722 (80)
#axs: 6083, #non-axs: 75
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: 353 (342:>=*);
#decisions: 64; #end-nodes: 18;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 6083, #non-axs: 75
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: 357 (338:>=*);
#decisions: 950; #end-nodes: 577;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 497 / 928 (80)
#axs: 6083, #non-axs: 252
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: 358 (337:>=*);
#decisions: 891; #end-nodes: 552;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 471 / 482 (80)
#axs: 6083, #non-axs: 323
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: 362 (333:>=*);
#decisions: 33; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 6083, #non-axs: 323
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: 363 (332:>=*);
#decisions: 86; #end-nodes: 51;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 6083, #non-axs: 323
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: 364 (331:>=*);
#decisions: 438693; #end-nodes: 275006;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 367 (247)
#axs: 6146, #non-axs: 1074
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:
(pushed:) 364 (331:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 228 (#equs: 63)
Time taken: 5 min, 13 sec
2:
seed: 0
Nr of vars set: 228 (#equs: 0)
Nr of vars set: 228 (#equs: 5)
#decisions: 466599; #end-nodes: 270201;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 292 (287)
#axs: 2818, #non-axs: 824
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 381 (#equs: 168)
Time taken: 4 min, 22 sec
3:
seed: 0
Nr of vars set: 381 (#equs: 0)
Nr of vars set: 404 (#equs: 40)
#decisions: 18936; #end-nodes: 13559;
#proof improvement attempts: 0; #restarts: 25
Current batch, end-nodes: 3016 / 3994 (166)
#axs: 450, #non-axs: 38
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: proof of false found (0)
No model found at all.
Proof of false found with initial constants.
result: proof of false found (0)
seed: 0
Nr of vars set: 493 (#equs: 40)
Time taken in milliseconds: 4270
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.017s 0m0.019s
9m17.769s 0m23.403s
s UNSATISFIABLE
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/5155/stat): 5155 (vallstSAT2005PB) R 5154 5155 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784773776 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5155/statm): 174 3 169 147 0 27 0
[pid=5155] 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=5156
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=5156) exited with status: 0
New process pid=5157
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=5157) exited with status: 0
New process pid=5158
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/wulflinc13/normalized-ii32b3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0038 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 327 0 0 0 740 85 0 0 21 0 1 0 1784773786 2580480 297 4294967295 134512640 134702520 3221223968 3221223044 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 630 297 413 48 0 582 0
[pid=5158] vsize: 2520
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (Kb) 4648
[startup+20.0045 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 502 0 0 0 1561 146 0 0 25 0 1 0 1784773786 4276224 472 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1044 472 413 48 0 996 0
[pid=5158] vsize: 4176
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (Kb) 6304
[startup+30.0051 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 837 0 0 0 2465 180 0 0 17 0 1 0 1784773786 4612096 807 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1126 807 413 48 0 1078 0
[pid=5158] vsize: 4504
Current children cumulated CPU time (s) 26.46
Current children cumulated vsize (Kb) 6632
[startup+40.0058 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 864 0 0 0 3364 216 0 0 25 0 1 0 1784773786 4747264 834 4294967295 134512640 134702520 3221223968 3221222864 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1159 834 413 48 0 1111 0
[pid=5158] vsize: 4636
Current children cumulated CPU time (s) 35.81
Current children cumulated vsize (Kb) 6764
[startup+50.0064 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 885 0 0 0 4258 252 0 0 17 0 1 0 1784773786 4751360 855 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1160 855 413 48 0 1112 0
[pid=5158] vsize: 4640
Current children cumulated CPU time (s) 45.11
Current children cumulated vsize (Kb) 6768
[startup+60.0071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 907 0 0 0 5166 284 0 0 25 0 1 0 1784773786 4886528 877 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1193 877 413 48 0 1145 0
[pid=5158] vsize: 4772
Current children cumulated CPU time (s) 54.51
Current children cumulated vsize (Kb) 6900
[startup+70.0087 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 928 0 0 0 6069 318 0 0 23 0 1 0 1784773786 4886528 898 4294967295 134512640 134702520 3221223968 3221223360 134604352 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1193 898 413 48 0 1145 0
[pid=5158] vsize: 4772
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (Kb) 6900
[startup+80.0094 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 929 0 0 0 6951 357 0 0 25 0 1 0 1784773786 4886528 899 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1193 899 413 48 0 1145 0
[pid=5158] vsize: 4772
Current children cumulated CPU time (s) 73.09
Current children cumulated vsize (Kb) 6900
[startup+90.0111 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 929 0 0 0 7826 399 0 0 25 0 1 0 1784773786 4886528 899 4294967295 134512640 134702520 3221223968 3221223228 134549068 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1193 899 413 48 0 1145 0
[pid=5158] vsize: 4772
Current children cumulated CPU time (s) 82.26
Current children cumulated vsize (Kb) 6900
[startup+100.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 936 0 0 0 8700 442 0 0 25 0 1 0 1784773786 5021696 906 4294967295 134512640 134702520 3221223968 3221222864 134552158 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1226 906 413 48 0 1178 0
[pid=5158] vsize: 4904
Current children cumulated CPU time (s) 91.43
Current children cumulated vsize (Kb) 7032
[startup+110.012 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 939 0 0 0 9579 484 0 0 18 0 1 0 1784773786 5025792 909 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1227 909 413 48 0 1179 0
[pid=5158] vsize: 4908
Current children cumulated CPU time (s) 100.64
Current children cumulated vsize (Kb) 7036
[startup+120.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 941 0 0 0 10480 517 0 0 25 0 1 0 1784773786 5025792 911 4294967295 134512640 134702520 3221223968 3221222864 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1227 911 413 48 0 1179 0
[pid=5158] vsize: 4908
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 7036
[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 942 0 0 0 11387 547 0 0 23 0 1 0 1784773786 5025792 912 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1227 912 413 48 0 1179 0
[pid=5158] vsize: 4908
Current children cumulated CPU time (s) 119.35
Current children cumulated vsize (Kb) 7036
[startup+140.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 947 0 0 0 12276 588 0 0 25 0 1 0 1784773786 5029888 917 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 917 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 128.65
Current children cumulated vsize (Kb) 7040
[startup+150.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 952 0 0 0 13152 630 0 0 24 0 1 0 1784773786 5029888 922 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 922 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 137.83
Current children cumulated vsize (Kb) 7040
[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 952 0 0 0 14075 655 0 0 25 0 1 0 1784773786 5029888 922 4294967295 134512640 134702520 3221223968 3221222864 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 922 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 147.31
Current children cumulated vsize (Kb) 7040
[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 954 0 0 0 14982 686 0 0 19 0 1 0 1784773786 5029888 924 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1228 924 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 156.69
Current children cumulated vsize (Kb) 7040
[startup+180.018 s]
Raw data (loadavg): 1.08 1.02 1.01 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 959 0 0 0 15865 725 0 0 18 0 1 0 1784773786 5029888 929 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1228 929 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 165.91
Current children cumulated vsize (Kb) 7040
[startup+190.019 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 960 0 0 0 16762 761 0 0 25 0 1 0 1784773786 5029888 930 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1228 930 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 175.24
Current children cumulated vsize (Kb) 7040
[startup+200.019 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 960 0 0 0 17697 781 0 0 25 0 1 0 1784773786 5029888 930 4294967295 134512640 134702520 3221223968 3221222864 134552354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 930 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 184.79
Current children cumulated vsize (Kb) 7040
[startup+210.02 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 962 0 0 0 18603 817 0 0 18 0 1 0 1784773786 5029888 932 4294967295 134512640 134702520 3221223968 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 932 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 194.21
Current children cumulated vsize (Kb) 7040
[startup+220.021 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 965 0 0 0 19502 852 0 0 25 0 1 0 1784773786 5165056 935 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1261 935 413 48 0 1213 0
[pid=5158] vsize: 5044
Current children cumulated CPU time (s) 203.55
Current children cumulated vsize (Kb) 7172
[startup+230.02 s]
Raw data (loadavg): 1.11 1.03 1.01 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 970 0 0 0 20382 891 0 0 24 0 1 0 1784773786 5160960 940 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 940 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 212.74
Current children cumulated vsize (Kb) 7168
[startup+240.022 s]
Raw data (loadavg): 1.10 1.03 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 970 0 0 0 21343 906 0 0 25 0 1 0 1784773786 5160960 940 4294967295 134512640 134702520 3221223968 3221222864 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 940 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 222.5
Current children cumulated vsize (Kb) 7168
[startup+250.024 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 972 0 0 0 22266 932 0 0 25 0 1 0 1784773786 5160960 942 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 942 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 231.99
Current children cumulated vsize (Kb) 7168
[startup+260.024 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 974 0 0 0 23152 969 0 0 25 0 1 0 1784773786 5160960 944 4294967295 134512640 134702520 3221223968 3221222864 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 944 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 241.22
Current children cumulated vsize (Kb) 7168
[startup+270.025 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 981 0 0 0 24032 1013 0 0 24 0 1 0 1784773786 5160960 951 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 951 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 250.46
Current children cumulated vsize (Kb) 7168
[startup+280.026 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 982 0 0 0 24956 1039 0 0 21 0 1 0 1784773786 5160960 952 4294967295 134512640 134702520 3221223968 3221222864 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1260 952 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 259.96
Current children cumulated vsize (Kb) 7168
[startup+290.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 982 0 0 0 25917 1053 0 0 25 0 1 0 1784773786 5160960 952 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 952 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 269.71
Current children cumulated vsize (Kb) 7168
[startup+300.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 983 0 0 0 26816 1089 0 0 25 0 1 0 1784773786 5160960 953 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 953 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 279.06
Current children cumulated vsize (Kb) 7168
[startup+310.029 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 987 0 0 0 27676 1136 0 0 20 0 1 0 1784773786 5160960 957 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 957 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 288.13
Current children cumulated vsize (Kb) 7168
[startup+320.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 989 0 0 0 28560 1177 0 0 20 0 1 0 1784773786 5160960 959 4294967295 134512640 134702520 3221223968 3221223088 134584454 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 959 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 297.38
Current children cumulated vsize (Kb) 7168
[startup+330.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 990 0 0 0 29519 1192 0 0 19 0 1 0 1784773786 5160960 960 4294967295 134512640 134702520 3221223968 3221222864 134552426 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1260 960 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 307.12
Current children cumulated vsize (Kb) 7168
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5158) exited with status: 2
New process pid=5159
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5159) exited with status: 0
New process pid=5160
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+340.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 274 0 0 0 282 7 0 0 25 0 1 0 1784807485 2502656 245 4294967295 134512640 134702520 3221223712 3221222848 134553097 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 611 245 413 48 0 563 0
[pid=5160] vsize: 2444
Current children cumulated CPU time (s) 316.81
Current children cumulated vsize (Kb) 4572
[startup+350.031 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 277 0 0 0 1231 25 0 0 25 0 1 0 1784807485 2502656 248 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 611 248 413 48 0 563 0
[pid=5160] vsize: 2444
Current children cumulated CPU time (s) 326.48
Current children cumulated vsize (Kb) 4572
[startup+360.032 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 640 0 0 0 2127 62 0 0 17 0 1 0 1784807485 3989504 611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 974 611 413 48 0 926 0
[pid=5160] vsize: 3896
Current children cumulated CPU time (s) 335.81
Current children cumulated vsize (Kb) 6024
[startup+370.032 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 660 0 0 0 2985 112 0 0 18 0 1 0 1784807485 3989504 631 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 974 631 413 48 0 926 0
[pid=5160] vsize: 3896
Current children cumulated CPU time (s) 344.89
Current children cumulated vsize (Kb) 6024
[startup+380.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 664 0 0 0 3935 131 0 0 25 0 1 0 1784807485 3989504 635 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 974 635 413 48 0 926 0
[pid=5160] vsize: 3896
Current children cumulated CPU time (s) 354.58
Current children cumulated vsize (Kb) 6024
[startup+390.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 668 0 0 0 4865 155 0 0 18 0 1 0 1784807485 4124672 639 4294967295 134512640 134702520 3221223712 3221222992 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 639 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 364.12
Current children cumulated vsize (Kb) 6156
[startup+400.035 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 674 0 0 0 5722 202 0 0 19 0 1 0 1784807485 4124672 645 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 645 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 373.16
Current children cumulated vsize (Kb) 6156
[startup+410.036 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 678 0 0 0 6649 226 0 0 25 0 1 0 1784807485 4124672 649 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 649 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 382.67
Current children cumulated vsize (Kb) 6156
[startup+420.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 678 0 0 0 7600 243 0 0 23 0 1 0 1784807485 4124672 649 4294967295 134512640 134702520 3221223712 3221222992 134552197 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 649 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 392.35
Current children cumulated vsize (Kb) 6156
[startup+430.037 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 684 0 0 0 8462 288 0 0 19 0 1 0 1784807485 4124672 655 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 655 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 401.42
Current children cumulated vsize (Kb) 6156
[startup+440.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 689 0 0 0 9343 329 0 0 25 0 1 0 1784807485 4124672 660 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 660 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 410.64
Current children cumulated vsize (Kb) 6156
[startup+450.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 689 0 0 0 10301 341 0 0 25 0 1 0 1784807485 4124672 660 4294967295 134512640 134702520 3221223712 3221222608 134552217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 660 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 420.34
Current children cumulated vsize (Kb) 6156
[startup+460.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 692 0 0 0 11198 375 0 0 21 0 1 0 1784807485 4124672 663 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 663 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 429.65
Current children cumulated vsize (Kb) 6156
[startup+470.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 698 0 0 0 12051 424 0 0 20 0 1 0 1784807485 4124672 669 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 669 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 438.67
Current children cumulated vsize (Kb) 6156
[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 700 0 0 0 12977 449 0 0 25 0 1 0 1784807485 4124672 671 4294967295 134512640 134702520 3221223712 3221222608 134550747 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 671 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 448.18
Current children cumulated vsize (Kb) 6156
[startup+490.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 700 0 0 0 13909 473 0 0 21 0 1 0 1784807485 4124672 671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 671 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 457.74
Current children cumulated vsize (Kb) 6156
[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 707 0 0 0 14776 517 0 0 17 0 1 0 1784807485 4259840 678 4294967295 134512640 134702520 3221223712 3221222832 134578979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 678 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 466.85
Current children cumulated vsize (Kb) 6288
[startup+510.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 712 0 0 0 15636 565 0 0 25 0 1 0 1784807485 4259840 683 4294967295 134512640 134702520 3221223712 3221222608 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 683 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 475.93
Current children cumulated vsize (Kb) 6288
[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 712 0 0 0 16594 583 0 0 25 0 1 0 1784807485 4259840 683 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 683 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 485.69
Current children cumulated vsize (Kb) 6288
[startup+530.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 722 0 0 0 17478 622 0 0 25 0 1 0 1784807485 4259840 693 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 693 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 494.92
Current children cumulated vsize (Kb) 6288
[startup+540.047 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 729 0 0 0 18322 676 0 0 20 0 1 0 1784807485 4259840 700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 700 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 503.9
Current children cumulated vsize (Kb) 6288
[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 740 0 0 0 19164 728 0 0 19 0 1 0 1784807485 4395008 711 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1073 711 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 512.84
Current children cumulated vsize (Kb) 6420
[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 742 0 0 0 20087 756 0 0 25 0 1 0 1784807485 4395008 713 4294967295 134512640 134702520 3221223712 3221222608 134553177 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1073 713 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (Kb) 6420
[startup+570.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 742 0 0 0 21016 779 0 0 21 0 1 0 1784807485 4395008 713 4294967295 134512640 134702520 3221223712 3221222736 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1073 713 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 531.87
Current children cumulated vsize (Kb) 6420
[startup+580.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 750 0 0 0 21845 835 0 0 19 0 1 0 1784807485 4395008 721 4294967295 134512640 134702520 3221223712 3221222832 134584563 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1073 721 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 540.72
Current children cumulated vsize (Kb) 6420
[startup+590.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 764 0 0 0 22662 893 0 0 25 0 1 0 1784807485 4395008 735 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1073 735 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 549.47
Current children cumulated vsize (Kb) 6420
[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 778 0 0 0 23495 948 0 0 22 0 1 0 1784807485 4530176 749 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1106 749 413 48 0 1058 0
[pid=5160] vsize: 4424
Current children cumulated CPU time (s) 558.35
Current children cumulated vsize (Kb) 6552
[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 785 0 0 0 24392 981 0 0 25 0 1 0 1784807485 4530176 756 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1106 756 413 48 0 1058 0
[pid=5160] vsize: 4424
Current children cumulated CPU time (s) 567.65
Current children cumulated vsize (Kb) 6552
[startup+620.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 785 0 0 0 25214 1039 0 0 20 0 1 0 1784807485 4530176 756 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1106 756 413 48 0 1058 0
[pid=5160] vsize: 4424
Current children cumulated CPU time (s) 576.45
Current children cumulated vsize (Kb) 6552
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5160) exited with status: 2
New process pid=5161
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5161) exited with status: 0
New process pid=5162
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
One traced child (pid=5162) exited with status: 0
New process pid=5163
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
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 /oldhome/oroussel/tmp/wulflinc13/normalized-ii32b3.opb
One traced child (pid=5163) exited with status: 0
New process pid=5164
One traced child (pid=5164) exited with status: 127
New process pid=5165
New process pid=5166
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/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1517/stat
open syscall for file /proc/1517/status
open syscall for file /proc/1517/cmdline
open syscall for file /proc/1517/environ
open syscall for file /proc/1541/stat
open syscall for file /proc/1541/status
open syscall for file /proc/1541/cmdline
open syscall for file /proc/1541/environ
open syscall for file /proc/1564/stat
open syscall for file /proc/1564/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/1564/cmdline
open syscall for file /proc/1564/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/22415/stat
open syscall for file /proc/22415/status
open syscall for file /proc/22415/cmdline
open syscall for file /proc/22415/environ
open syscall for file /proc/26525/stat
open syscall for file /proc/26525/status
open syscall for file /proc/26525/cmdline
open syscall for file /proc/26525/environ
open syscall for file /proc/26552/stat
open syscall for file /proc/26552/status
open syscall for file /proc/26552/cmdline
open syscall for file /proc/26552/environ
open syscall for file /proc/26576/stat
open syscall for file /proc/26576/status
open syscall for file /proc/26576/cmdline
open syscall for file /proc/26576/environ
open syscall for file /proc/16566/stat
open syscall for file /proc/16566/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/16566/cmdline
open syscall for file /proc/16566/environ
open syscall for file /proc/16602/stat
open syscall for file /proc/16602/status
open syscall for file /proc/16602/cmdline
open syscall for file /proc/16602/environ
open syscall for file /proc/1333/stat
open syscall for file /proc/1333/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/1333/cmdline
open syscall for file /proc/1333/environ
open syscall for file /proc/1334/stat
open syscall for file /proc/1334/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/1334/cmdline
open syscall for file /proc/1334/environ
open syscall for file /proc/1343/stat
open syscall for file /proc/1343/status
open syscall for file /proc/1343/cmdline
open syscall for file /proc/1343/environ
open syscall for file /proc/5118/stat
open syscall for file /proc/5118/status
open syscall for file /proc/5118/cmdline
open syscall for file /proc/5118/environ
open syscall for file /proc/5154/stat
open syscall for file /proc/5154/status
open syscall for file /proc/5154/cmdline
open syscall for file /proc/5154/environ
open syscall for file /proc/5155/stat
open syscall for file /proc/5155/status
open syscall for file /proc/5155/cmdline
open syscall for file /proc/5155/environ
open syscall for file /proc/5165/stat
open syscall for file /proc/5165/status
open syscall for file /proc/5165/cmdline
open syscall for file /proc/5165/environ
open syscall for file /proc/5166/stat
open syscall for file /proc/5166/status
open syscall for file /proc/5166/cmdline
open syscall for file /proc/5166/environ
One traced child (pid=5165) exited with status: 0
One traced child (pid=5166) exited with status: 0
New process pid=5167
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=5167) exited with status: 0
New process pid=5168
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=5168) exited with status: 0
One traced child (pid=5155) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 627.317
CPU time (s): 581.297
CPU user time (s): 557.822
CPU system time (s): 23.4744
CPU usage (%): 92.6639
Max. virtual memory (cumulated for all children) (Kb): 7172