1:
seed: 0
Nr of vars set: 9552 (#equs: 0)
Nr of vars set: 9948 (#equs: 0)
#decisions: 49455; #end-nodes: 20079;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 1323, #non-axs: 3
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 28, end (keep): 46
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: 9954 (#equs: 0)
Time taken: 9 min, 13 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/5352/stat): 5352 (vallstSAT2005PB) R 5351 5352 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20034289 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5352/statm): 174 3 169 147 0 27 0
[pid=5352] 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=5353
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=5353) exited with status: 0
New process pid=5354
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=5354) exited with status: 0
New process pid=5355
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-qiu.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0034 s]
Raw data (loadavg): 0.87 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1082 0 0 0 985 4 0 0 25 0 1 0 20034296 5931008 986 4294967295 134512640 134702520 3221223952 3220991308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 1448 986 413 48 0 1400 0
[pid=5355] vsize: 5792
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (Kb) 7920
[startup+20.0041 s]
Raw data (loadavg): 0.89 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1161 0 0 0 1985 4 0 0 25 0 1 0 20034296 6254592 1065 4294967295 134512640 134702520 3221223952 3220665728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 1527 1065 413 48 0 1479 0
[pid=5355] vsize: 6108
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 8236
[startup+30.0049 s]
Raw data (loadavg): 0.91 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1282 0 0 0 2985 4 0 0 25 0 1 0 20034296 6750208 1186 4294967295 134512640 134702520 3221223952 3220170528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 1648 1186 413 48 0 1600 0
[pid=5355] vsize: 6592
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 8720
[startup+40.0057 s]
Raw data (loadavg): 0.92 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1439 0 0 0 3971 9 0 0 25 0 1 0 20034296 10764288 1343 4294967295 134512640 134702520 3221223952 3221123068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1343 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 12640
[startup+50.0065 s]
Raw data (loadavg): 0.93 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1439 0 0 0 4971 9 0 0 25 0 1 0 20034296 10764288 1343 4294967295 134512640 134702520 3221223952 3220925648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1343 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (Kb) 12640
[startup+60.0072 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1439 0 0 0 5972 9 0 0 25 0 1 0 20034296 10764288 1343 4294967295 134512640 134702520 3221223952 3220704848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1343 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 12640
[startup+70.008 s]
Raw data (loadavg): 0.95 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1439 0 0 0 6972 9 0 0 25 0 1 0 20034296 10764288 1343 4294967295 134512640 134702520 3221223952 3220350428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1343 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 69.83
Current children cumulated vsize (Kb) 12640
[startup+80.0088 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 7958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3221179888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 79.73
Current children cumulated vsize (Kb) 12640
[startup+90.0096 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 8958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220990428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 89.73
Current children cumulated vsize (Kb) 12640
[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 9958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220780368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 99.73
Current children cumulated vsize (Kb) 12640
[startup+110.01 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 10958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220514908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 109.73
Current children cumulated vsize (Kb) 12640
[startup+120.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 11958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3219739728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (Kb) 12640
[startup+130.013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 12945 18 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3221055728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 129.65
Current children cumulated vsize (Kb) 12640
[startup+140.013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 13945 18 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220851088 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 139.65
Current children cumulated vsize (Kb) 12640
[startup+150.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 14946 18 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220619868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 149.66
Current children cumulated vsize (Kb) 12640
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 15946 18 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220126288 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 159.66
Current children cumulated vsize (Kb) 12640
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 16931 23 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3221116028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 169.56
Current children cumulated vsize (Kb) 12640
[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 17932 23 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220917968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 179.57
Current children cumulated vsize (Kb) 12640
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 18932 23 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220696208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 189.57
Current children cumulated vsize (Kb) 12640
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 19932 23 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220331868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 199.57
Current children cumulated vsize (Kb) 12640
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 20916 29 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3221174268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 209.47
Current children cumulated vsize (Kb) 12640
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 21916 29 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220982128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 219.47
Current children cumulated vsize (Kb) 12640
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 22916 29 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220768848 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 229.47
Current children cumulated vsize (Kb) 12640
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 23917 29 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220488688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 239.48
Current children cumulated vsize (Kb) 12640
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 24907 33 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3221223232 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 249.42
Current children cumulated vsize (Kb) 12640
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 25899 36 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3221044208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 259.37
Current children cumulated vsize (Kb) 12640
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 26899 36 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220838288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 269.37
Current children cumulated vsize (Kb) 12640
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 27899 36 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220605328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 279.37
Current children cumulated vsize (Kb) 12640
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 28900 36 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220079388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 289.38
Current children cumulated vsize (Kb) 12640
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 29884 41 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3221106448 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 299.27
Current children cumulated vsize (Kb) 12640
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 30884 41 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220907408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 309.27
Current children cumulated vsize (Kb) 12640
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 31884 41 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220684368 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 319.27
Current children cumulated vsize (Kb) 12640
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 32884 41 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220304028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 329.27
Current children cumulated vsize (Kb) 12640
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 33868 46 0 0 25 0 1 0 20034296 10764288 1397 4294967295 134512640 134702520 3221223952 3221168528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1397 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 339.16
Current children cumulated vsize (Kb) 12640
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 34868 46 0 0 25 0 1 0 20034296 10764288 1397 4294967295 134512640 134702520 3221223952 3220975868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1397 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 349.16
Current children cumulated vsize (Kb) 12640
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 35869 46 0 0 25 0 1 0 20034296 10764288 1397 4294967295 134512640 134702520 3221223952 3220761788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1397 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 359.17
Current children cumulated vsize (Kb) 12640
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 36869 46 0 0 25 0 1 0 20034296 10764288 1397 4294967295 134512640 134702520 3221223952 3220474768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1397 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 369.17
Current children cumulated vsize (Kb) 12640
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1537 0 0 0 37856 50 0 0 25 0 1 0 20034296 11177984 1441 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1441 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 379.08
Current children cumulated vsize (Kb) 13044
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1552 0 0 0 38852 52 0 0 25 0 1 0 20034296 11177984 1456 4294967295 134512640 134702520 3221223952 3221044028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1456 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 389.06
Current children cumulated vsize (Kb) 13044
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1552 0 0 0 39853 52 0 0 25 0 1 0 20034296 11177984 1456 4294967295 134512640 134702520 3221223952 3220840348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1456 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 399.07
Current children cumulated vsize (Kb) 13044
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1552 0 0 0 40853 52 0 0 25 0 1 0 20034296 11177984 1456 4294967295 134512640 134702520 3221223952 3220610268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1456 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 409.07
Current children cumulated vsize (Kb) 13044
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1552 0 0 0 41853 52 0 0 25 0 1 0 20034296 11177984 1456 4294967295 134512640 134702520 3221223952 3220104508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1456 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 419.07
Current children cumulated vsize (Kb) 13044
[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1610 0 0 0 42830 59 0 0 25 0 1 0 20034296 11177984 1514 4294967295 134512640 134702520 3221223952 3221118928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1514 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 428.91
Current children cumulated vsize (Kb) 13044
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1610 0 0 0 43830 59 0 0 25 0 1 0 20034296 11177984 1514 4294967295 134512640 134702520 3221223952 3220923408 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1514 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 438.91
Current children cumulated vsize (Kb) 13044
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1610 0 0 0 44830 59 0 0 25 0 1 0 20034296 11177984 1514 4294967295 134512640 134702520 3221223952 3220704848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1514 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 448.91
Current children cumulated vsize (Kb) 13044
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1610 0 0 0 45831 59 0 0 25 0 1 0 20034296 11177984 1514 4294967295 134512640 134702520 3221223952 3220357648 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1514 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 458.92
Current children cumulated vsize (Kb) 13044
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 46809 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3221194768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 468.77
Current children cumulated vsize (Kb) 13448
[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 47809 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3221006768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 478.77
Current children cumulated vsize (Kb) 13448
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 48809 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3220798768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 488.77
Current children cumulated vsize (Kb) 13448
[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 49810 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3220551728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 498.78
Current children cumulated vsize (Kb) 13448
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 50810 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3219909168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 508.78
Current children cumulated vsize (Kb) 13448
[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1723 0 0 0 51786 74 0 0 25 0 1 0 20034296 11591680 1627 4294967295 134512640 134702520 3221223952 3221086128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2830 1627 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 518.62
Current children cumulated vsize (Kb) 13448
[startup+530.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1723 0 0 0 52787 74 0 0 25 0 1 0 20034296 11591680 1627 4294967295 134512640 134702520 3221223952 3220884848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2830 1627 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 528.63
Current children cumulated vsize (Kb) 13448
[startup+540.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1723 0 0 0 53787 74 0 0 25 0 1 0 20034296 11591680 1627 4294967295 134512640 134702520 3221223952 3220658588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2830 1627 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 538.63
Current children cumulated vsize (Kb) 13448
[startup+550.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1723 0 0 0 54787 74 0 0 25 0 1 0 20034296 11591680 1627 4294967295 134512640 134702520 3221223952 3220238908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2830 1627 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 548.63
Current children cumulated vsize (Kb) 13448
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=5355) exited with status: 2
New process pid=5356
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=5356) exited with status: 0
New process pid=5357
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+560.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 812 0 0 0 503 3 0 0 25 0 1 0 20089792 4734976 782 4294967295 134512640 134702520 3221223712 3221106608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 1156 782 413 48 0 1108 0
[pid=5357] vsize: 4624
Current children cumulated CPU time (s) 558.61
Current children cumulated vsize (Kb) 6752
[startup+570.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 882 0 0 0 1503 3 0 0 25 0 1 0 20089792 5021696 852 4294967295 134512640 134702520 3221223712 3220818428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 1226 852 413 48 0 1178 0
[pid=5357] vsize: 4904
Current children cumulated CPU time (s) 568.61
Current children cumulated vsize (Kb) 7032
[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 976 0 0 0 2503 3 0 0 25 0 1 0 20089792 5406720 946 4294967295 134512640 134702520 3221223712 3220431248 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 1320 946 413 48 0 1272 0
[pid=5357] vsize: 5280
Current children cumulated CPU time (s) 578.61
Current children cumulated vsize (Kb) 7408
[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 3486 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3221198528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 588.5
Current children cumulated vsize (Kb) 10516
[startup+600.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 4486 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3221009408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 598.5
Current children cumulated vsize (Kb) 10516
[startup+610.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 5486 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3220800288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 608.5
Current children cumulated vsize (Kb) 10516
[startup+620.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 6487 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3220552108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 618.51
Current children cumulated vsize (Kb) 10516
[startup+630.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 7487 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3219898988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 628.51
Current children cumulated vsize (Kb) 10516
[startup+640.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1217 0 0 0 8470 14 0 0 25 0 1 0 20089792 8589312 1187 4294967295 134512640 134702520 3221223712 3221060608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1187 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 638.39
Current children cumulated vsize (Kb) 10516
[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1217 0 0 0 9470 14 0 0 25 0 1 0 20089792 8589312 1187 4294967295 134512640 134702520 3221223712 3220857248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1187 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 648.39
Current children cumulated vsize (Kb) 10516
[startup+660.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1217 0 0 0 10470 14 0 0 25 0 1 0 20089792 8589312 1187 4294967295 134512640 134702520 3221223712 3220627968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1187 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 658.39
Current children cumulated vsize (Kb) 10516
[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1217 0 0 0 11471 14 0 0 25 0 1 0 20089792 8589312 1187 4294967295 134512640 134702520 3221223712 3220154848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1187 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 668.4
Current children cumulated vsize (Kb) 10516
[startup+680.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1221 0 0 0 12453 20 0 0 25 0 1 0 20089792 8589312 1191 4294967295 134512640 134702520 3221223712 3221110528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1191 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 678.28
Current children cumulated vsize (Kb) 10516
[startup+690.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1221 0 0 0 13454 20 0 0 25 0 1 0 20089792 8589312 1191 4294967295 134512640 134702520 3221223712 3220912608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1191 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 688.29
Current children cumulated vsize (Kb) 10516
[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1221 0 0 0 14454 20 0 0 25 0 1 0 20089792 8589312 1191 4294967295 134512640 134702520 3221223712 3220691168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1191 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 698.29
Current children cumulated vsize (Kb) 10516
[startup+710.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1221 0 0 0 15454 20 0 0 25 0 1 0 20089792 8589312 1191 4294967295 134512640 134702520 3221223712 3220322508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1191 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 708.29
Current children cumulated vsize (Kb) 10516
[startup+720.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1223 0 0 0 16436 26 0 0 25 0 1 0 20089792 8589312 1193 4294967295 134512640 134702520 3221223712 3221159488 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1193 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 718.17
Current children cumulated vsize (Kb) 10516
[startup+730.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1223 0 0 0 17436 26 0 0 25 0 1 0 20089792 8589312 1193 4294967295 134512640 134702520 3221223712 3220966688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1193 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 728.17
Current children cumulated vsize (Kb) 10516
[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1223 0 0 0 18436 26 0 0 25 0 1 0 20089792 8589312 1193 4294967295 134512640 134702520 3221223712 3220752268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1193 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 738.17
Current children cumulated vsize (Kb) 10516
[startup+750.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1223 0 0 0 19436 26 0 0 25 0 1 0 20089792 8589312 1193 4294967295 134512640 134702520 3221223712 3220457248 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1193 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 748.17
Current children cumulated vsize (Kb) 10516
[startup+760.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 20418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3221207808 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 758.05
Current children cumulated vsize (Kb) 10516
[startup+770.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 21418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3221021728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 768.05
Current children cumulated vsize (Kb) 10516
[startup+780.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 22418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3220816268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 778.05
Current children cumulated vsize (Kb) 10516
[startup+790.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 23418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3220583648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 788.05
Current children cumulated vsize (Kb) 10516
[startup+800.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 24418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3220010848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 798.05
Current children cumulated vsize (Kb) 10516
[startup+810.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1229 0 0 0 25402 38 0 0 25 0 1 0 20089792 8589312 1199 4294967295 134512640 134702520 3221223712 3221080608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1199 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 807.95
Current children cumulated vsize (Kb) 10516
[startup+820.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1229 0 0 0 26402 39 0 0 25 0 1 0 20089792 8589312 1199 4294967295 134512640 134702520 3221223712 3220881728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1199 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 817.96
Current children cumulated vsize (Kb) 10516
[startup+830.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1229 0 0 0 27402 39 0 0 25 0 1 0 20089792 8589312 1199 4294967295 134512640 134702520 3221223712 3220658508 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1199 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 827.96
Current children cumulated vsize (Kb) 10516
[startup+840.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1229 0 0 0 28402 39 0 0 25 0 1 0 20089792 8589312 1199 4294967295 134512640 134702520 3221223712 3220247648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1199 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 837.96
Current children cumulated vsize (Kb) 10516
[startup+850.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1230 0 0 0 29384 45 0 0 25 0 1 0 20089792 8589312 1200 4294967295 134512640 134702520 3221223712 3221137568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1200 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 847.84
Current children cumulated vsize (Kb) 10516
[startup+860.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1230 0 0 0 30384 45 0 0 25 0 1 0 20089792 8589312 1200 4294967295 134512640 134702520 3221223712 3220942528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1200 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 857.84
Current children cumulated vsize (Kb) 10516
[startup+870.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1230 0 0 0 31384 45 0 0 25 0 1 0 20089792 8589312 1200 4294967295 134512640 134702520 3221223712 3220724928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1200 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 867.84
Current children cumulated vsize (Kb) 10516
[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1230 0 0 0 32384 45 0 0 25 0 1 0 20089792 8589312 1200 4294967295 134512640 134702520 3221223712 3220399628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1200 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 877.84
Current children cumulated vsize (Kb) 10516
[startup+890.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 33367 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3221187648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 887.73
Current children cumulated vsize (Kb) 10748
[startup+900.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 34367 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3220997568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 897.73
Current children cumulated vsize (Kb) 10748
[startup+910.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 35367 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3220786988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 907.73
Current children cumulated vsize (Kb) 10748
[startup+920.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 36367 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3220526988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 917.73
Current children cumulated vsize (Kb) 10748
[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 37368 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3219795648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 927.74
Current children cumulated vsize (Kb) 10748
[startup+940.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1405 0 0 0 38350 57 0 0 25 0 1 0 20089792 9199616 1375 4294967295 134512640 134702520 3221223712 3221054348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2246 1375 413 48 0 2198 0
[pid=5357] vsize: 8984
Current children cumulated CPU time (s) 937.62
Current children cumulated vsize (Kb) 11112
[startup+950.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1405 0 0 0 39351 57 0 0 25 0 1 0 20089792 9199616 1375 4294967295 134512640 134702520 3221223712 3220850208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2246 1375 413 48 0 2198 0
[pid=5357] vsize: 8984
Current children cumulated CPU time (s) 947.63
Current children cumulated vsize (Kb) 11112
[startup+960.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1405 0 0 0 40351 57 0 0 25 0 1 0 20089792 9199616 1375 4294967295 134512640 134702520 3221223712 3220619952 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2246 1375 413 48 0 2198 0
[pid=5357] vsize: 8984
Current children cumulated CPU time (s) 957.63
Current children cumulated vsize (Kb) 11112
[startup+970.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1405 0 0 0 41351 57 0 0 25 0 1 0 20089792 9199616 1375 4294967295 134512640 134702520 3221223712 3220131628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2246 1375 413 48 0 2198 0
[pid=5357] vsize: 8984
Current children cumulated CPU time (s) 967.63
Current children cumulated vsize (Kb) 11112
[startup+980.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 42320 67 0 0 25 0 1 0 20089792 9437184 1463 4294967295 134512640 134702520 3221223712 3221114848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2304 1463 413 48 0 2256 0
[pid=5357] vsize: 9216
Current children cumulated CPU time (s) 977.42
Current children cumulated vsize (Kb) 11344
[startup+990.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 43321 67 0 0 25 0 1 0 20089792 9437184 1463 4294967295 134512640 134702520 3221223712 3220917548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2304 1463 413 48 0 2256 0
[pid=5357] vsize: 9216
Current children cumulated CPU time (s) 987.43
Current children cumulated vsize (Kb) 11344
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 44321 67 0 0 25 0 1 0 20089792 9437184 1463 4294967295 134512640 134702520 3221223712 3220696748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2304 1463 413 48 0 2256 0
[pid=5357] vsize: 9216
Current children cumulated CPU time (s) 997.43
Current children cumulated vsize (Kb) 11344
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 45321 67 0 0 25 0 1 0 20089792 9437184 1463 4294967295 134512640 134702520 3221223712 3220336768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2304 1463 413 48 0 2256 0
[pid=5357] vsize: 9216
Current children cumulated CPU time (s) 1007.43
Current children cumulated vsize (Kb) 11344
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1592 0 0 0 46300 76 0 0 25 0 1 0 20089792 10047488 1562 4294967295 134512640 134702520 3221223712 3221173728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1562 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1017.31
Current children cumulated vsize (Kb) 11940
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1592 0 0 0 47300 76 0 0 25 0 1 0 20089792 10047488 1562 4294967295 134512640 134702520 3221223712 3220982348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1562 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1027.31
Current children cumulated vsize (Kb) 11940
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1592 0 0 0 48301 76 0 0 25 0 1 0 20089792 10047488 1562 4294967295 134512640 134702520 3221223712 3220769728 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1562 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1037.32
Current children cumulated vsize (Kb) 11940
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1592 0 0 0 49301 76 0 0 25 0 1 0 20089792 10047488 1562 4294967295 134512640 134702520 3221223712 3220493728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1562 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1047.32
Current children cumulated vsize (Kb) 11940
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) T 5352 5352 4005 0 -1 0 1606 0 0 0 50291 79 0 0 24 0 1 0 20089792 10047488 1576 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1576 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1057.25
Current children cumulated vsize (Kb) 11940
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1663 0 0 0 51275 85 0 0 25 0 1 0 20089792 9707520 1507 4294967295 134512640 134702520 3221223712 3221049888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1507 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1067.15
Current children cumulated vsize (Kb) 11608
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1663 0 0 0 52275 85 0 0 25 0 1 0 20089792 9707520 1507 4294967295 134512640 134702520 3221223712 3220847648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1507 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1077.15
Current children cumulated vsize (Kb) 11608
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1663 0 0 0 53275 85 0 0 25 0 1 0 20089792 9707520 1507 4294967295 134512640 134702520 3221223712 3220619488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1507 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1087.15
Current children cumulated vsize (Kb) 11608
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1663 0 0 0 54275 85 0 0 25 0 1 0 20089792 9707520 1507 4294967295 134512640 134702520 3221223712 3220139168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1507 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1097.15
Current children cumulated vsize (Kb) 11608
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 55256 92 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3221110028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1107.03
Current children cumulated vsize (Kb) 11608
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 56257 92 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220912108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1117.04
Current children cumulated vsize (Kb) 11608
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 57257 92 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220690688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1127.04
Current children cumulated vsize (Kb) 11608
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 58257 92 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220322848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1137.04
Current children cumulated vsize (Kb) 11608
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 59237 98 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3221165068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1146.9
Current children cumulated vsize (Kb) 11608
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 60237 98 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220975008 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1156.9
Current children cumulated vsize (Kb) 11608
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 61237 98 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220763948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1166.9
Current children cumulated vsize (Kb) 11608
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 62237 98 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220487148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1176.9
Current children cumulated vsize (Kb) 11608
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.99 1/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) T 5352 5352 4005 0 -1 0 1665 0 0 0 63221 104 0 0 21 0 1 0 20089792 9707520 1509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1509 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1186.8
Current children cumulated vsize (Kb) 11608
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1665 0 0 0 64210 107 0 0 25 0 1 0 20089792 9707520 1509 4294967295 134512640 134702520 3221223712 3221045088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1509 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1196.72
Current children cumulated vsize (Kb) 11608
[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1665 0 0 0 65211 107 0 0 25 0 1 0 20089792 9707520 1509 4294967295 134512640 134702520 3221223712 3220842368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1509 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1206.73
Current children cumulated vsize (Kb) 11608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1665 0 0 0 65211 107 0 0 25 0 1 0 20089792 9707520 1509 4294967295 134512640 134702520 3221223712 3220842368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1509 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1206.73
Current children cumulated vsize (Kb) 11608
Sending SIGTERM to -5352
Sleeping 2 seconds
New process pid=5359
New process pid=5360
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5313/stat
open syscall for file /proc/5313/status
open syscall for file /proc/5313/cmdline
open syscall for file /proc/5313/environ
open syscall for file /proc/5351/stat
open syscall for file /proc/5351/status
open syscall for file /proc/5351/cmdline
open syscall for file /proc/5351/environ
open syscall for file /proc/5352/stat
open syscall for file /proc/5352/status
open syscall for file /proc/5352/cmdline
open syscall for file /proc/5352/environ
open syscall for file /proc/5357/stat
open syscall for file /proc/5357/status
open syscall for file /proc/5357/cmdline
open syscall for file /proc/5357/environ
open syscall for file /proc/5359/stat
open syscall for file /proc/5359/status
open syscall for file /proc/5359/cmdline
open syscall for file /proc/5359/environ
open syscall for file /proc/5360/stat
open syscall for file /proc/5360/status
open syscall for file /proc/5360/cmdline
open syscall for file /proc/5360/environ
One traced child (pid=5359) exited with status: 0
One traced child (pid=5360) exited with status: 0
New process pid=5361
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=5361) exited with status: 0
New process pid=5362
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=5362) exited with status: 0
One traced child (pid=5352) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5352
One traced child (pid=5357) 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.09
CPU time (s): 655.191
CPU user time (s): 654.11
CPU system time (s): 1.08183
CPU usage (%): 54.0547
Max. virtual memory (cumulated for all children) (Kb): 13448