1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 238; #end-nodes: 73;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 73 / 213 (80)
#axs: 14728, #non-axs: 69
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: 986 (861:>=*);
#decisions: 230954; #end-nodes: 152969;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 263 (247)
#axs: 15287, #non-axs: 1044
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:) 986 (861:>=*)
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: 176 (#equs: 559)
Time taken: 5 min, 39 sec
2:
seed: 0
Nr of vars set: 176 (#equs: 0)
Nr of vars set: 176 (#equs: 97)
#decisions: 210087; #end-nodes: 138787;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 287 (287)
#axs: 5101, #non-axs: 858
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: 176 (#equs: 383)
Time taken: 4 min, 8 sec
3:
seed: 0
Nr of vars set: 176 (#equs: 0)
Nr of vars set: 176 (#equs: 17)
#decisions: 279110; #end-nodes: 198045;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 351 (351)
#axs: 4728, #non-axs: 836
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: 176 (#equs: 205)
Time taken: 4 min, 30 sec
4:
seed: 0
Nr of vars set: 176 (#equs: 0)
Nr of vars set: 176 (#equs: 41)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 176 (#equs: 41)
Time taken: 5 min, 47 sec
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/23621/stat): 23621 (vallstSAT2005PB) R 23620 23621 19818 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1842922633 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23621/statm): 174 3 169 147 0 27 0
[pid=23621] 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=23622
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=23622) exited with status: 0
New process pid=23623
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=23623) exited with status: 0
New process pid=23624
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/wulflinc29/normalized-ii16c2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0038 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 482 0 0 0 846 48 0 0 25 0 1 0 1842922642 3416064 452 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 834 452 413 48 0 786 0
[pid=23624] vsize: 3336
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (Kb) 5464
[startup+20.0056 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 581 0 0 0 1722 92 0 0 25 0 1 0 1842922642 5976064 551 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1459 551 413 48 0 1411 0
[pid=23624] vsize: 5836
Current children cumulated CPU time (s) 18.16
Current children cumulated vsize (Kb) 7964
[startup+30.0064 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1188 0 0 0 2686 106 0 0 25 0 1 0 1842922642 6111232 1158 4294967295 134512640 134702520 3221223968 3221223248 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1492 1158 413 48 0 1444 0
[pid=23624] vsize: 5968
Current children cumulated CPU time (s) 27.94
Current children cumulated vsize (Kb) 8096
[startup+40.0071 s]
Raw data (loadavg): 0.96 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1221 0 0 0 3639 122 0 0 25 0 1 0 1842922642 6266880 1191 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1530 1191 413 48 0 1482 0
[pid=23624] vsize: 6120
Current children cumulated CPU time (s) 37.63
Current children cumulated vsize (Kb) 8248
[startup+50.0079 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1250 0 0 0 4592 139 0 0 25 0 1 0 1842922642 6266880 1220 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1530 1220 413 48 0 1482 0
[pid=23624] vsize: 6120
Current children cumulated CPU time (s) 47.33
Current children cumulated vsize (Kb) 8248
[startup+60.0087 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1295 0 0 0 5554 151 0 0 25 0 1 0 1842922642 6742016 1265 4294967295 134512640 134702520 3221223968 3221223248 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1646 1265 413 48 0 1598 0
[pid=23624] vsize: 6584
Current children cumulated CPU time (s) 57.07
Current children cumulated vsize (Kb) 8712
[startup+70.0105 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1308 0 0 0 6506 167 0 0 25 0 1 0 1842922642 6742016 1278 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1646 1278 413 48 0 1598 0
[pid=23624] vsize: 6584
Current children cumulated CPU time (s) 66.75
Current children cumulated vsize (Kb) 8712
[startup+80.0113 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1319 0 0 0 7449 186 0 0 25 0 1 0 1842922642 6881280 1289 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1680 1289 413 48 0 1632 0
[pid=23624] vsize: 6720
Current children cumulated CPU time (s) 76.37
Current children cumulated vsize (Kb) 8848
[startup+90.012 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1320 0 0 0 8419 197 0 0 25 0 1 0 1842922642 6881280 1290 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1680 1290 413 48 0 1632 0
[pid=23624] vsize: 6720
Current children cumulated CPU time (s) 86.18
Current children cumulated vsize (Kb) 8848
[startup+100.013 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1321 0 0 0 9377 210 0 0 25 0 1 0 1842922642 6873088 1291 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1291 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 95.89
Current children cumulated vsize (Kb) 8840
[startup+110.014 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1331 0 0 0 10324 230 0 0 25 0 1 0 1842922642 6873088 1301 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1301 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 105.56
Current children cumulated vsize (Kb) 8840
[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1334 0 0 0 11259 254 0 0 25 0 1 0 1842922642 6873088 1304 4294967295 134512640 134702520 3221223968 3221222864 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1304 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 115.15
Current children cumulated vsize (Kb) 8840
[startup+130.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1337 0 0 0 12194 275 0 0 25 0 1 0 1842922642 6873088 1307 4294967295 134512640 134702520 3221223968 3221222864 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1307 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 124.71
Current children cumulated vsize (Kb) 8840
[startup+140.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1337 0 0 0 13170 283 0 0 25 0 1 0 1842922642 6873088 1307 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1307 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 134.55
Current children cumulated vsize (Kb) 8840
[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1338 0 0 0 14116 302 0 0 25 0 1 0 1842922642 6873088 1308 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1308 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 144.2
Current children cumulated vsize (Kb) 8840
[startup+160.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1340 0 0 0 15049 325 0 0 25 0 1 0 1842922642 6873088 1310 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1310 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 153.76
Current children cumulated vsize (Kb) 8840
[startup+170.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1342 0 0 0 15986 347 0 0 25 0 1 0 1842922642 6873088 1312 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1312 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 163.35
Current children cumulated vsize (Kb) 8840
[startup+180.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1342 0 0 0 16964 355 0 0 25 0 1 0 1842922642 6873088 1312 4294967295 134512640 134702520 3221223968 3221222844 134548988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1312 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 173.21
Current children cumulated vsize (Kb) 8840
[startup+190.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1342 0 0 0 17923 369 0 0 25 0 1 0 1842922642 6873088 1312 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1312 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 182.94
Current children cumulated vsize (Kb) 8840
[startup+200.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1342 0 0 0 18872 387 0 0 25 0 1 0 1842922642 6873088 1312 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1312 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 192.61
Current children cumulated vsize (Kb) 8840
[startup+210.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1344 0 0 0 19820 402 0 0 25 0 1 0 1842922642 6873088 1314 4294967295 134512640 134702520 3221223968 3221222992 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1314 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (Kb) 8840
[startup+220.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1347 0 0 0 20803 409 0 0 25 0 1 0 1842922642 6873088 1317 4294967295 134512640 134702520 3221223968 3221222864 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1317 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 212.14
Current children cumulated vsize (Kb) 8840
[startup+230.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1347 0 0 0 21759 425 0 0 25 0 1 0 1842922642 6873088 1317 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1317 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 221.86
Current children cumulated vsize (Kb) 8840
[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1348 0 0 0 22705 444 0 0 25 0 1 0 1842922642 6873088 1318 4294967295 134512640 134702520 3221223968 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1318 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 231.51
Current children cumulated vsize (Kb) 8840
[startup+250.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1351 0 0 0 23651 462 0 0 25 0 1 0 1842922642 7008256 1321 4294967295 134512640 134702520 3221223968 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1321 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 241.15
Current children cumulated vsize (Kb) 8972
[startup+260.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1354 0 0 0 24635 466 0 0 25 0 1 0 1842922642 7008256 1324 4294967295 134512640 134702520 3221223968 3221222840 134564367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1711 1324 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 251.03
Current children cumulated vsize (Kb) 8972
[startup+270.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1354 0 0 0 25593 481 0 0 25 0 1 0 1842922642 7008256 1324 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1324 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 260.76
Current children cumulated vsize (Kb) 8972
[startup+280.026 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1355 0 0 0 26536 502 0 0 25 0 1 0 1842922642 7008256 1325 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1325 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 270.4
Current children cumulated vsize (Kb) 8972
[startup+290.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1357 0 0 0 27475 522 0 0 25 0 1 0 1842922642 7008256 1327 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1711 1327 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 8972
[startup+300.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1359 0 0 0 28460 527 0 0 25 0 1 0 1842922642 7008256 1329 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1329 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 289.89
Current children cumulated vsize (Kb) 8972
[startup+310.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1359 0 0 0 29426 540 0 0 25 0 1 0 1842922642 7008256 1329 4294967295 134512640 134702520 3221223968 3221222976 134553203 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1329 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 299.68
Current children cumulated vsize (Kb) 8972
[startup+320.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1359 0 0 0 30374 559 0 0 25 0 1 0 1842922642 7008256 1329 4294967295 134512640 134702520 3221223968 3221222992 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1329 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 309.35
Current children cumulated vsize (Kb) 8972
[startup+330.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1361 0 0 0 31317 578 0 0 25 0 1 0 1842922642 7008256 1331 4294967295 134512640 134702520 3221223968 3221222992 134550369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1711 1331 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 318.97
Current children cumulated vsize (Kb) 8972
[startup+340.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1363 0 0 0 32281 592 0 0 25 0 1 0 1842922642 7008256 1333 4294967295 134512640 134702520 3221223968 3221222864 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1333 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 328.75
Current children cumulated vsize (Kb) 8972
[startup+350.033 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1363 0 0 0 33267 597 0 0 25 0 1 0 1842922642 7008256 1333 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1333 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 338.66
Current children cumulated vsize (Kb) 8972
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=23624) exited with status: 2
New process pid=23625
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=23625) exited with status: 0
New process pid=23626
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+360.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 341 0 0 0 818 11 0 0 25 0 1 0 1842957787 3207168 312 4294967295 134512640 134702520 3221223712 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 783 312 413 48 0 735 0
[pid=23626] vsize: 3132
Current children cumulated CPU time (s) 348.38
Current children cumulated vsize (Kb) 5260
[startup+370.035 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 594 0 0 0 1771 28 0 0 25 0 1 0 1842957787 5640192 565 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1377 565 413 48 0 1329 0
[pid=23626] vsize: 5508
Current children cumulated CPU time (s) 358.08
Current children cumulated vsize (Kb) 7636
[startup+380.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 643 0 0 0 2689 54 0 0 25 0 1 0 1842957787 5779456 614 4294967295 134512640 134702520 3221223712 3221222832 134578971 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23626/statm): 1411 614 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 367.52
Current children cumulated vsize (Kb) 7772
[startup+390.036 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 3633 73 0 0 25 0 1 0 1842957787 5779456 639 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 639 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 377.15
Current children cumulated vsize (Kb) 7772
[startup+400.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 4600 85 0 0 25 0 1 0 1842957787 5779456 639 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 639 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 386.94
Current children cumulated vsize (Kb) 7772
[startup+410.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 975 0 0 0 5511 114 0 0 25 0 1 0 1842957787 5779456 946 4294967295 134512640 134702520 3221223712 3221222832 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23626/statm): 1411 946 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 396.34
Current children cumulated vsize (Kb) 7772
[startup+420.039 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 979 0 0 0 6442 137 0 0 25 0 1 0 1842957787 5779456 950 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 950 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 405.88
Current children cumulated vsize (Kb) 7772
[startup+430.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 980 0 0 0 7402 150 0 0 25 0 1 0 1842957787 5779456 951 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 951 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 415.61
Current children cumulated vsize (Kb) 7772
[startup+440.04 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 984 0 0 0 8322 179 0 0 25 0 1 0 1842957787 5779456 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 955 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 425.1
Current children cumulated vsize (Kb) 7772
[startup+450.041 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 989 0 0 0 9241 206 0 0 25 0 1 0 1842957787 5906432 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 960 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 434.56
Current children cumulated vsize (Kb) 7896
[startup+460.042 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 990 0 0 0 10204 218 0 0 25 0 1 0 1842957787 5906432 961 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 961 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 444.31
Current children cumulated vsize (Kb) 7896
[startup+470.043 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 992 0 0 0 11152 236 0 0 25 0 1 0 1842957787 5906432 963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 963 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 453.97
Current children cumulated vsize (Kb) 7896
[startup+480.044 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 996 0 0 0 12067 264 0 0 25 0 1 0 1842957787 5906432 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 967 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 463.4
Current children cumulated vsize (Kb) 7896
[startup+490.044 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 999 0 0 0 12999 286 0 0 18 0 1 0 1842957787 5906432 970 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 970 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 472.94
Current children cumulated vsize (Kb) 7896
[startup+500.045 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 999 0 0 0 13961 300 0 0 25 0 1 0 1842957787 5906432 970 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 970 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 482.7
Current children cumulated vsize (Kb) 7896
[startup+510.046 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1003 0 0 0 14873 328 0 0 25 0 1 0 1842957787 5906432 974 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 974 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 492.1
Current children cumulated vsize (Kb) 7896
[startup+520.047 s]
Raw data (loadavg): 1.09 1.02 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1006 0 0 0 15784 358 0 0 23 0 1 0 1842957787 5906432 977 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 977 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 501.51
Current children cumulated vsize (Kb) 7896
[startup+530.047 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1007 0 0 0 16749 370 0 0 25 0 1 0 1842957787 5906432 978 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 978 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 511.28
Current children cumulated vsize (Kb) 7896
[startup+540.048 s]
Raw data (loadavg): 1.14 1.03 1.01 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1009 0 0 0 17701 387 0 0 25 0 1 0 1842957787 5906432 980 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 980 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 520.97
Current children cumulated vsize (Kb) 7896
[startup+550.049 s]
Raw data (loadavg): 1.12 1.03 1.01 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1012 0 0 0 18611 417 0 0 25 0 1 0 1842957787 5906432 983 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 983 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 530.37
Current children cumulated vsize (Kb) 7896
[startup+560.05 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 1015 0 0 0 19537 444 0 0 25 0 1 0 1842957787 5906432 986 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 986 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 539.9
Current children cumulated vsize (Kb) 7896
[startup+570.052 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 1015 0 0 0 20503 456 0 0 25 0 1 0 1842957787 5906432 986 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 986 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 549.68
Current children cumulated vsize (Kb) 7896
[startup+580.052 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 1018 0 0 0 21428 481 0 0 25 0 1 0 1842957787 6041600 989 4294967295 134512640 134702520 3221223712 3221222608 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1475 989 413 48 0 1427 0
[pid=23626] vsize: 5900
Current children cumulated CPU time (s) 559.18
Current children cumulated vsize (Kb) 8028
[startup+590.052 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1024 0 0 0 22332 513 0 0 25 0 1 0 1842957787 6029312 995 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1472 995 413 48 0 1424 0
[pid=23626] vsize: 5888
Current children cumulated CPU time (s) 568.54
Current children cumulated vsize (Kb) 8016
[startup+600.053 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 1028 0 0 0 23278 531 0 0 25 0 1 0 1842957787 6029312 999 4294967295 134512640 134702520 3221223712 3221222608 134556689 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1472 999 413 48 0 1424 0
[pid=23626] vsize: 5888
Current children cumulated CPU time (s) 578.18
Current children cumulated vsize (Kb) 8016
[startup+610.054 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1028 0 0 0 24248 540 0 0 25 0 1 0 1842957787 6029312 999 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1472 999 413 48 0 1424 0
[pid=23626] vsize: 5888
Current children cumulated CPU time (s) 587.97
Current children cumulated vsize (Kb) 8016
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=23626) exited with status: 2
New process pid=23627
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=23627) exited with status: 0
New process pid=23628
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+620.054 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 346 0 0 0 910 16 0 0 25 0 1 0 1842983682 2682880 318 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 655 318 413 48 0 607 0
[pid=23628] vsize: 2620
Current children cumulated CPU time (s) 597.56
Current children cumulated vsize (Kb) 4748
[startup+630.055 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 644 0 0 0 1830 46 0 0 25 0 1 0 1842983682 3944448 616 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 963 616 413 48 0 915 0
[pid=23628] vsize: 3852
Current children cumulated CPU time (s) 607.06
Current children cumulated vsize (Kb) 5980
[startup+640.056 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 662 0 0 0 2718 84 0 0 18 0 1 0 1842983682 3960832 634 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 967 634 413 48 0 919 0
[pid=23628] vsize: 3868
Current children cumulated CPU time (s) 616.32
Current children cumulated vsize (Kb) 5996
[startup+650.057 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 666 0 0 0 3647 108 0 0 25 0 1 0 1842983682 3960832 638 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 967 638 413 48 0 919 0
[pid=23628] vsize: 3868
Current children cumulated CPU time (s) 625.85
Current children cumulated vsize (Kb) 5996
[startup+660.058 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 4565 136 0 0 24 0 1 0 1842983682 3960832 640 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 967 640 413 48 0 919 0
[pid=23628] vsize: 3868
Current children cumulated CPU time (s) 635.31
Current children cumulated vsize (Kb) 5996
[startup+670.058 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 678 0 0 0 5470 168 0 0 25 0 1 0 1842983682 4096000 650 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1000 650 413 48 0 952 0
[pid=23628] vsize: 4000
Current children cumulated CPU time (s) 644.68
Current children cumulated vsize (Kb) 6128
[startup+680.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) R 23621 23621 19818 0 -1 0 681 0 0 0 6384 195 0 0 25 0 1 0 1842983682 4083712 653 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23628/statm): 997 653 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 654.09
Current children cumulated vsize (Kb) 6116
[startup+690.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) R 23621 23621 19818 0 -1 0 681 0 0 0 7319 220 0 0 25 0 1 0 1842983682 4083712 653 4294967295 134512640 134702520 3221223712 3221222548 134549017 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23628/statm): 997 653 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 663.69
Current children cumulated vsize (Kb) 6116
[startup+700.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 688 0 0 0 8209 258 0 0 25 0 1 0 1842983682 4083712 660 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 660 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 672.97
Current children cumulated vsize (Kb) 6116
[startup+710.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 692 0 0 0 9106 290 0 0 25 0 1 0 1842983682 4083712 664 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 664 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 682.26
Current children cumulated vsize (Kb) 6116
[startup+720.063 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 692 0 0 0 10036 315 0 0 25 0 1 0 1842983682 4083712 664 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 664 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 691.81
Current children cumulated vsize (Kb) 6116
[startup+730.064 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 695 0 0 0 10941 347 0 0 18 0 1 0 1842983682 4083712 667 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 667 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 701.18
Current children cumulated vsize (Kb) 6116
[startup+740.065 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 699 0 0 0 11828 386 0 0 24 0 1 0 1842983682 4083712 671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 671 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 710.44
Current children cumulated vsize (Kb) 6116
[startup+750.067 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 700 0 0 0 12758 411 0 0 25 0 1 0 1842983682 4083712 672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 672 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 719.99
Current children cumulated vsize (Kb) 6116
[startup+760.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 702 0 0 0 13672 439 0 0 25 0 1 0 1842983682 4083712 674 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 674 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 729.41
Current children cumulated vsize (Kb) 6116
[startup+770.068 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 706 0 0 0 14565 476 0 0 25 0 1 0 1842983682 4083712 678 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23628/statm): 997 678 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 738.71
Current children cumulated vsize (Kb) 6116
[startup+780.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 710 0 0 0 15464 509 0 0 25 0 1 0 1842983682 4202496 682 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/23628/statm): 1026 682 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 748.03
Current children cumulated vsize (Kb) 6232
[startup+790.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 710 0 0 0 16391 536 0 0 25 0 1 0 1842983682 4202496 682 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 682 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 757.57
Current children cumulated vsize (Kb) 6232
[startup+800.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 714 0 0 0 17274 576 0 0 25 0 1 0 1842983682 4202496 686 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 686 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 766.8
Current children cumulated vsize (Kb) 6232
[startup+810.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 720 0 0 0 18163 617 0 0 25 0 1 0 1842983682 4202496 692 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 692 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 776.1
Current children cumulated vsize (Kb) 6232
[startup+820.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 720 0 0 0 19095 641 0 0 25 0 1 0 1842983682 4202496 692 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 692 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 785.66
Current children cumulated vsize (Kb) 6232
[startup+830.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 722 0 0 0 19999 673 0 0 25 0 1 0 1842983682 4202496 694 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 694 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 795.02
Current children cumulated vsize (Kb) 6232
[startup+840.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 727 0 0 0 20889 708 0 0 25 0 1 0 1842983682 4202496 699 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 699 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 804.27
Current children cumulated vsize (Kb) 6232
[startup+850.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 733 0 0 0 21791 741 0 0 25 0 1 0 1842983682 4202496 705 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 705 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 813.62
Current children cumulated vsize (Kb) 6232
[startup+860.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 733 0 0 0 22717 767 0 0 25 0 1 0 1842983682 4202496 705 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 705 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 823.14
Current children cumulated vsize (Kb) 6232
[startup+870.078 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 734 0 0 0 23599 806 0 0 24 0 1 0 1842983682 4202496 706 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23628/statm): 1026 706 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 832.35
Current children cumulated vsize (Kb) 6232
[startup+880.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) R 23621 23621 19818 0 -1 0 740 0 0 0 24491 843 0 0 25 0 1 0 1842983682 4333568 712 4294967295 134512640 134702520 3221223712 3221222832 134573846 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1058 712 413 48 0 1010 0
[pid=23628] vsize: 4232
Current children cumulated CPU time (s) 841.64
Current children cumulated vsize (Kb) 6360
[startup+890.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 742 0 0 0 25408 874 0 0 25 0 1 0 1842983682 4333568 714 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1058 714 413 48 0 1010 0
[pid=23628] vsize: 4232
Current children cumulated CPU time (s) 851.12
Current children cumulated vsize (Kb) 6360
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=23628) exited with status: 2
New process pid=23629
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=23629) exited with status: 0
New process pid=23630
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+900.081 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 164 10 0 0 25 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 860.52
Current children cumulated vsize (Kb) 4752
[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 981 74 0 0 23 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 869.33
Current children cumulated vsize (Kb) 4752
[startup+920.084 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 1786 141 0 0 23 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 878.05
Current children cumulated vsize (Kb) 4752
[startup+930.085 s]
Raw data (loadavg): 1.13 1.03 1.01 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 2583 212 0 0 22 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 886.73
Current children cumulated vsize (Kb) 4752
[startup+940.085 s]
Raw data (loadavg): 1.11 1.03 1.01 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 3385 281 0 0 22 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 895.44
Current children cumulated vsize (Kb) 4752
[startup+950.086 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 4188 344 0 0 22 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 904.1
Current children cumulated vsize (Kb) 4752
[startup+960.087 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 4987 411 0 0 23 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 912.76
Current children cumulated vsize (Kb) 4752
[startup+970.089 s]
Raw data (loadavg): 1.07 1.03 1.01 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 5792 481 0 0 21 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 921.51
Current children cumulated vsize (Kb) 4752
[startup+980.09 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 348 0 0 0 6721 504 0 0 25 0 1 0 1843012460 2686976 320 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 320 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 931.03
Current children cumulated vsize (Kb) 4752
[startup+990.09 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 348 0 0 0 7684 518 0 0 25 0 1 0 1843012460 2686976 320 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 320 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 940.8
Current children cumulated vsize (Kb) 4752
[startup+1000.09 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 348 0 0 0 8644 533 0 0 25 0 1 0 1843012460 2686976 320 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 320 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 950.55
Current children cumulated vsize (Kb) 4752
[startup+1010.09 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 636 0 0 0 9585 552 0 0 25 0 1 0 1843012460 3784704 608 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 924 608 413 48 0 876 0
[pid=23630] vsize: 3696
Current children cumulated CPU time (s) 960.15
Current children cumulated vsize (Kb) 5824
[startup+1020.09 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 653 0 0 0 10476 588 0 0 25 0 1 0 1843012460 3956736 625 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 625 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 969.42
Current children cumulated vsize (Kb) 5992
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 660 0 0 0 11368 627 0 0 25 0 1 0 1843012460 3956736 632 4294967295 134512640 134702520 3221223040 3221222320 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23630/statm): 966 632 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 978.73
Current children cumulated vsize (Kb) 5992
[startup+1040.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 12241 672 0 0 25 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 987.91
Current children cumulated vsize (Kb) 5992
[startup+1050.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 13048 739 0 0 23 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 996.65
Current children cumulated vsize (Kb) 5992
[startup+1060.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 13849 813 0 0 18 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1005.4
Current children cumulated vsize (Kb) 5992
[startup+1070.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 14648 884 0 0 22 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1014.1
Current children cumulated vsize (Kb) 5992
[startup+1080.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 15447 953 0 0 23 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1022.78
Current children cumulated vsize (Kb) 5992
[startup+1090.1 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 16243 1026 0 0 22 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1031.47
Current children cumulated vsize (Kb) 5992
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 17042 1091 0 0 22 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1040.11
Current children cumulated vsize (Kb) 5992
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 671 0 0 0 17856 1155 0 0 25 0 1 0 1843012460 3956736 643 4294967295 134512640 134702520 3221223040 3221221808 134552472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23630/statm): 966 643 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1048.89
Current children cumulated vsize (Kb) 5992
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 671 0 0 0 18826 1165 0 0 25 0 1 0 1843012460 3956736 643 4294967295 134512640 134702520 3221223040 3221221808 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 643 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1058.69
Current children cumulated vsize (Kb) 5992
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 671 0 0 0 19792 1176 0 0 25 0 1 0 1843012460 3956736 643 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 643 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1068.46
Current children cumulated vsize (Kb) 5992
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 671 0 0 0 20759 1188 0 0 25 0 1 0 1843012460 3956736 643 4294967295 134512640 134702520 3221223040 3221221808 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 643 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1078.25
Current children cumulated vsize (Kb) 5992
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 673 0 0 0 21694 1209 0 0 25 0 1 0 1843012460 3956736 645 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 645 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1087.81
Current children cumulated vsize (Kb) 5992
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 679 0 0 0 22578 1248 0 0 25 0 1 0 1843012460 3956736 651 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 651 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1097.04
Current children cumulated vsize (Kb) 5992
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 681 0 0 0 23465 1287 0 0 25 0 1 0 1843012460 4079616 653 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 653 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1106.3
Current children cumulated vsize (Kb) 6112
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 24332 1331 0 0 24 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1115.41
Current children cumulated vsize (Kb) 6112
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 25134 1402 0 0 22 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1124.14
Current children cumulated vsize (Kb) 6112
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 685 0 0 0 25943 1468 0 0 22 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221221936 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1132.89
Current children cumulated vsize (Kb) 6112
[startup+1210.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 26742 1537 0 0 21 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1141.57
Current children cumulated vsize (Kb) 6112
[startup+1220.11 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 27538 1605 0 0 22 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1150.21
Current children cumulated vsize (Kb) 6112
[startup+1230.11 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 28341 1668 0 0 23 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1158.87
Current children cumulated vsize (Kb) 6112
[startup+1240.11 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 29143 1734 0 0 21 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1167.55
Current children cumulated vsize (Kb) 6112
[startup+1250.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 686 0 0 0 29973 1796 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1176.47
Current children cumulated vsize (Kb) 6112
[startup+1260.11 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 686 0 0 0 30938 1808 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221221780 134548990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1186.24
Current children cumulated vsize (Kb) 6112
[startup+1270.12 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 686 0 0 0 31903 1820 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1196.01
Current children cumulated vsize (Kb) 6112
[startup+1280.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 686 0 0 0 32870 1832 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1205.8
Current children cumulated vsize (Kb) 6112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.12 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 686 0 0 0 32870 1832 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1205.8
Current children cumulated vsize (Kb) 6112
Sending SIGTERM to -23621
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=23632
New process pid=23633
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
One traced child (pid=23630) exited with status: 3
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18334/stat
open syscall for file /proc/18334/status
open syscall for file /proc/18334/cmdline
open syscall for file /proc/18334/environ
open syscall for file /proc/17268/stat
open syscall for file /proc/17268/status
open syscall for file /proc/17268/cmdline
open syscall for file /proc/17268/environ
open syscall for file /proc/17295/stat
open syscall for file /proc/17295/status
open syscall for file /proc/17295/cmdline
open syscall for file /proc/17295/environ
open syscall for file /proc/17319/stat
open syscall for file /proc/17319/status
open syscall for file /proc/17319/cmdline
open syscall for file /proc/17319/environ
open syscall for file /proc/23252/stat
open syscall for file /proc/23252/status
open syscall for file /proc/23252/cmdline
open syscall for file /proc/23252/environ
open syscall for file /proc/24296/stat
open syscall for file /proc/24296/status
open syscall for file /proc/24296/cmdline
open syscall for file /proc/24296/environ
open syscall for file /proc/1116/stat
open syscall for file /proc/1116/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/1116/cmdline
open syscall for file /proc/1116/environ
open syscall for file /proc/1151/stat
open syscall for file /proc/1151/status
open syscall for file /proc/1151/cmdline
open syscall for file /proc/1151/environ
open syscall for file /proc/19818/stat
open syscall for file /proc/19818/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/19818/cmdline
open syscall for file /proc/19818/environ
open syscall for file /proc/19819/stat
open syscall for file /proc/19819/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/19819/cmdline
open syscall for file /proc/19819/environ
open syscall for file /proc/19828/stat
open syscall for file /proc/19828/status
open syscall for file /proc/19828/cmdline
open syscall for file /proc/19828/environ
open syscall for file /proc/23584/stat
open syscall for file /proc/23584/status
open syscall for file /proc/23584/cmdline
open syscall for file /proc/23584/environ
open syscall for file /proc/23620/stat
open syscall for file /proc/23620/status
open syscall for file /proc/23620/cmdline
open syscall for file /proc/23620/environ
open syscall for file /proc/23621/stat
open syscall for file /proc/23621/status
open syscall for file /proc/23621/cmdline
open syscall for file /proc/23621/environ
open syscall for file /proc/23632/stat
open syscall for file /proc/23632/status
open syscall for file /proc/23632/cmdline
open syscall for file /proc/23632/environ
open syscall for file /proc/23633/stat
open syscall for file /proc/23633/status
open syscall for file /proc/23633/cmdline
open syscall for file /proc/23633/environ
One traced child (pid=23632) exited with status: 0
One traced child (pid=23633) exited with status: 0
New process pid=23634
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=23634) exited with status: 0
New process pid=23635
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=23635) exited with status: 0
One traced child (pid=23621) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.62
CPU time (s): 1205.97
CPU user time (s): 1167.15
CPU system time (s): 38.8171
CPU usage (%): 94.1709
Max. virtual memory (cumulated for all children) (Kb): 8972