1:
seed: 0
Nr of vars set: 3336 (#equs: 0)
Nr of vars set: 5153 (#equs: 10)
#decisions: 622510; #end-nodes: 49609;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 987, #non-axs: 42
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: 5153 (#equs: 10)
Time taken: 5 min, 11 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/5282/stat): 5282 (vallstSAT2005PB) R 5281 5282 4061 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20205609 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5282/statm): 174 3 169 147 0 27 0
[pid=5282] 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=5283
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=5283) exited with status: 0
New process pid=5284
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=5284) exited with status: 0
New process pid=5285
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/wulflinc10/normalized-mps-v2-13-7-gen.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0028 s]
Raw data (loadavg): 0.94 0.99 0.99 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1208 0 0 0 954 15 0 0 25 0 1 0 20205616 5844992 1043 4294967295 134512640 134702520 3221223952 3221138368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 1427 1043 413 48 0 1379 0
[pid=5285] vsize: 5708
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (Kb) 7836
[startup+20.0043 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1265 0 0 0 1849 51 0 0 23 0 1 0 20205616 8384512 1100 4294967295 134512640 134702520 3221223952 3221144848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2047 1100 413 48 0 1999 0
[pid=5285] vsize: 8188
Current children cumulated CPU time (s) 19.02
Current children cumulated vsize (Kb) 10316
[startup+30.0049 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1268 0 0 0 2745 88 0 0 25 0 1 0 20205616 8384512 1103 4294967295 134512640 134702520 3221223952 3220911868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2047 1103 413 48 0 1999 0
[pid=5285] vsize: 8188
Current children cumulated CPU time (s) 28.35
Current children cumulated vsize (Kb) 10316
[startup+40.0044 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1306 0 0 0 3638 125 0 0 25 0 1 0 20205616 8531968 1141 4294967295 134512640 134702520 3221223952 3221046128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1141 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 37.65
Current children cumulated vsize (Kb) 10460
[startup+50.005 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1307 0 0 0 4539 158 0 0 25 0 1 0 20205616 8531968 1142 4294967295 134512640 134702520 3221223952 3221159248 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1142 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 46.99
Current children cumulated vsize (Kb) 10460
[startup+60.0056 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1308 0 0 0 5489 174 0 0 17 0 1 0 20205616 8531968 1143 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1143 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 56.65
Current children cumulated vsize (Kb) 10460
[startup+70.0071 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1308 0 0 0 6438 190 0 0 25 0 1 0 20205616 8531968 1143 4294967295 134512640 134702520 3221223952 3220708848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1143 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 66.3
Current children cumulated vsize (Kb) 10460
[startup+80.0077 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1310 0 0 0 7335 223 0 0 25 0 1 0 20205616 8531968 1145 4294967295 134512640 134702520 3221223952 3220888188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1145 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 75.6
Current children cumulated vsize (Kb) 10460
[startup+90.0072 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1310 0 0 0 8267 248 0 0 17 0 1 0 20205616 8531968 1145 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1145 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 85.17
Current children cumulated vsize (Kb) 10460
[startup+100.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1311 0 0 0 9192 273 0 0 25 0 1 0 20205616 8531968 1146 4294967295 134512640 134702520 3221223952 3220745968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1146 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 94.67
Current children cumulated vsize (Kb) 10460
[startup+110.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1311 0 0 0 10090 306 0 0 25 0 1 0 20205616 8531968 1146 4294967295 134512640 134702520 3221223952 3220913148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1146 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 103.98
Current children cumulated vsize (Kb) 10460
[startup+120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1313 0 0 0 10989 340 0 0 25 0 1 0 20205616 8531968 1148 4294967295 134512640 134702520 3221223952 3221043568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1148 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 113.31
Current children cumulated vsize (Kb) 10460
[startup+130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1314 0 0 0 11883 374 0 0 25 0 1 0 20205616 8531968 1149 4294967295 134512640 134702520 3221223952 3221157488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1149 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 122.59
Current children cumulated vsize (Kb) 10460
[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1314 0 0 0 12831 391 0 0 16 0 1 0 20205616 8531968 1149 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1149 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 132.24
Current children cumulated vsize (Kb) 10460
[startup+150.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1316 0 0 0 13784 408 0 0 25 0 1 0 20205616 8531968 1151 4294967295 134512640 134702520 3221223952 3220703728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1151 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 141.94
Current children cumulated vsize (Kb) 10460
[startup+160.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1317 0 0 0 14685 439 0 0 25 0 1 0 20205616 8531968 1152 4294967295 134512640 134702520 3221223952 3220882108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1152 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 151.26
Current children cumulated vsize (Kb) 10460
[startup+170.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1317 0 0 0 15613 464 0 0 18 0 1 0 20205616 8531968 1152 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1152 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (Kb) 10460
[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1318 0 0 0 16542 485 0 0 25 0 1 0 20205616 8531968 1153 4294967295 134512640 134702520 3221223952 3220730908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1153 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 170.29
Current children cumulated vsize (Kb) 10460
[startup+190.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1318 0 0 0 17443 518 0 0 25 0 1 0 20205616 8531968 1153 4294967295 134512640 134702520 3221223952 3220901168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1153 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 179.63
Current children cumulated vsize (Kb) 10460
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1320 0 0 0 18345 549 0 0 25 0 1 0 20205616 8531968 1155 4294967295 134512640 134702520 3221223952 3221033628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1155 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 188.96
Current children cumulated vsize (Kb) 10460
[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1321 0 0 0 19237 583 0 0 25 0 1 0 20205616 8531968 1156 4294967295 134512640 134702520 3221223952 3221151248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1156 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 198.22
Current children cumulated vsize (Kb) 10460
[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1322 0 0 0 20181 601 0 0 17 0 1 0 20205616 8531968 1157 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1157 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 207.84
Current children cumulated vsize (Kb) 10460
[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1323 0 0 0 21134 617 0 0 25 0 1 0 20205616 8531968 1158 4294967295 134512640 134702520 3221223952 3220696508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1158 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 217.53
Current children cumulated vsize (Kb) 10460
[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1324 0 0 0 22034 650 0 0 25 0 1 0 20205616 8531968 1159 4294967295 134512640 134702520 3221223952 3220878268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1159 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 226.86
Current children cumulated vsize (Kb) 10460
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1324 0 0 0 22960 677 0 0 18 0 1 0 20205616 8531968 1159 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1159 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 236.39
Current children cumulated vsize (Kb) 10460
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1326 0 0 0 23890 699 0 0 25 0 1 0 20205616 8531968 1161 4294967295 134512640 134702520 3221223952 3220731888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1161 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 245.91
Current children cumulated vsize (Kb) 10460
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1327 0 0 0 24785 733 0 0 25 0 1 0 20205616 8531968 1162 4294967295 134512640 134702520 3221223952 3220909628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1162 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 255.2
Current children cumulated vsize (Kb) 10460
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1328 0 0 0 25682 769 0 0 25 0 1 0 20205616 8531968 1163 4294967295 134512640 134702520 3221223952 3221047228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1163 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 264.53
Current children cumulated vsize (Kb) 10460
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1328 0 0 0 26581 800 0 0 25 0 1 0 20205616 8531968 1163 4294967295 134512640 134702520 3221223952 3221160828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1163 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 273.83
Current children cumulated vsize (Kb) 10460
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1328 0 0 0 27532 814 0 0 17 0 1 0 20205616 8531968 1163 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1163 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 283.48
Current children cumulated vsize (Kb) 10460
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1330 0 0 0 28477 832 0 0 25 0 1 0 20205616 8531968 1165 4294967295 134512640 134702520 3221223952 3220710908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1165 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 293.11
Current children cumulated vsize (Kb) 10460
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1331 0 0 0 29374 868 0 0 25 0 1 0 20205616 8531968 1166 4294967295 134512640 134702520 3221223952 3220895548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1166 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 302.44
Current children cumulated vsize (Kb) 10460
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5285) exited with status: 2
New process pid=5286
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=5286) exited with status: 0
New process pid=5287
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+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 624 0 0 0 17 2 0 0 22 0 1 0 20238595 4239360 595 4294967295 134512640 134702520 3221223712 3221223360 1074140573 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1035 595 413 48 0 987 0
[pid=5287] vsize: 4140
Current children cumulated CPU time (s) 312.14
Current children cumulated vsize (Kb) 6268
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 884 0 0 0 979 14 0 0 22 0 1 0 20238595 5206016 854 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1271 854 413 48 0 1223 0
[pid=5287] vsize: 5084
Current children cumulated CPU time (s) 321.88
Current children cumulated vsize (Kb) 7212
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 946 0 0 0 1800 73 0 0 25 0 1 0 20238595 7421952 916 4294967295 134512640 134702520 3221223712 3221149388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 916 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 330.68
Current children cumulated vsize (Kb) 9376
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 950 0 0 0 2722 98 0 0 16 0 1 0 20238595 7421952 920 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 920 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 340.15
Current children cumulated vsize (Kb) 9376
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 952 0 0 0 3700 105 0 0 25 0 1 0 20238595 7421952 922 4294967295 134512640 134702520 3221223712 3220651308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 922 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 350
Current children cumulated vsize (Kb) 9376
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 955 0 0 0 4604 135 0 0 25 0 1 0 20238595 7421952 925 4294967295 134512640 134702520 3221223712 3220823648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 925 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 359.34
Current children cumulated vsize (Kb) 9376
[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 959 0 0 0 5508 167 0 0 25 0 1 0 20238595 7421952 929 4294967295 134512640 134702520 3221223712 3220953388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 929 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 368.7
Current children cumulated vsize (Kb) 9376
[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 962 0 0 0 6411 198 0 0 25 0 1 0 20238595 7421952 932 4294967295 134512640 134702520 3221223712 3221065068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1812 932 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 378.04
Current children cumulated vsize (Kb) 9376
[startup+410.026 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 967 0 0 0 7312 229 0 0 25 0 1 0 20238595 7421952 937 4294967295 134512640 134702520 3221223712 3221165568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1812 937 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 387.36
Current children cumulated vsize (Kb) 9376
[startup+420.027 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 970 0 0 0 8281 239 0 0 19 0 1 0 20238595 7577600 940 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1850 940 413 48 0 1802 0
[pid=5287] vsize: 7400
Current children cumulated CPU time (s) 397.15
Current children cumulated vsize (Kb) 9528
[startup+430.028 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 970 0 0 0 9098 299 0 0 25 0 1 0 20238595 7516160 940 4294967295 134512640 134702520 3221223712 3221079968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 940 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 405.92
Current children cumulated vsize (Kb) 9468
[startup+440.028 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 974 0 0 0 9996 336 0 0 25 0 1 0 20238595 7516160 944 4294967295 134512640 134702520 3221223712 3221176768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 944 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 415.27
Current children cumulated vsize (Kb) 9468
[startup+450.029 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 975 0 0 0 10973 342 0 0 17 0 1 0 20238595 7516160 945 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 945 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 425.1
Current children cumulated vsize (Kb) 9468
[startup+460.029 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 980 0 0 0 11903 365 0 0 25 0 1 0 20238595 7516160 950 4294967295 134512640 134702520 3221223712 3220727488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 950 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 434.63
Current children cumulated vsize (Kb) 9468
[startup+470.031 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 982 0 0 0 12805 397 0 0 25 0 1 0 20238595 7516160 952 4294967295 134512640 134702520 3221223712 3220882528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 952 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 443.97
Current children cumulated vsize (Kb) 9468
[startup+480.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 983 0 0 0 13708 428 0 0 25 0 1 0 20238595 7516160 953 4294967295 134512640 134702520 3221223712 3221004448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 953 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 453.31
Current children cumulated vsize (Kb) 9468
[startup+490.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 988 0 0 0 14607 460 0 0 25 0 1 0 20238595 7516160 958 4294967295 134512640 134702520 3221223712 3221109568 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 958 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 462.62
Current children cumulated vsize (Kb) 9468
[startup+500.032 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 990 0 0 0 15556 476 0 0 20 0 1 0 20238595 7516160 960 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 960 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 472.27
Current children cumulated vsize (Kb) 9468
[startup+510.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 991 0 0 0 16393 528 0 0 25 0 1 0 20238595 7516160 961 4294967295 134512640 134702520 3221223712 3221021728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 961 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 481.16
Current children cumulated vsize (Kb) 9468
[startup+520.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 991 0 0 0 17287 561 0 0 25 0 1 0 20238595 7516160 961 4294967295 134512640 134702520 3221223712 3221129876 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 961 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 490.43
Current children cumulated vsize (Kb) 9468
[startup+530.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 993 0 0 0 18183 595 0 0 17 0 1 0 20238595 7516160 963 4294967295 134512640 134702520 3221223712 3221222848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 963 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 499.73
Current children cumulated vsize (Kb) 9468
[startup+540.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 993 0 0 0 19183 595 0 0 25 0 1 0 20238595 7516160 963 4294967295 134512640 134702520 3221223712 3220625408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 963 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 509.73
Current children cumulated vsize (Kb) 9468
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 998 0 0 0 20081 631 0 0 25 0 1 0 20238595 7516160 968 4294967295 134512640 134702520 3221223712 3220819968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 968 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 519.07
Current children cumulated vsize (Kb) 9468
[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1000 0 0 0 20978 662 0 0 25 0 1 0 20238595 7516160 970 4294967295 134512640 134702520 3221223712 3220961868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 970 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 528.35
Current children cumulated vsize (Kb) 9468
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1000 0 0 0 21879 690 0 0 25 0 1 0 20238595 7516160 970 4294967295 134512640 134702520 3221223712 3221075808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 970 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 537.64
Current children cumulated vsize (Kb) 9468
[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1002 0 0 0 22817 710 0 0 24 0 1 0 20238595 7655424 972 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1869 972 413 48 0 1821 0
[pid=5287] vsize: 7476
Current children cumulated CPU time (s) 547.22
Current children cumulated vsize (Kb) 9604
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1002 0 0 0 23661 762 0 0 25 0 1 0 20238595 7593984 972 4294967295 134512640 134702520 3221223712 3220984748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1854 972 413 48 0 1806 0
[pid=5287] vsize: 7416
Current children cumulated CPU time (s) 556.18
Current children cumulated vsize (Kb) 9544
[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1097 0 0 0 24560 795 0 0 25 0 1 0 20238595 7839744 1067 4294967295 134512640 134702520 3221223712 3221098668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1914 1067 413 48 0 1866 0
[pid=5287] vsize: 7656
Current children cumulated CPU time (s) 565.5
Current children cumulated vsize (Kb) 9784
[startup+610.04 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1143 0 0 0 25459 829 0 0 21 0 1 0 20238595 8085504 1113 4294967295 134512640 134702520 3221223712 3221200588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1974 1113 413 48 0 1926 0
[pid=5287] vsize: 7896
Current children cumulated CPU time (s) 574.83
Current children cumulated vsize (Kb) 10024
[startup+620.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1143 0 0 0 26459 829 0 0 25 0 1 0 20238595 8085504 1113 4294967295 134512640 134702520 3221223712 3220487948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1974 1113 413 48 0 1926 0
[pid=5287] vsize: 7896
Current children cumulated CPU time (s) 584.83
Current children cumulated vsize (Kb) 10024
[startup+630.041 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1173 0 0 0 27356 863 0 0 25 0 1 0 20238595 8085504 1143 4294967295 134512640 134702520 3221223712 3220783148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1974 1143 413 48 0 1926 0
[pid=5287] vsize: 7896
Current children cumulated CPU time (s) 594.14
Current children cumulated vsize (Kb) 10024
[startup+640.041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1178 0 0 0 28257 895 0 0 25 0 1 0 20238595 8085504 1148 4294967295 134512640 134702520 3221223712 3220937868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1974 1148 413 48 0 1926 0
[pid=5287] vsize: 7896
Current children cumulated CPU time (s) 603.47
Current children cumulated vsize (Kb) 10024
[startup+650.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1189 0 0 0 29147 930 0 0 25 0 1 0 20238595 8331264 1159 4294967295 134512640 134702520 3221223712 3221067488 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2034 1159 413 48 0 1986 0
[pid=5287] vsize: 8136
Current children cumulated CPU time (s) 612.72
Current children cumulated vsize (Kb) 10264
[startup+660.042 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1191 0 0 0 30081 953 0 0 24 0 1 0 20238595 8478720 1161 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2070 1161 413 48 0 2022 0
[pid=5287] vsize: 8280
Current children cumulated CPU time (s) 622.29
Current children cumulated vsize (Kb) 10408
[startup+670.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1196 0 0 0 30921 1006 0 0 25 0 1 0 20238595 8417280 1166 4294967295 134512640 134702520 3221223712 3220981228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1166 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 631.22
Current children cumulated vsize (Kb) 10348
[startup+680.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1197 0 0 0 31823 1039 0 0 25 0 1 0 20238595 8417280 1167 4294967295 134512640 134702520 3221223712 3221095328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1167 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 640.57
Current children cumulated vsize (Kb) 10348
[startup+690.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1203 0 0 0 32720 1071 0 0 21 0 1 0 20238595 8417280 1173 4294967295 134512640 134702520 3221223712 3221200908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1173 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 649.86
Current children cumulated vsize (Kb) 10348
[startup+700.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1203 0 0 0 33720 1071 0 0 25 0 1 0 20238595 8417280 1173 4294967295 134512640 134702520 3221223712 3220490688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1173 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 659.86
Current children cumulated vsize (Kb) 10348
[startup+710.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1204 0 0 0 34618 1105 0 0 25 0 1 0 20238595 8417280 1174 4294967295 134512640 134702520 3221223712 3220775808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1174 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 669.18
Current children cumulated vsize (Kb) 10348
[startup+720.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1208 0 0 0 35513 1139 0 0 25 0 1 0 20238595 8417280 1178 4294967295 134512640 134702520 3221223712 3220933248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1178 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 678.47
Current children cumulated vsize (Kb) 10348
[startup+730.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1213 0 0 0 36409 1175 0 0 25 0 1 0 20238595 8417280 1183 4294967295 134512640 134702520 3221223712 3221059968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1183 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 687.79
Current children cumulated vsize (Kb) 10348
[startup+740.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1215 0 0 0 37344 1198 0 0 23 0 1 0 20238595 8417280 1185 4294967295 134512640 134702520 3221223712 3221222608 134552354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1185 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 697.37
Current children cumulated vsize (Kb) 10348
[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1215 0 0 0 38189 1249 0 0 25 0 1 0 20238595 8417280 1185 4294967295 134512640 134702520 3221223712 3220975328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1185 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 706.33
Current children cumulated vsize (Kb) 10348
[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1217 0 0 0 39087 1283 0 0 25 0 1 0 20238595 8417280 1187 4294967295 134512640 134702520 3221223712 3221097728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1187 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 715.65
Current children cumulated vsize (Kb) 10348
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1220 0 0 0 39983 1317 0 0 20 0 1 0 20238595 8417280 1190 4294967295 134512640 134702520 3221223712 3221204748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1190 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 724.95
Current children cumulated vsize (Kb) 10348
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1220 0 0 0 40983 1317 0 0 25 0 1 0 20238595 8417280 1190 4294967295 134512640 134702520 3221223712 3220523788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1190 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 734.95
Current children cumulated vsize (Kb) 10348
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1226 0 0 0 41880 1350 0 0 25 0 1 0 20238595 8417280 1196 4294967295 134512640 134702520 3221223712 3220786508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1196 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 744.25
Current children cumulated vsize (Kb) 10348
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1227 0 0 0 42774 1388 0 0 25 0 1 0 20238595 8417280 1197 4294967295 134512640 134702520 3221223712 3220941568 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1197 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 753.57
Current children cumulated vsize (Kb) 10348
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1229 0 0 0 43671 1424 0 0 25 0 1 0 20238595 8417280 1199 4294967295 134512640 134702520 3221223712 3221068128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1199 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 762.9
Current children cumulated vsize (Kb) 10348
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1233 0 0 0 44607 1447 0 0 24 0 1 0 20238595 8556544 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2089 1203 413 48 0 2041 0
[pid=5287] vsize: 8356
Current children cumulated CPU time (s) 772.49
Current children cumulated vsize (Kb) 10484
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1236 0 0 0 45447 1501 0 0 25 0 1 0 20238595 8527872 1206 4294967295 134512640 134702520 3221223712 3220986528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1206 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 781.43
Current children cumulated vsize (Kb) 10456
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1238 0 0 0 46341 1535 0 0 25 0 1 0 20238595 8527872 1208 4294967295 134512640 134702520 3221223712 3221107968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2082 1208 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 790.71
Current children cumulated vsize (Kb) 10456
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1241 0 0 0 47234 1571 0 0 18 0 1 0 20238595 8527872 1211 4294967295 134512640 134702520 3221223712 3221214508 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1211 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 800
Current children cumulated vsize (Kb) 10456
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1241 0 0 0 48234 1571 0 0 25 0 1 0 20238595 8527872 1211 4294967295 134512640 134702520 3221223712 3220582848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1211 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 810
Current children cumulated vsize (Kb) 10456
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1244 0 0 0 49132 1605 0 0 25 0 1 0 20238595 8527872 1214 4294967295 134512640 134702520 3221223712 3220809568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2082 1214 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 819.32
Current children cumulated vsize (Kb) 10456
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1246 0 0 0 50030 1639 0 0 25 0 1 0 20238595 8527872 1216 4294967295 134512640 134702520 3221223712 3220959788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1216 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 828.64
Current children cumulated vsize (Kb) 10456
[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1249 0 0 0 50924 1674 0 0 25 0 1 0 20238595 8527872 1219 4294967295 134512640 134702520 3221223712 3221085728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1219 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 837.93
Current children cumulated vsize (Kb) 10456
[startup+900.058 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1252 0 0 0 51868 1690 0 0 24 0 1 0 20238595 8527872 1222 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1222 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 847.53
Current children cumulated vsize (Kb) 10456
[startup+910.058 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1252 0 0 0 52695 1747 0 0 25 0 1 0 20238595 8527872 1222 4294967295 134512640 134702520 3221223712 3221009888 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1222 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 856.37
Current children cumulated vsize (Kb) 10456
[startup+920.059 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1253 0 0 0 53586 1784 0 0 25 0 1 0 20238595 8527872 1223 4294967295 134512640 134702520 3221223712 3221127648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1223 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 865.65
Current children cumulated vsize (Kb) 10456
[startup+930.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1254 0 0 0 54490 1815 0 0 16 0 1 0 20238595 8527872 1224 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2082 1224 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 875
Current children cumulated vsize (Kb) 10456
[startup+940.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1256 0 0 0 55482 1818 0 0 25 0 1 0 20238595 8527872 1226 4294967295 134512640 134702520 3221223712 3220634988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1226 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 884.95
Current children cumulated vsize (Kb) 10456
[startup+950.061 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1261 0 0 0 56370 1855 0 0 25 0 1 0 20238595 8527872 1231 4294967295 134512640 134702520 3221223712 3220840608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1231 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 894.2
Current children cumulated vsize (Kb) 10456
[startup+960.061 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1263 0 0 0 57253 1892 0 0 25 0 1 0 20238595 8527872 1233 4294967295 134512640 134702520 3221223712 3220993548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1233 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 903.4
Current children cumulated vsize (Kb) 10456
[startup+970.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1264 0 0 0 58143 1931 0 0 25 0 1 0 20238595 8527872 1234 4294967295 134512640 134702520 3221223712 3221113548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2082 1234 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 912.69
Current children cumulated vsize (Kb) 10456
[startup+980.063 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1265 0 0 0 59096 1946 0 0 23 0 1 0 20238595 8679424 1235 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2119 1235 413 48 0 2071 0
[pid=5287] vsize: 8476
Current children cumulated CPU time (s) 922.37
Current children cumulated vsize (Kb) 10604
[startup+990.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1265 0 0 0 59923 2004 0 0 25 0 1 0 20238595 8617984 1235 4294967295 134512640 134702520 3221223712 3221033072 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1235 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 931.22
Current children cumulated vsize (Kb) 10544
[startup+1000.06 s]
Raw data (loadavg): 1.09 1.02 1.01 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1265 0 0 0 60815 2040 0 0 25 0 1 0 20238595 8617984 1235 4294967295 134512640 134702520 3221223712 3221145388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1235 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 940.5
Current children cumulated vsize (Kb) 10544
[startup+1010.07 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1268 0 0 0 61747 2062 0 0 16 0 1 0 20238595 8617984 1238 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1238 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 950.04
Current children cumulated vsize (Kb) 10544
[startup+1020.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1270 0 0 0 62707 2076 0 0 25 0 1 0 20238595 8617984 1240 4294967295 134512640 134702520 3221223712 3220680928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1240 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 959.78
Current children cumulated vsize (Kb) 10544
[startup+1030.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1273 0 0 0 63602 2111 0 0 25 0 1 0 20238595 8617984 1243 4294967295 134512640 134702520 3221223712 3220867328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1243 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 969.08
Current children cumulated vsize (Kb) 10544
[startup+1040.07 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1276 0 0 0 64493 2147 0 0 25 0 1 0 20238595 8617984 1246 4294967295 134512640 134702520 3221223712 3221008448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1246 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 978.35
Current children cumulated vsize (Kb) 10544
[startup+1050.07 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1279 0 0 0 65385 2180 0 0 25 0 1 0 20238595 8617984 1249 4294967295 134512640 134702520 3221223712 3221125248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1249 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 987.6
Current children cumulated vsize (Kb) 10544
[startup+1060.07 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1280 0 0 0 66338 2195 0 0 23 0 1 0 20238595 8617984 1250 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1250 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 997.28
Current children cumulated vsize (Kb) 10544
[startup+1070.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1281 0 0 0 67156 2258 0 0 25 0 1 0 20238595 8617984 1251 4294967295 134512640 134702520 3221223712 3221052928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1251 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1006.09
Current children cumulated vsize (Kb) 10544
[startup+1080.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1283 0 0 0 68047 2290 0 0 25 0 1 0 20238595 8617984 1253 4294967295 134512640 134702520 3221223712 3221164588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1253 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1015.32
Current children cumulated vsize (Kb) 10544
[startup+1090.07 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1283 0 0 0 68999 2307 0 0 17 0 1 0 20238595 8617984 1253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1253 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1025.01
Current children cumulated vsize (Kb) 10544
[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1283 0 0 0 69936 2326 0 0 25 0 1 0 20238595 8617984 1253 4294967295 134512640 134702520 3221223712 3220715468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1253 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1034.57
Current children cumulated vsize (Kb) 10544
[startup+1110.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1283 0 0 0 70827 2362 0 0 25 0 1 0 20238595 8617984 1253 4294967295 134512640 134702520 3221223712 3220891468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1253 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1043.84
Current children cumulated vsize (Kb) 10544
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1287 0 0 0 71719 2395 0 0 25 0 1 0 20238595 8617984 1257 4294967295 134512640 134702520 3221223712 3221029868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1257 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1053.09
Current children cumulated vsize (Kb) 10544
[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1290 0 0 0 72606 2430 0 0 25 0 1 0 20238595 8617984 1260 4294967295 134512640 134702520 3221223712 3221150048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1260 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (Kb) 10544
[startup+1140.07 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1292 0 0 0 73567 2441 0 0 21 0 1 0 20238595 8617984 1262 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1262 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1072.03
Current children cumulated vsize (Kb) 10544
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1293 0 0 0 74368 2509 0 0 25 0 1 0 20238595 8617984 1263 4294967295 134512640 134702520 3221223712 3221084448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1263 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1080.72
Current children cumulated vsize (Kb) 10544
[startup+1160.08 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1294 0 0 0 75254 2543 0 0 22 0 1 0 20238595 8617984 1264 4294967295 134512640 134702520 3221223712 3221197548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1264 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1089.92
Current children cumulated vsize (Kb) 10544
[startup+1170.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1294 0 0 0 76255 2543 0 0 25 0 1 0 20238595 8617984 1264 4294967295 134512640 134702520 3221223712 3220446368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1264 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1099.93
Current children cumulated vsize (Kb) 10544
[startup+1180.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1297 0 0 0 77140 2580 0 0 25 0 1 0 20238595 8617984 1267 4294967295 134512640 134702520 3221223712 3220780608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1267 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1109.15
Current children cumulated vsize (Kb) 10544
[startup+1190.08 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1300 0 0 0 78031 2614 0 0 25 0 1 0 20238595 8617984 1270 4294967295 134512640 134702520 3221223712 3220942688 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1270 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1118.4
Current children cumulated vsize (Kb) 10544
[startup+1200.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1301 0 0 0 78915 2651 0 0 25 0 1 0 20238595 8617984 1271 4294967295 134512640 134702520 3221223712 3221076128 134612005 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1271 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1127.61
Current children cumulated vsize (Kb) 10544
[startup+1210.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1302 0 0 0 79803 2685 0 0 23 0 1 0 20238595 8617984 1272 4294967295 134512640 134702520 3221223712 3221193228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1272 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1136.83
Current children cumulated vsize (Kb) 10544
[startup+1220.08 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1303 0 0 0 80801 2686 0 0 25 0 1 0 20238595 8617984 1273 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1273 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1146.82
Current children cumulated vsize (Kb) 10544
[startup+1230.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1339 0 0 0 81570 2762 0 0 25 0 1 0 20238595 8699904 1309 4294967295 134512640 134702520 3221223712 3221135168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2124 1309 413 48 0 2076 0
[pid=5287] vsize: 8496
Current children cumulated CPU time (s) 1155.27
Current children cumulated vsize (Kb) 10624
[startup+1240.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1340 0 0 0 82484 2791 0 0 16 0 1 0 20238595 8699904 1310 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2124 1310 413 48 0 2076 0
[pid=5287] vsize: 8496
Current children cumulated CPU time (s) 1164.7
Current children cumulated vsize (Kb) 10624
[startup+1250.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1368 0 0 0 83456 2801 0 0 25 0 1 0 20238595 8699904 1334 4294967295 134512640 134702520 3221223712 3220675168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2124 1334 413 48 0 2076 0
[pid=5287] vsize: 8496
Current children cumulated CPU time (s) 1174.52
Current children cumulated vsize (Kb) 10624
[startup+1260.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1371 0 0 0 84344 2838 0 0 25 0 1 0 20238595 8699904 1337 4294967295 134512640 134702520 3221223712 3220874208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2124 1337 413 48 0 2076 0
[pid=5287] vsize: 8496
Current children cumulated CPU time (s) 1183.77
Current children cumulated vsize (Kb) 10624
[startup+1270.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1389 0 0 0 85232 2872 0 0 25 0 1 0 20238595 8945664 1355 4294967295 134512640 134702520 3221223712 3221023808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2184 1355 413 48 0 2136 0
[pid=5287] vsize: 8736
Current children cumulated CPU time (s) 1192.99
Current children cumulated vsize (Kb) 10864
[startup+1280.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1394 0 0 0 86108 2907 0 0 25 0 1 0 20238595 8945664 1360 4294967295 134512640 134702520 3221223712 3221154668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2184 1360 413 48 0 2136 0
[pid=5287] vsize: 8736
Current children cumulated CPU time (s) 1202.1
Current children cumulated vsize (Kb) 10864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1394 0 0 0 86108 2907 0 0 25 0 1 0 20238595 8945664 1360 4294967295 134512640 134702520 3221223712 3221154688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2184 1360 413 48 0 2136 0
[pid=5287] vsize: 8736
Current children cumulated CPU time (s) 1202.1
Current children cumulated vsize (Kb) 10864
Sending SIGTERM to -5282
Sleeping 2 seconds
New process pid=5289
New process pid=5290
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4044/stat
open syscall for file /proc/4044/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/4044/cmdline
open syscall for file /proc/4044/environ
open syscall for file /proc/4069/stat
open syscall for file /proc/4069/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/4069/cmdline
open syscall for file /proc/4069/environ
open syscall for file /proc/5243/stat
open syscall for file /proc/5243/status
open syscall for file /proc/5243/cmdline
open syscall for file /proc/5243/environ
open syscall for file /proc/5281/stat
open syscall for file /proc/5281/status
open syscall for file /proc/5281/cmdline
open syscall for file /proc/5281/environ
open syscall for file /proc/5282/stat
open syscall for file /proc/5282/status
open syscall for file /proc/5282/cmdline
open syscall for file /proc/5282/environ
open syscall for file /proc/5287/stat
open syscall for file /proc/5287/status
open syscall for file /proc/5287/cmdline
open syscall for file /proc/5287/environ
open syscall for file /proc/5289/stat
open syscall for file /proc/5289/status
open syscall for file /proc/5289/cmdline
open syscall for file /proc/5289/environ
open syscall for file /proc/5290/stat
open syscall for file /proc/5290/status
open syscall for file /proc/5290/cmdline
open syscall for file /proc/5290/environ
One traced child (pid=5289) exited with status: 0
One traced child (pid=5290) exited with status: 0
New process pid=5291
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=5291) exited with status: 0
New process pid=5292
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=5292) exited with status: 0
One traced child (pid=5282) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5282
One traced child (pid=5287) 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): 1282.09
CPU time (s): 892.161
CPU user time (s): 863.082
CPU system time (s): 29.0796
CPU usage (%): 69.5863
Max. virtual memory (cumulated for all children) (Kb): 10864