1:
seed: 0
Nr of vars set: 11920 (#equs: 0)
Nr of vars set: 11920 (#equs: 0)
#decisions: 17749; #end-nodes: 8784;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 4027, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: 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: 11920 (#equs: 0)
Time taken: 6 min, 5 sec
2:
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/6425/stat): 6425 (vallstSAT2005PB) R 6424 6425 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20676192 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6425/statm): 174 3 169 147 0 27 0
[pid=6425] 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=6426
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=6426) exited with status: 0
New process pid=6427
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=6427) exited with status: 0
New process pid=6428
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/wulflinc24/normalized-mps-v2-13-7-siena1.opb
[startup+10.0029 s]
Raw data (loadavg): 1.01 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 2714 0 0 0 970 15 0 0 25 0 1 0 20676199 18485248 2555 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 4513 2555 413 48 0 4465 0
[pid=6428] vsize: 18052
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 20180
[startup+20.0036 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 3393 0 0 0 1963 19 0 0 25 0 1 0 20676199 19161088 3234 4294967295 134512640 134702520 3221223952 3221223364 134550206 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4678 3234 413 48 0 4630 0
[pid=6428] vsize: 18712
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 20840
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+30.0043 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 3881 0 0 0 2954 25 0 0 25 0 1 0 20676199 19283968 3605 4294967295 134512640 134702520 3221223952 3221098668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4708 3605 413 48 0 4660 0
[pid=6428] vsize: 18832
Current children cumulated CPU time (s) 29.81
Current children cumulated vsize (Kb) 20960
[startup+40.005 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 3924 0 0 0 3954 25 0 0 25 0 1 0 20676199 19460096 3648 4294967295 134512640 134702520 3221223952 3220925868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4751 3648 413 48 0 4703 0
[pid=6428] vsize: 19004
Current children cumulated CPU time (s) 39.81
Current children cumulated vsize (Kb) 21132
[startup+50.0067 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 3981 0 0 0 4954 25 0 0 25 0 1 0 20676199 19693568 3705 4294967295 134512640 134702520 3221223952 3220691008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4808 3705 413 48 0 4760 0
[pid=6428] vsize: 19232
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (Kb) 21360
[startup+60.0074 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4058 0 0 0 5954 26 0 0 25 0 1 0 20676199 20008960 3782 4294967295 134512640 134702520 3221223952 3220374048 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4885 3782 413 48 0 4837 0
[pid=6428] vsize: 19540
Current children cumulated CPU time (s) 59.82
Current children cumulated vsize (Kb) 21668
[startup+70.0071 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4173 0 0 0 6954 26 0 0 25 0 1 0 20676199 20480000 3897 4294967295 134512640 134702520 3221223952 3219906368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 5000 3897 413 48 0 4952 0
[pid=6428] vsize: 20000
Current children cumulated CPU time (s) 69.82
Current children cumulated vsize (Kb) 22128
[startup+80.0079 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 7942 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3221152348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 79.75
Current children cumulated vsize (Kb) 42400
[startup+90.0086 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 8942 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220926108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 89.75
Current children cumulated vsize (Kb) 42400
[startup+100.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 9942 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220662272 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 42400
[startup+110.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 10943 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220332348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 109.76
Current children cumulated vsize (Kb) 42400
[startup+120.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 11943 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3219819888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 119.76
Current children cumulated vsize (Kb) 42400
[startup+130.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 12929 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3221128188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 129.66
Current children cumulated vsize (Kb) 42400
[startup+140.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 13929 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220898448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 139.66
Current children cumulated vsize (Kb) 42400
[startup+150.012 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 14929 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220629308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 149.66
Current children cumulated vsize (Kb) 42400
[startup+160.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 15929 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220288208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 159.66
Current children cumulated vsize (Kb) 42400
[startup+170.012 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 16930 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3219723408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 169.67
Current children cumulated vsize (Kb) 42400
[startup+180.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 17919 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3221098128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 179.6
Current children cumulated vsize (Kb) 42400
[startup+190.014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 18920 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220864048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 189.61
Current children cumulated vsize (Kb) 42400
[startup+200.014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 19920 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220587388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 199.61
Current children cumulated vsize (Kb) 42400
[startup+210.015 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 20920 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220230928 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 209.61
Current children cumulated vsize (Kb) 42400
[startup+220.016 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 21920 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3219556848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 219.61
Current children cumulated vsize (Kb) 42400
[startup+230.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4383 0 0 0 22906 45 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3221057948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 229.53
Current children cumulated vsize (Kb) 42400
[startup+240.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4383 0 0 0 23906 45 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3220817488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 239.53
Current children cumulated vsize (Kb) 42400
[startup+250.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4383 0 0 0 24907 45 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3220530428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 249.54
Current children cumulated vsize (Kb) 42400
[startup+260.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4383 0 0 0 25907 45 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3220149968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 259.54
Current children cumulated vsize (Kb) 42400
[startup+270.019 s]
Raw data (loadavg): 1.00 0.97 0.99 1/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) T 6425 6425 4059 0 -1 0 4383 0 0 0 26899 48 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 269.49
Current children cumulated vsize (Kb) 42400
[startup+280.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 27893 50 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3221025328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 279.45
Current children cumulated vsize (Kb) 42400
[startup+290.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 28893 50 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220779568 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 289.45
Current children cumulated vsize (Kb) 42400
[startup+300.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 29893 50 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220483248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 299.45
Current children cumulated vsize (Kb) 42400
[startup+310.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 30893 50 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220079728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 309.45
Current children cumulated vsize (Kb) 42400
[startup+320.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 31882 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3221213628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 319.38
Current children cumulated vsize (Kb) 42400
[startup+330.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 32882 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220995728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 329.38
Current children cumulated vsize (Kb) 42400
[startup+340.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 33882 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220745008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 339.38
Current children cumulated vsize (Kb) 42400
[startup+350.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 34882 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220439548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 42400
[startup+360.023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 35883 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220011088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 359.39
Current children cumulated vsize (Kb) 42400
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=6428) exited with status: 2
New process pid=6429
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=6429) exited with status: 0
New process pid=6430
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+370.023 s]
Raw data (loadavg): 1.08 0.99 0.99 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 2525 0 0 0 204 13 0 0 25 0 1 0 20712973 15691776 2496 4294967295 134512640 134702520 3221223712 3221222976 1073964843 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 3831 2496 413 48 0 3783 0
[pid=6430] vsize: 15324
Current children cumulated CPU time (s) 369.24
Current children cumulated vsize (Kb) 17452
[startup+380.023 s]
Raw data (loadavg): 1.14 1.01 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3082 0 0 0 1200 17 0 0 25 0 1 0 20712973 16199680 3052 4294967295 134512640 134702520 3221223712 3221116348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 3955 3052 413 48 0 3907 0
[pid=6430] vsize: 15820
Current children cumulated CPU time (s) 379.24
Current children cumulated vsize (Kb) 17948
[startup+390.024 s]
Raw data (loadavg): 1.12 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3116 0 0 0 2200 17 0 0 25 0 1 0 20712973 16338944 3086 4294967295 134512640 134702520 3221223712 3220976848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 3989 3086 413 48 0 3941 0
[pid=6430] vsize: 15956
Current children cumulated CPU time (s) 389.24
Current children cumulated vsize (Kb) 18084
[startup+400.025 s]
Raw data (loadavg): 1.10 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3155 0 0 0 3200 17 0 0 25 0 1 0 20712973 16498688 3125 4294967295 134512640 134702520 3221223712 3220819548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 4028 3125 413 48 0 3980 0
[pid=6430] vsize: 16112
Current children cumulated CPU time (s) 399.24
Current children cumulated vsize (Kb) 18240
[startup+410.026 s]
Raw data (loadavg): 1.08 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3210 0 0 0 4200 17 0 0 25 0 1 0 20712973 16723968 3180 4294967295 134512640 134702520 3221223712 3220594608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 4083 3180 413 48 0 4035 0
[pid=6430] vsize: 16332
Current children cumulated CPU time (s) 409.24
Current children cumulated vsize (Kb) 18460
[startup+420.026 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3295 0 0 0 5200 17 0 0 25 0 1 0 20712973 17072128 3265 4294967295 134512640 134702520 3221223712 3220245148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 4168 3265 413 48 0 4120 0
[pid=6430] vsize: 16672
Current children cumulated CPU time (s) 419.24
Current children cumulated vsize (Kb) 18800
[startup+430.027 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3448 0 0 0 6200 17 0 0 25 0 1 0 20712973 17698816 3418 4294967295 134512640 134702520 3221223712 3219619088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 4321 3418 413 48 0 4273 0
[pid=6430] vsize: 17284
Current children cumulated CPU time (s) 429.24
Current children cumulated vsize (Kb) 19412
[startup+440.028 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 7182 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3221089868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 439.12
Current children cumulated vsize (Kb) 36316
[startup+450.029 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 8183 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3220854348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 449.13
Current children cumulated vsize (Kb) 36316
[startup+460.029 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 9183 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3220575648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 459.13
Current children cumulated vsize (Kb) 36316
[startup+470.029 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 10183 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3220214528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 469.13
Current children cumulated vsize (Kb) 36316
[startup+480.03 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 11183 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3219482028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 479.13
Current children cumulated vsize (Kb) 36316
[startup+490.03 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3619 0 0 0 12168 27 0 0 25 0 1 0 20712973 35008512 3587 4294967295 134512640 134702520 3221223712 3221076268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3587 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 489.02
Current children cumulated vsize (Kb) 36316
[startup+500.03 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3619 0 0 0 13168 27 0 0 25 0 1 0 20712973 35008512 3587 4294967295 134512640 134702520 3221223712 3220838668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3587 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 499.02
Current children cumulated vsize (Kb) 36316
[startup+510.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3619 0 0 0 14168 27 0 0 25 0 1 0 20712973 35008512 3587 4294967295 134512640 134702520 3221223712 3220556428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3587 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 509.02
Current children cumulated vsize (Kb) 36316
[startup+520.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3619 0 0 0 15168 27 0 0 25 0 1 0 20712973 35008512 3587 4294967295 134512640 134702520 3221223712 3220187308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3587 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 519.02
Current children cumulated vsize (Kb) 36316
[startup+530.032 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) T 6425 6425 4059 0 -1 0 3621 0 0 0 16166 28 0 0 25 0 1 0 20712973 35008512 3588 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3588 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 529.01
Current children cumulated vsize (Kb) 36316
[startup+540.032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3630 0 0 0 17154 33 0 0 25 0 1 0 20712973 35008512 3597 4294967295 134512640 134702520 3221223712 3221056608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3597 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 538.94
Current children cumulated vsize (Kb) 36316
[startup+550.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3630 0 0 0 18155 33 0 0 25 0 1 0 20712973 35008512 3597 4294967295 134512640 134702520 3221223712 3220815968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3597 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 548.95
Current children cumulated vsize (Kb) 36316
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3630 0 0 0 19155 33 0 0 25 0 1 0 20712973 35008512 3597 4294967295 134512640 134702520 3221223712 3220528428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3597 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 558.95
Current children cumulated vsize (Kb) 36316
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3630 0 0 0 20155 33 0 0 25 0 1 0 20712973 35008512 3597 4294967295 134512640 134702520 3221223712 3220146988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3597 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 568.95
Current children cumulated vsize (Kb) 36316
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) T 6425 6425 4059 0 -1 0 3632 0 0 0 21147 36 0 0 25 0 1 0 20712973 35143680 3598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3598 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 578.9
Current children cumulated vsize (Kb) 36448
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3633 0 0 0 22142 37 0 0 25 0 1 0 20712973 35143680 3599 4294967295 134512640 134702520 3221223712 3221030348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3599 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 588.86
Current children cumulated vsize (Kb) 36448
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3633 0 0 0 23143 37 0 0 25 0 1 0 20712973 35143680 3599 4294967295 134512640 134702520 3221223712 3220785388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3599 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 598.87
Current children cumulated vsize (Kb) 36448
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3633 0 0 0 24143 37 0 0 25 0 1 0 20712973 35143680 3599 4294967295 134512640 134702520 3221223712 3220490368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3599 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 608.87
Current children cumulated vsize (Kb) 36448
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3633 0 0 0 25143 37 0 0 25 0 1 0 20712973 35143680 3599 4294967295 134512640 134702520 3221223712 3220090368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3599 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 618.87
Current children cumulated vsize (Kb) 36448
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 26127 42 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3221170356 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 628.76
Current children cumulated vsize (Kb) 36448
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 6487
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 27127 43 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3221014688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 638.77
Current children cumulated vsize (Kb) 36448
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6489
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 28126 44 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3220770348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 648.77
Current children cumulated vsize (Kb) 36448
[startup+660.038 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 29126 44 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3220473868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 658.77
Current children cumulated vsize (Kb) 36448
[startup+670.038 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 30126 44 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3220065088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 668.77
Current children cumulated vsize (Kb) 36448
[startup+680.038 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 31111 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3220848908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 678.67
Current children cumulated vsize (Kb) 36448
[startup+690.038 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 32111 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3221006688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 688.67
Current children cumulated vsize (Kb) 36448
[startup+700.039 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 33112 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3220757728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 698.68
Current children cumulated vsize (Kb) 36448
[startup+710.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 34112 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3220455648 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 708.68
Current children cumulated vsize (Kb) 36448
[startup+720.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 35112 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3220036748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 718.68
Current children cumulated vsize (Kb) 36448
[startup+730.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 36098 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3221207968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 728.6
Current children cumulated vsize (Kb) 36448
[startup+740.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 37098 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3220989228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 738.6
Current children cumulated vsize (Kb) 36448
[startup+750.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 38098 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3220737248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 748.6
Current children cumulated vsize (Kb) 36448
[startup+760.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 39099 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3220429568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 758.61
Current children cumulated vsize (Kb) 36448
[startup+770.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 40099 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3219994668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 768.61
Current children cumulated vsize (Kb) 36448
[startup+780.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 41082 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3221189568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 778.5
Current children cumulated vsize (Kb) 36448
[startup+790.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 42082 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3220968448 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 788.5
Current children cumulated vsize (Kb) 36448
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 43083 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3220712588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 798.51
Current children cumulated vsize (Kb) 36448
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 44083 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3220398048 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 808.51
Current children cumulated vsize (Kb) 36448
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 45083 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3219941548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 818.51
Current children cumulated vsize (Kb) 36448
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 46066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3221180268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 828.4
Current children cumulated vsize (Kb) 36448
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 47066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3220958668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 838.4
Current children cumulated vsize (Kb) 36448
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 48066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3220704108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 848.4
Current children cumulated vsize (Kb) 36448
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 49066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3220390828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 858.4
Current children cumulated vsize (Kb) 36448
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 50066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3219935808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 868.4
Current children cumulated vsize (Kb) 36448
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 51044 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3221177708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 878.26
Current children cumulated vsize (Kb) 36448
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 52045 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3220954848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 888.27
Current children cumulated vsize (Kb) 36448
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 53045 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3220696428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 898.27
Current children cumulated vsize (Kb) 36448
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 54045 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3220377248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 908.27
Current children cumulated vsize (Kb) 36448
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 55045 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3219904608 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 918.27
Current children cumulated vsize (Kb) 36448
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 56031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3221179808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 928.19
Current children cumulated vsize (Kb) 36448
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 57031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3220957248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 938.19
Current children cumulated vsize (Kb) 36448
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 58031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3220699308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 948.19
Current children cumulated vsize (Kb) 36448
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 59031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3220380908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 958.19
Current children cumulated vsize (Kb) 36448
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 60031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3219911328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 968.19
Current children cumulated vsize (Kb) 36448
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 61012 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3221163488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 978.07
Current children cumulated vsize (Kb) 36448
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 62012 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3220938668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 988.07
Current children cumulated vsize (Kb) 36448
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 63013 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3220677408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 998.08
Current children cumulated vsize (Kb) 36448
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 64013 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3220352268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1008.08
Current children cumulated vsize (Kb) 36448
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 65013 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3219858348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1018.08
Current children cumulated vsize (Kb) 36448
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 65996 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3221154528 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1027.97
Current children cumulated vsize (Kb) 36448
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 66997 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3220928608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1037.98
Current children cumulated vsize (Kb) 36448
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 67997 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3220665228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1047.98
Current children cumulated vsize (Kb) 36448
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 68997 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3220336128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1057.98
Current children cumulated vsize (Kb) 36448
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 69997 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3219826688 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1067.98
Current children cumulated vsize (Kb) 36448
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 70978 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3221148608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1077.86
Current children cumulated vsize (Kb) 36448
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 71978 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3220921888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1087.86
Current children cumulated vsize (Kb) 36448
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 72979 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3220657248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1097.87
Current children cumulated vsize (Kb) 36448
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 73979 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3220325548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1107.87
Current children cumulated vsize (Kb) 36448
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 74979 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3219805228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1117.87
Current children cumulated vsize (Kb) 36448
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 75961 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3221158508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1127.75
Current children cumulated vsize (Kb) 36448
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 76961 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3220933068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1137.75
Current children cumulated vsize (Kb) 36448
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 77961 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3220670528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1147.75
Current children cumulated vsize (Kb) 36448
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 78962 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3220343308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1157.76
Current children cumulated vsize (Kb) 36448
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 79962 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3219840908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1167.76
Current children cumulated vsize (Kb) 36448
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 80943 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3221145708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1177.64
Current children cumulated vsize (Kb) 36448
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 81943 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3220918368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1187.64
Current children cumulated vsize (Kb) 36448
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 82944 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3220653068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1197.65
Current children cumulated vsize (Kb) 36448
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 83944 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3220319948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1207.65
Current children cumulated vsize (Kb) 36448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 83944 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3220319968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1207.65
Current children cumulated vsize (Kb) 36448
Sending SIGTERM to -6425
Sleeping 2 seconds
New process pid=6495
New process pid=6496
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/6386/stat
open syscall for file /proc/6386/status
open syscall for file /proc/6386/cmdline
open syscall for file /proc/6386/environ
open syscall for file /proc/6424/stat
open syscall for file /proc/6424/status
open syscall for file /proc/6424/cmdline
open syscall for file /proc/6424/environ
open syscall for file /proc/6425/stat
open syscall for file /proc/6425/status
open syscall for file /proc/6425/cmdline
open syscall for file /proc/6425/environ
open syscall for file /proc/6430/stat
open syscall for file /proc/6430/status
open syscall for file /proc/6430/cmdline
open syscall for file /proc/6430/environ
open syscall for file /proc/6495/stat
open syscall for file /proc/6495/status
open syscall for file /proc/6495/cmdline
open syscall for file /proc/6495/environ
open syscall for file /proc/6496/stat
open syscall for file /proc/6496/status
open syscall for file /proc/6496/cmdline
open syscall for file /proc/6496/environ
One traced child (pid=6495) exited with status: 0
One traced child (pid=6496) exited with status: 0
New process pid=6497
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=6497) exited with status: 0
New process pid=6498
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=6498) exited with status: 0
One traced child (pid=6425) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -6425
One traced child (pid=6430) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.08
CPU time (s): 842.6
CPU user time (s): 841.448
CPU system time (s): 1.15182
CPU usage (%): 69.5171
Max. virtual memory (cumulated for all children) (Kb): 42400