1:
seed: 0
Nr of vars set: 19863 (#equs: 0)
Nr of vars set: 19863 (#equs: 0)
#decisions: 17469; #end-nodes: 8790;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 3287, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 19863 (#equs: 0)
Time taken: 17 min, 37 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/5335/stat): 5335 (vallstSAT2005PB) R 5334 5335 4704 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19644985 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5335/statm): 174 3 169 147 0 27 0
[pid=5335] 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=5336
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=5336) exited with status: 0
New process pid=5337
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=5337) exited with status: 0
New process pid=5338
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/wulflinc1/normalized-mps-v2-20-10-dc1l.opb
[startup+10.0032 s]
Raw data (loadavg): 0.92 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 4530 0 0 0 952 27 0 0 25 0 1 0 19644992 30736384 4177 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7504 4177 413 48 0 7456 0
[pid=5338] vsize: 30016
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (Kb) 32144
[startup+20.004 s]
Raw data (loadavg): 0.93 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 4530 0 0 0 1952 27 0 0 25 0 1 0 19644992 30736384 4177 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7504 4177 413 48 0 7456 0
[pid=5338] vsize: 30016
Current children cumulated CPU time (s) 19.82
Current children cumulated vsize (Kb) 32144
[startup+30.0048 s]
Raw data (loadavg): 0.94 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 4530 0 0 0 2952 27 0 0 25 0 1 0 19644992 30736384 4177 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7504 4177 413 48 0 7456 0
[pid=5338] vsize: 30016
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (Kb) 32144
[startup+40.0056 s]
Raw data (loadavg): 0.95 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 4530 0 0 0 3953 27 0 0 25 0 1 0 19644992 30736384 4177 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7504 4177 413 48 0 7456 0
[pid=5338] vsize: 30016
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 32144
[startup+50.0074 s]
Raw data (loadavg): 0.96 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 5717 0 0 0 4939 36 0 0 25 0 1 0 19644992 31686656 5364 4294967295 134512640 134702520 3221223952 3221223364 134550200 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7736 5364 413 48 0 7688 0
[pid=5338] vsize: 30944
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (Kb) 33072
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+60.0082 s]
Raw data (loadavg): 0.96 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6714 0 0 0 5926 44 0 0 25 0 1 0 19644992 32108544 6146 4294967295 134512640 134702520 3221223952 3221221568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7839 6146 413 48 0 7791 0
[pid=5338] vsize: 31356
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (Kb) 33484
[startup+70.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6737 0 0 0 6926 44 0 0 25 0 1 0 19644992 32202752 6169 4294967295 134512640 134702520 3221223952 3221120448 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7862 6169 413 48 0 7814 0
[pid=5338] vsize: 31448
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 33576
[startup+80.0098 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6768 0 0 0 7926 44 0 0 25 0 1 0 19644992 32329728 6200 4294967295 134512640 134702520 3221223952 3220994828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7893 6200 413 48 0 7845 0
[pid=5338] vsize: 31572
Current children cumulated CPU time (s) 79.73
Current children cumulated vsize (Kb) 33700
[startup+90.0096 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6800 0 0 0 8926 44 0 0 25 0 1 0 19644992 32460800 6232 4294967295 134512640 134702520 3221223952 3220863468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7925 6232 413 48 0 7877 0
[pid=5338] vsize: 31700
Current children cumulated CPU time (s) 89.73
Current children cumulated vsize (Kb) 33828
[startup+100.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6834 0 0 0 9926 45 0 0 25 0 1 0 19644992 32600064 6266 4294967295 134512640 134702520 3221223952 3220725248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7959 6266 413 48 0 7911 0
[pid=5338] vsize: 31836
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (Kb) 33964
[startup+110.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6869 0 0 0 10927 45 0 0 25 0 1 0 19644992 32743424 6301 4294967295 134512640 134702520 3221223952 3220578848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7994 6301 413 48 0 7946 0
[pid=5338] vsize: 31976
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 34104
[startup+120.012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6907 0 0 0 11927 45 0 0 25 0 1 0 19644992 32899072 6339 4294967295 134512640 134702520 3221223952 3220423008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8032 6339 413 48 0 7984 0
[pid=5338] vsize: 32128
Current children cumulated CPU time (s) 119.75
Current children cumulated vsize (Kb) 34256
[startup+130.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6948 0 0 0 12927 45 0 0 25 0 1 0 19644992 33067008 6380 4294967295 134512640 134702520 3221223952 3220255468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8073 6380 413 48 0 8025 0
[pid=5338] vsize: 32292
Current children cumulated CPU time (s) 129.75
Current children cumulated vsize (Kb) 34420
[startup+140.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6993 0 0 0 13927 45 0 0 25 0 1 0 19644992 33251328 6425 4294967295 134512640 134702520 3221223952 3220072928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8118 6425 413 48 0 8070 0
[pid=5338] vsize: 32472
Current children cumulated CPU time (s) 139.75
Current children cumulated vsize (Kb) 34600
[startup+150.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7042 0 0 0 14927 45 0 0 25 0 1 0 19644992 33452032 6474 4294967295 134512640 134702520 3221223952 3219873248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8167 6474 413 48 0 8119 0
[pid=5338] vsize: 32668
Current children cumulated CPU time (s) 149.75
Current children cumulated vsize (Kb) 34796
[startup+160.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7097 0 0 0 15927 45 0 0 25 0 1 0 19644992 33677312 6529 4294967295 134512640 134702520 3221223952 3219645388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8222 6529 413 48 0 8174 0
[pid=5338] vsize: 32888
Current children cumulated CPU time (s) 159.75
Current children cumulated vsize (Kb) 35016
[startup+170.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7162 0 0 0 16927 45 0 0 25 0 1 0 19644992 33943552 6594 4294967295 134512640 134702520 3221223952 3219379328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8287 6594 413 48 0 8239 0
[pid=5338] vsize: 33148
Current children cumulated CPU time (s) 169.75
Current children cumulated vsize (Kb) 35276
[startup+180.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7243 0 0 0 17927 46 0 0 25 0 1 0 19644992 34275328 6675 4294967295 134512640 134702520 3221223952 3219046668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8368 6675 413 48 0 8320 0
[pid=5338] vsize: 33472
Current children cumulated CPU time (s) 179.76
Current children cumulated vsize (Kb) 35600
[startup+190.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7374 0 0 0 18927 46 0 0 25 0 1 0 19644992 34811904 6806 4294967295 134512640 134702520 3221223952 3218513728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8499 6806 413 48 0 8451 0
[pid=5338] vsize: 33996
Current children cumulated CPU time (s) 189.76
Current children cumulated vsize (Kb) 36124
[startup+200.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 19914 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3221159548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 199.67
Current children cumulated vsize (Kb) 71628
[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 20914 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3221041468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 209.67
Current children cumulated vsize (Kb) 71628
[startup+220.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 21914 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220918748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 219.67
Current children cumulated vsize (Kb) 71628
[startup+230.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 22914 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220790588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 229.67
Current children cumulated vsize (Kb) 71628
[startup+240.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 23915 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220655868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 239.68
Current children cumulated vsize (Kb) 71628
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 24915 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220513808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 249.68
Current children cumulated vsize (Kb) 71628
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 25915 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220362908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 259.68
Current children cumulated vsize (Kb) 71628
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 26915 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220201488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 269.68
Current children cumulated vsize (Kb) 71628
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 27916 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220026928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (Kb) 71628
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 28916 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3219835568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 289.69
Current children cumulated vsize (Kb) 71628
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 29916 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3219622128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 299.69
Current children cumulated vsize (Kb) 71628
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 30916 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3219378108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 309.69
Current children cumulated vsize (Kb) 71628
[startup+320.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 31917 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3219084828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 319.7
Current children cumulated vsize (Kb) 71628
[startup+330.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 32917 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3218689168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 329.7
Current children cumulated vsize (Kb) 71628
[startup+340.026 s]
Raw data (loadavg): 1.07 0.99 0.91 2/60 5392
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 33907 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3221198928 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 339.67
Current children cumulated vsize (Kb) 71628
[startup+350.116 s]
Raw data (loadavg): 1.14 1.00 0.92 2/56 5393
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 34908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3221083548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 349.68
Current children cumulated vsize (Kb) 71628
[startup+360.117 s]
Raw data (loadavg): 1.11 1.00 0.92 2/56 5393
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 35908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220963728 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 359.68
Current children cumulated vsize (Kb) 71628
[startup+370.117 s]
Raw data (loadavg): 1.10 1.00 0.92 2/56 5393
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 36908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220838768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 369.68
Current children cumulated vsize (Kb) 71628
[startup+380.118 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 5393
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 37908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220708028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 379.68
Current children cumulated vsize (Kb) 71628
[startup+390.118 s]
Raw data (loadavg): 1.07 1.00 0.92 2/58 5395
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 38908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220570268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 389.68
Current children cumulated vsize (Kb) 71628
[startup+400.119 s]
Raw data (loadavg): 1.13 1.02 0.93 2/56 5395
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 39909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220424528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 399.69
Current children cumulated vsize (Kb) 71628
[startup+410.12 s]
Raw data (loadavg): 1.11 1.02 0.93 2/56 5397
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 40909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220269168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 409.69
Current children cumulated vsize (Kb) 71628
[startup+420.12 s]
Raw data (loadavg): 1.09 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 41909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220101968 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 419.69
Current children cumulated vsize (Kb) 71628
[startup+430.12 s]
Raw data (loadavg): 1.08 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 42909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219920028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 429.69
Current children cumulated vsize (Kb) 71628
[startup+440.12 s]
Raw data (loadavg): 1.07 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 43909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219718908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 439.69
Current children cumulated vsize (Kb) 71628
[startup+450.121 s]
Raw data (loadavg): 1.06 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 44910 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219492188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 449.7
Current children cumulated vsize (Kb) 71628
[startup+460.122 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 45910 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219227388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 459.7
Current children cumulated vsize (Kb) 71628
[startup+470.123 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 46910 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3218894288 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 469.7
Current children cumulated vsize (Kb) 71628
[startup+480.123 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 47911 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3218362608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 479.71
Current children cumulated vsize (Kb) 71628
[startup+490.124 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 48898 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3221146908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 489.62
Current children cumulated vsize (Kb) 71628
[startup+500.125 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 49899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3221028528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 499.63
Current children cumulated vsize (Kb) 71628
[startup+510.126 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 50899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220905148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 509.63
Current children cumulated vsize (Kb) 71628
[startup+520.126 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 51899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220776348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 519.63
Current children cumulated vsize (Kb) 71628
[startup+530.127 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 52899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220641008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 529.63
Current children cumulated vsize (Kb) 71628
[startup+540.128 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 53899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220498108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 539.63
Current children cumulated vsize (Kb) 71628
[startup+550.129 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 54899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220346268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 549.63
Current children cumulated vsize (Kb) 71628
[startup+560.13 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 55899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220183548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 559.63
Current children cumulated vsize (Kb) 71628
[startup+570.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 56899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220007388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 569.63
Current children cumulated vsize (Kb) 71628
[startup+580.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 57899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219813968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 579.63
Current children cumulated vsize (Kb) 71628
[startup+590.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 58899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219597968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 589.63
Current children cumulated vsize (Kb) 71628
[startup+600.133 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 59900 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219349948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 599.64
Current children cumulated vsize (Kb) 71628
[startup+610.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 60900 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219049628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 609.64
Current children cumulated vsize (Kb) 71628
[startup+620.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 61900 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3218635248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 619.64
Current children cumulated vsize (Kb) 71628
[startup+630.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 62888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3221192048 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 629.57
Current children cumulated vsize (Kb) 71628
[startup+640.135 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 63888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3221075248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 639.57
Current children cumulated vsize (Kb) 71628
[startup+650.137 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 64888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220953948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 649.57
Current children cumulated vsize (Kb) 71628
[startup+660.138 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 65888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220827408 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 659.57
Current children cumulated vsize (Kb) 71628
[startup+670.138 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 66888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220694748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 669.57
Current children cumulated vsize (Kb) 71628
[startup+680.139 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 67888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220554928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 679.57
Current children cumulated vsize (Kb) 71628
[startup+690.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 68888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220406768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 689.57
Current children cumulated vsize (Kb) 71628
[startup+700.142 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 69888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220248508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 699.57
Current children cumulated vsize (Kb) 71628
[startup+710.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 70888 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220078128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 709.58
Current children cumulated vsize (Kb) 71628
[startup+720.142 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 71888 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3219891888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 719.58
Current children cumulated vsize (Kb) 71628
[startup+730.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 72888 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3219685468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 729.58
Current children cumulated vsize (Kb) 71628
[startup+740.144 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 73889 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3219451568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 739.59
Current children cumulated vsize (Kb) 71628
[startup+750.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 74889 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3219175408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 749.59
Current children cumulated vsize (Kb) 71628
[startup+760.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 75889 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3218819708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 759.59
Current children cumulated vsize (Kb) 71628
[startup+770.146 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) T 5335 5335 4704 0 -1 0 7555 0 0 0 76882 69 0 0 25 0 1 0 19644992 71168000 6987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6987 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 769.54
Current children cumulated vsize (Kb) 71628
[startup+780.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 77874 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3221117628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 779.49
Current children cumulated vsize (Kb) 71628
[startup+790.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 78874 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220999228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 789.49
Current children cumulated vsize (Kb) 71628
[startup+800.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 79875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220875868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 799.5
Current children cumulated vsize (Kb) 71628
[startup+810.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 80875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220746768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 809.5
Current children cumulated vsize (Kb) 71628
[startup+820.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 81875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220611248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 819.5
Current children cumulated vsize (Kb) 71628
[startup+830.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 82875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220467868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 829.5
Current children cumulated vsize (Kb) 71628
[startup+840.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 83875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220315568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 839.5
Current children cumulated vsize (Kb) 71628
[startup+850.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 84876 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220152188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 849.51
Current children cumulated vsize (Kb) 71628
[startup+860.151 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 85876 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219974928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 859.51
Current children cumulated vsize (Kb) 71628
[startup+870.152 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 86876 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219779888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 869.51
Current children cumulated vsize (Kb) 71628
[startup+880.153 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 87876 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219561648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 879.51
Current children cumulated vsize (Kb) 71628
[startup+890.154 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 88877 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219309808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 889.52
Current children cumulated vsize (Kb) 71628
[startup+900.154 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 89877 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219002128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 899.52
Current children cumulated vsize (Kb) 71628
[startup+910.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 90877 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3218563728 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 909.52
Current children cumulated vsize (Kb) 71628
[startup+920.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 91862 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3221178608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 919.43
Current children cumulated vsize (Kb) 71628
[startup+930.156 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 92862 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3221061308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 929.43
Current children cumulated vsize (Kb) 71628
[startup+940.157 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 93863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220939408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 939.44
Current children cumulated vsize (Kb) 71628
[startup+950.158 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 94863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220812208 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 949.44
Current children cumulated vsize (Kb) 71628
[startup+960.159 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 95863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220678608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 959.44
Current children cumulated vsize (Kb) 71628
[startup+970.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 96863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220537948 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 969.44
Current children cumulated vsize (Kb) 71628
[startup+980.161 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 97863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220388668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 979.44
Current children cumulated vsize (Kb) 71628
[startup+990.162 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 98863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220229168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 989.44
Current children cumulated vsize (Kb) 71628
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 99863 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220057008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 999.45
Current children cumulated vsize (Kb) 71628
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 100863 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3219868668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1009.45
Current children cumulated vsize (Kb) 71628
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 101863 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3219659568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1019.45
Current children cumulated vsize (Kb) 71628
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 102863 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3219421648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1029.45
Current children cumulated vsize (Kb) 71628
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 103864 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3219138768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1039.46
Current children cumulated vsize (Kb) 71628
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 104864 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3218768048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1049.46
Current children cumulated vsize (Kb) 71628
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7560 0 0 0 105845 92 0 0 25 0 1 0 19644992 71172096 6992 4294967295 134512640 134702520 3221223952 3221222040 1074332013 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17376 6992 413 48 0 17328 0
[pid=5338] vsize: 69504
Current children cumulated CPU time (s) 1059.4
Current children cumulated vsize (Kb) 71632
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5338) exited with status: 2
New process pid=5402
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=5402) exited with status: 0
New process pid=5403
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+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5258 0 0 0 808 35 0 0 25 0 1 0 19751156 27156480 5228 4294967295 134512640 134702520 3221223712 3221208668 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6630 5228 413 48 0 6582 0
[pid=5403] vsize: 26520
Current children cumulated CPU time (s) 1069.17
Current children cumulated vsize (Kb) 28648
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5280 0 0 0 1808 35 0 0 25 0 1 0 19751156 27246592 5250 4294967295 134512640 134702520 3221223712 3221115728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6652 5250 413 48 0 6604 0
[pid=5403] vsize: 26608
Current children cumulated CPU time (s) 1079.17
Current children cumulated vsize (Kb) 28736
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5311 0 0 0 2808 35 0 0 25 0 1 0 19751156 27373568 5281 4294967295 134512640 134702520 3221223712 3220988368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6683 5281 413 48 0 6635 0
[pid=5403] vsize: 26732
Current children cumulated CPU time (s) 1089.17
Current children cumulated vsize (Kb) 28860
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5344 0 0 0 3808 36 0 0 25 0 1 0 19751156 27508736 5314 4294967295 134512640 134702520 3221223712 3220855248 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6716 5314 413 48 0 6668 0
[pid=5403] vsize: 26864
Current children cumulated CPU time (s) 1099.18
Current children cumulated vsize (Kb) 28992
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5378 0 0 0 4808 36 0 0 25 0 1 0 19751156 27648000 5348 4294967295 134512640 134702520 3221223712 3220715248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6750 5348 413 48 0 6702 0
[pid=5403] vsize: 27000
Current children cumulated CPU time (s) 1109.18
Current children cumulated vsize (Kb) 29128
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5414 0 0 0 5808 36 0 0 25 0 1 0 19751156 27795456 5384 4294967295 134512640 134702520 3221223712 3220567388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6786 5384 413 48 0 6738 0
[pid=5403] vsize: 27144
Current children cumulated CPU time (s) 1119.18
Current children cumulated vsize (Kb) 29272
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5453 0 0 0 6808 36 0 0 25 0 1 0 19751156 27955200 5423 4294967295 134512640 134702520 3221223712 3220409788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6825 5423 413 48 0 6777 0
[pid=5403] vsize: 27300
Current children cumulated CPU time (s) 1129.18
Current children cumulated vsize (Kb) 29428
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5494 0 0 0 7808 36 0 0 25 0 1 0 19751156 28123136 5464 4294967295 134512640 134702520 3221223712 3220240208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6866 5464 413 48 0 6818 0
[pid=5403] vsize: 27464
Current children cumulated CPU time (s) 1139.18
Current children cumulated vsize (Kb) 29592
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5539 0 0 0 8808 36 0 0 25 0 1 0 19751156 28307456 5509 4294967295 134512640 134702520 3221223712 3220055728 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6911 5509 413 48 0 6863 0
[pid=5403] vsize: 27644
Current children cumulated CPU time (s) 1149.18
Current children cumulated vsize (Kb) 29772
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5589 0 0 0 9808 36 0 0 25 0 1 0 19751156 28512256 5559 4294967295 134512640 134702520 3221223712 3219853308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6961 5559 413 48 0 6913 0
[pid=5403] vsize: 27844
Current children cumulated CPU time (s) 1159.18
Current children cumulated vsize (Kb) 29972
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5645 0 0 0 10808 36 0 0 25 0 1 0 19751156 28741632 5615 4294967295 134512640 134702520 3221223712 3219621628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 7017 5615 413 48 0 6969 0
[pid=5403] vsize: 28068
Current children cumulated CPU time (s) 1169.18
Current children cumulated vsize (Kb) 30196
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5711 0 0 0 11808 36 0 0 25 0 1 0 19751156 29011968 5681 4294967295 134512640 134702520 3221223712 3219351888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 7083 5681 413 48 0 7035 0
[pid=5403] vsize: 28332
Current children cumulated CPU time (s) 1179.18
Current children cumulated vsize (Kb) 30460
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5796 0 0 0 12808 36 0 0 25 0 1 0 19751156 29360128 5766 4294967295 134512640 134702520 3221223712 3219005308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 7168 5766 413 48 0 7120 0
[pid=5403] vsize: 28672
Current children cumulated CPU time (s) 1189.18
Current children cumulated vsize (Kb) 30800
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5940 0 0 0 13808 37 0 0 25 0 1 0 19751156 29949952 5910 4294967295 134512640 134702520 3221223712 3218414128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 7312 5910 413 48 0 7264 0
[pid=5403] vsize: 29248
Current children cumulated CPU time (s) 1199.19
Current children cumulated vsize (Kb) 31376
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 6117 0 0 0 14793 42 0 0 25 0 1 0 19751156 61497344 6086 4294967295 134512640 134702520 3221223712 3221143328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 15014 6086 413 48 0 14966 0
[pid=5403] vsize: 60056
Current children cumulated CPU time (s) 1209.09
Current children cumulated vsize (Kb) 62184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 6117 0 0 0 14793 42 0 0 25 0 1 0 19751156 61497344 6086 4294967295 134512640 134702520 3221223712 3221143328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 15014 6086 413 48 0 14966 0
[pid=5403] vsize: 60056
Current children cumulated CPU time (s) 1209.09
Current children cumulated vsize (Kb) 62184
Sending SIGTERM to -5335
Sleeping 2 seconds
New process pid=5405
New process pid=5406
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/4506/stat
open syscall for file /proc/4506/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/4506/cmdline
open syscall for file /proc/4506/environ
open syscall for file /proc/4712/stat
open syscall for file /proc/4712/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/4712/cmdline
open syscall for file /proc/4712/environ
open syscall for file /proc/5296/stat
open syscall for file /proc/5296/status
open syscall for file /proc/5296/cmdline
open syscall for file /proc/5296/environ
open syscall for file /proc/5334/stat
open syscall for file /proc/5334/status
open syscall for file /proc/5334/cmdline
open syscall for file /proc/5334/environ
open syscall for file /proc/5335/stat
open syscall for file /proc/5335/status
open syscall for file /proc/5335/cmdline
open syscall for file /proc/5335/environ
open syscall for file /proc/5403/stat
open syscall for file /proc/5403/status
open syscall for file /proc/5403/cmdline
open syscall for file /proc/5403/environ
open syscall for file /proc/5405/stat
open syscall for file /proc/5405/status
open syscall for file /proc/5405/cmdline
open syscall for file /proc/5405/environ
open syscall for file /proc/5406/stat
open syscall for file /proc/5406/status
open syscall for file /proc/5406/cmdline
open syscall for file /proc/5406/environ
One traced child (pid=5405) exited with status: 0
One traced child (pid=5406) exited with status: 0
New process pid=5407
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=5407) exited with status: 0
New process pid=5408
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=5408) exited with status: 0
One traced child (pid=5335) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5335
One traced child (pid=5403) 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.2
CPU time (s): 150.372
CPU user time (s): 149.932
CPU system time (s): 0.439933
CPU usage (%): 12.4049
Max. virtual memory (cumulated for all children) (Kb): 71632