1:
seed: 0
Nr of vars set: 3336 (#equs: 0)
Nr of vars set: 5153 (#equs: 10)
#decisions: 630983; #end-nodes: 49584;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 987, #non-axs: 45
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/4854/stat): 4854 (vallstSAT2005PB) R 4853 4854 4061 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19814903 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 174 3 169 147 0 27 0
[pid=4854] 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=4855
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=4855) exited with status: 0
New process pid=4856
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=4856) exited with status: 0
New process pid=4857
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.0031 s]
Raw data (loadavg): 0.95 1.05 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1208 0 0 0 949 17 0 0 25 0 1 0 19814910 5844992 1043 4294967295 134512640 134702520 3221223952 3221126208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 1427 1043 413 48 0 1379 0
[pid=4857] vsize: 5708
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (Kb) 7836
[startup+20.0047 s]
Raw data (loadavg): 0.96 1.04 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1264 0 0 0 1844 51 0 0 23 0 1 0 19814910 8384512 1099 4294967295 134512640 134702520 3221223952 3221145968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2047 1099 413 48 0 1999 0
[pid=4857] vsize: 8188
Current children cumulated CPU time (s) 18.97
Current children cumulated vsize (Kb) 10316
[startup+30.0052 s]
Raw data (loadavg): 0.97 1.04 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1269 0 0 0 2742 84 0 0 25 0 1 0 19814910 8384512 1104 4294967295 134512640 134702520 3221223952 3220913152 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2047 1104 413 48 0 1999 0
[pid=4857] vsize: 8188
Current children cumulated CPU time (s) 28.28
Current children cumulated vsize (Kb) 10316
[startup+40.0048 s]
Raw data (loadavg): 0.97 1.04 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1306 0 0 0 3640 115 0 0 25 0 1 0 19814910 8531968 1141 4294967295 134512640 134702520 3221223952 3221045648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1141 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 37.57
Current children cumulated vsize (Kb) 10460
[startup+50.0054 s]
Raw data (loadavg): 0.98 1.04 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1307 0 0 0 4537 148 0 0 25 0 1 0 19814910 8531968 1142 4294967295 134512640 134702520 3221223952 3221159868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1142 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 46.87
Current children cumulated vsize (Kb) 10460
[startup+60.0059 s]
Raw data (loadavg): 0.98 1.04 1.06 1/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) T 4854 4854 4061 0 -1 0 1308 0 0 0 5487 163 0 0 17 0 1 0 19814910 8531968 1143 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1143 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 56.52
Current children cumulated vsize (Kb) 10460
[startup+70.0075 s]
Raw data (loadavg): 0.98 1.03 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1310 0 0 0 6439 179 0 0 25 0 1 0 19814910 8531968 1145 4294967295 134512640 134702520 3221223952 3220698128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1145 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 66.2
Current children cumulated vsize (Kb) 10460
[startup+80.0081 s]
Raw data (loadavg): 0.98 1.03 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1310 0 0 0 7331 215 0 0 25 0 1 0 19814910 8531968 1145 4294967295 134512640 134702520 3221223952 3220883728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1145 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 75.48
Current children cumulated vsize (Kb) 10460
[startup+90.0086 s]
Raw data (loadavg): 0.99 1.03 1.06 1/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) T 4854 4854 4061 0 -1 0 1310 0 0 0 8257 242 0 0 18 0 1 0 19814910 8531968 1145 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1145 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 85.01
Current children cumulated vsize (Kb) 10460
[startup+100.009 s]
Raw data (loadavg): 0.99 1.03 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1310 0 0 0 9193 263 0 0 25 0 1 0 19814910 8531968 1145 4294967295 134512640 134702520 3221223952 3220723088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1145 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 94.58
Current children cumulated vsize (Kb) 10460
[startup+110.01 s]
Raw data (loadavg): 0.99 1.03 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1311 0 0 0 10088 295 0 0 25 0 1 0 19814910 8531968 1146 4294967295 134512640 134702520 3221223952 3220897488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1146 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 103.85
Current children cumulated vsize (Kb) 10460
[startup+120.01 s]
Raw data (loadavg): 0.99 1.03 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1313 0 0 0 10981 328 0 0 25 0 1 0 19814910 8531968 1148 4294967295 134512640 134702520 3221223952 3221034448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1148 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 113.11
Current children cumulated vsize (Kb) 10460
[startup+130.011 s]
Raw data (loadavg): 0.99 1.03 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1314 0 0 0 11875 361 0 0 25 0 1 0 19814910 8531968 1149 4294967295 134512640 134702520 3221223952 3221151548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1149 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 122.38
Current children cumulated vsize (Kb) 10460
[startup+140.011 s]
Raw data (loadavg): 0.99 1.02 1.05 1/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) T 4854 4854 4061 0 -1 0 1315 0 0 0 12809 380 0 0 17 0 1 0 19814910 8531968 1150 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1150 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 131.91
Current children cumulated vsize (Kb) 10460
[startup+150.013 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1316 0 0 0 13768 394 0 0 25 0 1 0 19814910 8531968 1151 4294967295 134512640 134702520 3221223952 3220692988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1151 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 141.64
Current children cumulated vsize (Kb) 10460
[startup+160.014 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1317 0 0 0 14672 424 0 0 25 0 1 0 19814910 8531968 1152 4294967295 134512640 134702520 3221223952 3220877648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1152 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 150.98
Current children cumulated vsize (Kb) 10460
[startup+170.014 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1317 0 0 0 15590 452 0 0 17 0 1 0 19814910 8531968 1152 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1152 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 160.44
Current children cumulated vsize (Kb) 10460
[startup+180.015 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1317 0 0 0 16526 470 0 0 25 0 1 0 19814910 8531968 1152 4294967295 134512640 134702520 3221223952 3220723868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1152 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 10460
[startup+190.015 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1319 0 0 0 17422 504 0 0 25 0 1 0 19814910 8531968 1154 4294967295 134512640 134702520 3221223952 3220898268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1154 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 179.28
Current children cumulated vsize (Kb) 10460
[startup+200.016 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1321 0 0 0 18321 535 0 0 25 0 1 0 19814910 8531968 1156 4294967295 134512640 134702520 3221223952 3221031888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1156 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 188.58
Current children cumulated vsize (Kb) 10460
[startup+210.016 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1322 0 0 0 19217 569 0 0 25 0 1 0 19814910 8531968 1157 4294967295 134512640 134702520 3221223952 3221146928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1157 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 197.88
Current children cumulated vsize (Kb) 10460
[startup+220.018 s]
Raw data (loadavg): 0.99 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1322 0 0 0 20153 592 0 0 17 0 1 0 19814910 8531968 1157 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1157 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 207.47
Current children cumulated vsize (Kb) 10460
[startup+230.019 s]
Raw data (loadavg): 0.99 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1323 0 0 0 21111 606 0 0 25 0 1 0 19814910 8531968 1158 4294967295 134512640 134702520 3221223952 3220697628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1158 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 217.19
Current children cumulated vsize (Kb) 10460
[startup+240.019 s]
Raw data (loadavg): 0.99 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1323 0 0 0 22007 640 0 0 25 0 1 0 19814910 8531968 1158 4294967295 134512640 134702520 3221223952 3220883228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1158 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 226.49
Current children cumulated vsize (Kb) 10460
[startup+250.021 s]
Raw data (loadavg): 0.99 1.01 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1324 0 0 0 22937 663 0 0 16 0 1 0 19814910 8531968 1159 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1159 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 236.02
Current children cumulated vsize (Kb) 10460
[startup+260.021 s]
Raw data (loadavg): 1.07 1.03 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1325 0 0 0 23860 687 0 0 25 0 1 0 19814910 8531968 1160 4294967295 134512640 134702520 3221223952 3220738928 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1160 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 245.49
Current children cumulated vsize (Kb) 10460
[startup+270.022 s]
Raw data (loadavg): 1.06 1.03 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1326 0 0 0 24758 719 0 0 25 0 1 0 19814910 8531968 1161 4294967295 134512640 134702520 3221223952 3220914448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1161 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 254.79
Current children cumulated vsize (Kb) 10460
[startup+280.022 s]
Raw data (loadavg): 1.05 1.03 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1327 0 0 0 25651 753 0 0 25 0 1 0 19814910 8531968 1162 4294967295 134512640 134702520 3221223952 3221051388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1162 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 264.06
Current children cumulated vsize (Kb) 10460
[startup+290.023 s]
Raw data (loadavg): 1.04 1.03 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1329 0 0 0 26546 788 0 0 25 0 1 0 19814910 8531968 1164 4294967295 134512640 134702520 3221223952 3221165648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1164 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 273.36
Current children cumulated vsize (Kb) 10460
[startup+300.024 s]
Raw data (loadavg): 1.03 1.03 1.04 1/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) T 4854 4854 4061 0 -1 0 1329 0 0 0 27504 803 0 0 17 0 1 0 19814910 8531968 1164 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1164 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 283.09
Current children cumulated vsize (Kb) 10460
[startup+310.024 s]
Raw data (loadavg): 1.03 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1330 0 0 0 28442 822 0 0 25 0 1 0 19814910 8531968 1165 4294967295 134512640 134702520 3221223952 3220728188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1165 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 292.66
Current children cumulated vsize (Kb) 10460
[startup+320.026 s]
Raw data (loadavg): 1.02 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1331 0 0 0 29342 853 0 0 25 0 1 0 19814910 8531968 1166 4294967295 134512640 134702520 3221223952 3220905328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1166 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 301.97
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
[startup+330.026 s]
Raw data (loadavg): 1.02 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (Kb) 2128
One traced child (pid=4857) exited with status: 2
New process pid=4858
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=4858) exited with status: 0
New process pid=4859
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+340.026 s]
Raw data (loadavg): 1.02 1.02 1.04 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 884 0 0 0 958 14 0 0 21 0 1 0 19847914 5206016 854 4294967295 134512640 134702520 3221223712 3221222848 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1271 854 413 48 0 1223 0
[pid=4859] vsize: 5084
Current children cumulated CPU time (s) 321.43
Current children cumulated vsize (Kb) 7212
[startup+350.026 s]
Raw data (loadavg): 1.01 1.02 1.04 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 947 0 0 0 1787 71 0 0 25 0 1 0 19847914 7421952 917 4294967295 134512640 134702520 3221223712 3221156428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1812 917 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 330.29
Current children cumulated vsize (Kb) 9376
[startup+360.027 s]
Raw data (loadavg): 1.01 1.02 1.04 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 948 0 0 0 2730 90 0 0 16 0 1 0 19847914 7421952 918 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 918 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 339.91
Current children cumulated vsize (Kb) 9376
[startup+370.028 s]
Raw data (loadavg): 1.01 1.02 1.04 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 952 0 0 0 3686 104 0 0 25 0 1 0 19847914 7421952 922 4294967295 134512640 134702520 3221223712 3220679948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 922 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 349.61
Current children cumulated vsize (Kb) 9376
[startup+380.029 s]
Raw data (loadavg): 1.01 1.02 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 955 0 0 0 4591 132 0 0 25 0 1 0 19847914 7421952 925 4294967295 134512640 134702520 3221223712 3220841708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 925 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 358.94
Current children cumulated vsize (Kb) 9376
[startup+390.03 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 959 0 0 0 5491 166 0 0 25 0 1 0 19847914 7421952 929 4294967295 134512640 134702520 3221223712 3220972128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1812 929 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 368.28
Current children cumulated vsize (Kb) 9376
[startup+400.03 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 962 0 0 0 6393 198 0 0 25 0 1 0 19847914 7421952 932 4294967295 134512640 134702520 3221223712 3221083168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 932 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 377.62
Current children cumulated vsize (Kb) 9376
[startup+410.031 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 966 0 0 0 7294 228 0 0 25 0 1 0 19847914 7421952 936 4294967295 134512640 134702520 3221223712 3221178208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 936 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 386.93
Current children cumulated vsize (Kb) 9376
[startup+420.031 s]
Raw data (loadavg): 1.00 1.01 1.03 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 969 0 0 0 8266 236 0 0 18 0 1 0 19847914 7561216 939 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1846 939 413 48 0 1798 0
[pid=4859] vsize: 7384
Current children cumulated CPU time (s) 396.73
Current children cumulated vsize (Kb) 9512
[startup+430.033 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 969 0 0 0 9086 292 0 0 25 0 1 0 19847914 7499776 939 4294967295 134512640 134702520 3221223712 3221094828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 939 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 405.49
Current children cumulated vsize (Kb) 9452
[startup+440.032 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 971 0 0 0 9987 326 0 0 23 0 1 0 19847914 7499776 941 4294967295 134512640 134702520 3221223712 3221192448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 941 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 414.84
Current children cumulated vsize (Kb) 9452
[startup+450.033 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 971 0 0 0 10987 326 0 0 25 0 1 0 19847914 7499776 941 4294967295 134512640 134702520 3221223712 3220427948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 941 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 424.84
Current children cumulated vsize (Kb) 9452
[startup+460.034 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 973 0 0 0 11886 359 0 0 25 0 1 0 19847914 7499776 943 4294967295 134512640 134702520 3221223712 3220764588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 943 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 434.16
Current children cumulated vsize (Kb) 9452
[startup+470.034 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 978 0 0 0 12791 388 0 0 25 0 1 0 19847914 7499776 948 4294967295 134512640 134702520 3221223712 3220914848 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 948 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 443.5
Current children cumulated vsize (Kb) 9452
[startup+480.035 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 979 0 0 0 13686 419 0 0 25 0 1 0 19847914 7499776 949 4294967295 134512640 134702520 3221223712 3221033868 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 949 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 452.76
Current children cumulated vsize (Kb) 9452
[startup+490.035 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 981 0 0 0 14586 454 0 0 25 0 1 0 19847914 7499776 951 4294967295 134512640 134702520 3221223712 3221136928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 951 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (Kb) 9452
[startup+500.036 s]
Raw data (loadavg): 1.00 1.01 1.02 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 985 0 0 0 15544 467 0 0 21 0 1 0 19847914 7499776 955 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 955 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 471.82
Current children cumulated vsize (Kb) 9452
[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 986 0 0 0 16364 527 0 0 25 0 1 0 19847914 7499776 956 4294967295 134512640 134702520 3221223712 3221052448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 956 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 480.62
Current children cumulated vsize (Kb) 9452
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 989 0 0 0 17265 560 0 0 25 0 1 0 19847914 7499776 959 4294967295 134512640 134702520 3221223712 3221152108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 959 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 489.96
Current children cumulated vsize (Kb) 9452
[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.02 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 991 0 0 0 18201 579 0 0 16 0 1 0 19847914 7499776 961 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 961 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 499.51
Current children cumulated vsize (Kb) 9452
[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 992 0 0 0 19167 589 0 0 25 0 1 0 19847914 7499776 962 4294967295 134512640 134702520 3221223712 3220679168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 962 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 509.27
Current children cumulated vsize (Kb) 9452
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 993 0 0 0 20069 621 0 0 25 0 1 0 19847914 7499776 963 4294967295 134512640 134702520 3221223712 3220848268 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 963 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 518.61
Current children cumulated vsize (Kb) 9452
[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 993 0 0 0 20969 653 0 0 25 0 1 0 19847914 7499776 963 4294967295 134512640 134702520 3221223712 3220976588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 963 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 527.93
Current children cumulated vsize (Kb) 9452
[startup+570.041 s]
Raw data (loadavg): 1.08 1.02 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1000 0 0 0 21868 684 0 0 25 0 1 0 19847914 7499776 970 4294967295 134512640 134702520 3221223712 3221086688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 970 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 537.23
Current children cumulated vsize (Kb) 9452
[startup+580.041 s]
Raw data (loadavg): 1.07 1.02 1.02 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1002 0 0 0 22811 704 0 0 24 0 1 0 19847914 7643136 972 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1866 972 413 48 0 1818 0
[pid=4859] vsize: 7464
Current children cumulated CPU time (s) 546.86
Current children cumulated vsize (Kb) 9592
[startup+590.041 s]
Raw data (loadavg): 1.06 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1003 0 0 0 23659 756 0 0 25 0 1 0 19847914 7581696 973 4294967295 134512640 134702520 3221223712 3220993888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1851 973 413 48 0 1803 0
[pid=4859] vsize: 7404
Current children cumulated CPU time (s) 555.86
Current children cumulated vsize (Kb) 9532
[startup+600.041 s]
Raw data (loadavg): 1.05 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1066 0 0 0 24556 786 0 0 25 0 1 0 19847914 7827456 1036 4294967295 134512640 134702520 3221223712 3221105248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1911 1036 413 48 0 1863 0
[pid=4859] vsize: 7644
Current children cumulated CPU time (s) 565.13
Current children cumulated vsize (Kb) 9772
[startup+610.042 s]
Raw data (loadavg): 1.04 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1121 0 0 0 25454 818 0 0 20 0 1 0 19847914 8073216 1091 4294967295 134512640 134702520 3221223712 3221203948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1971 1091 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 574.43
Current children cumulated vsize (Kb) 10012
[startup+620.043 s]
Raw data (loadavg): 1.03 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1121 0 0 0 26454 818 0 0 25 0 1 0 19847914 8073216 1091 4294967295 134512640 134702520 3221223712 3220517232 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1971 1091 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 584.43
Current children cumulated vsize (Kb) 10012
[startup+630.043 s]
Raw data (loadavg): 1.10 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1133 0 0 0 27358 847 0 0 25 0 1 0 19847914 8073216 1103 4294967295 134512640 134702520 3221223712 3220781068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1971 1103 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 593.76
Current children cumulated vsize (Kb) 10012
[startup+640.044 s]
Raw data (loadavg): 1.08 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1179 0 0 0 28258 881 0 0 25 0 1 0 19847914 8073216 1149 4294967295 134512640 134702520 3221223712 3220937248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1971 1149 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 603.1
Current children cumulated vsize (Kb) 10012
[startup+650.044 s]
Raw data (loadavg): 1.15 1.04 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1183 0 0 0 29150 914 0 0 25 0 1 0 19847914 8073216 1153 4294967295 134512640 134702520 3221223712 3221064928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1971 1153 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 612.35
Current children cumulated vsize (Kb) 10012
[startup+660.045 s]
Raw data (loadavg): 1.13 1.04 1.02 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1186 0 0 0 30083 936 0 0 19 0 1 0 19847914 8228864 1156 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2009 1156 413 48 0 1961 0
[pid=4859] vsize: 8036
Current children cumulated CPU time (s) 621.9
Current children cumulated vsize (Kb) 10164
[startup+670.046 s]
Raw data (loadavg): 1.11 1.04 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1187 0 0 0 30926 987 0 0 25 0 1 0 19847914 8167424 1157 4294967295 134512640 134702520 3221223712 3220979168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1994 1157 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 630.84
Current children cumulated vsize (Kb) 10104
[startup+680.047 s]
Raw data (loadavg): 1.09 1.04 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1189 0 0 0 31828 1017 0 0 25 0 1 0 19847914 8167424 1159 4294967295 134512640 134702520 3221223712 3221094048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1994 1159 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 640.16
Current children cumulated vsize (Kb) 10104
[startup+690.047 s]
Raw data (loadavg): 1.08 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1196 0 0 0 32724 1052 0 0 20 0 1 0 19847914 8167424 1166 4294967295 134512640 134702520 3221223712 3221200768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1994 1166 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 649.47
Current children cumulated vsize (Kb) 10104
[startup+700.047 s]
Raw data (loadavg): 1.06 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1196 0 0 0 33724 1052 0 0 25 0 1 0 19847914 8167424 1166 4294967295 134512640 134702520 3221223712 3220489228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1994 1166 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 659.47
Current children cumulated vsize (Kb) 10104
[startup+710.047 s]
Raw data (loadavg): 1.05 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1203 0 0 0 34622 1086 0 0 25 0 1 0 19847914 8167424 1173 4294967295 134512640 134702520 3221223712 3220777888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1994 1173 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 668.79
Current children cumulated vsize (Kb) 10104
[startup+720.047 s]
Raw data (loadavg): 1.05 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1207 0 0 0 35519 1120 0 0 25 0 1 0 19847914 8167424 1177 4294967295 134512640 134702520 3221223712 3220936768 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1994 1177 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 678.1
Current children cumulated vsize (Kb) 10104
[startup+730.048 s]
Raw data (loadavg): 1.04 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1210 0 0 0 36421 1149 0 0 25 0 1 0 19847914 8167424 1180 4294967295 134512640 134702520 3221223712 3221063008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1994 1180 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 687.41
Current children cumulated vsize (Kb) 10104
[startup+740.048 s]
Raw data (loadavg): 1.03 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1213 0 0 0 37358 1168 0 0 24 0 1 0 19847914 8302592 1183 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2027 1183 413 48 0 1979 0
[pid=4859] vsize: 8108
Current children cumulated CPU time (s) 696.97
Current children cumulated vsize (Kb) 10236
[startup+750.049 s]
Raw data (loadavg): 1.03 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1215 0 0 0 38206 1220 0 0 25 0 1 0 19847914 8241152 1185 4294967295 134512640 134702520 3221223712 3220974028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2012 1185 413 48 0 1964 0
[pid=4859] vsize: 8048
Current children cumulated CPU time (s) 705.97
Current children cumulated vsize (Kb) 10176
[startup+760.049 s]
Raw data (loadavg): 1.02 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1220 0 0 0 39104 1253 0 0 25 0 1 0 19847914 8241152 1190 4294967295 134512640 134702520 3221223712 3221092108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2012 1190 413 48 0 1964 0
[pid=4859] vsize: 8048
Current children cumulated CPU time (s) 715.28
Current children cumulated vsize (Kb) 10176
[startup+770.051 s]
Raw data (loadavg): 1.02 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1222 0 0 0 39996 1286 0 0 21 0 1 0 19847914 8241152 1192 4294967295 134512640 134702520 3221223712 3221196928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2012 1192 413 48 0 1964 0
[pid=4859] vsize: 8048
Current children cumulated CPU time (s) 724.53
Current children cumulated vsize (Kb) 10176
[startup+780.052 s]
Raw data (loadavg): 1.02 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1222 0 0 0 40997 1286 0 0 25 0 1 0 19847914 8241152 1192 4294967295 134512640 134702520 3221223712 3220432128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2012 1192 413 48 0 1964 0
[pid=4859] vsize: 8048
Current children cumulated CPU time (s) 734.54
Current children cumulated vsize (Kb) 10176
[startup+790.052 s]
Raw data (loadavg): 1.01 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1226 0 0 0 41895 1319 0 0 25 0 1 0 19847914 8486912 1196 4294967295 134512640 134702520 3221223712 3220771148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1196 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 743.85
Current children cumulated vsize (Kb) 10416
[startup+800.053 s]
Raw data (loadavg): 1.01 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1228 0 0 0 42791 1355 0 0 25 0 1 0 19847914 8486912 1198 4294967295 134512640 134702520 3221223712 3220928268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1198 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 753.17
Current children cumulated vsize (Kb) 10416
[startup+810.053 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1232 0 0 0 43685 1390 0 0 25 0 1 0 19847914 8486912 1202 4294967295 134512640 134702520 3221223712 3221056908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1202 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 762.46
Current children cumulated vsize (Kb) 10416
[startup+820.054 s]
Raw data (loadavg): 1.07 1.03 1.01 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1235 0 0 0 44616 1413 0 0 24 0 1 0 19847914 8486912 1205 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1205 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 772
Current children cumulated vsize (Kb) 10416
[startup+830.054 s]
Raw data (loadavg): 1.06 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1236 0 0 0 45457 1464 0 0 25 0 1 0 19847914 8486912 1206 4294967295 134512640 134702520 3221223712 3220974828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1206 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 780.92
Current children cumulated vsize (Kb) 10416
[startup+840.055 s]
Raw data (loadavg): 1.05 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1238 0 0 0 46355 1499 0 0 25 0 1 0 19847914 8486912 1208 4294967295 134512640 134702520 3221223712 3221096288 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2072 1208 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 790.25
Current children cumulated vsize (Kb) 10416
[startup+850.057 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1241 0 0 0 47249 1533 0 0 20 0 1 0 19847914 8486912 1211 4294967295 134512640 134702520 3221223712 3221205868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1211 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 799.53
Current children cumulated vsize (Kb) 10416
[startup+860.057 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1241 0 0 0 48249 1533 0 0 25 0 1 0 19847914 8486912 1211 4294967295 134512640 134702520 3221223712 3220532108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1211 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 809.53
Current children cumulated vsize (Kb) 10416
[startup+870.058 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1245 0 0 0 49142 1567 0 0 25 0 1 0 19847914 8486912 1215 4294967295 134512640 134702520 3221223712 3220791948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1215 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 818.8
Current children cumulated vsize (Kb) 10416
[startup+880.058 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1247 0 0 0 50033 1603 0 0 25 0 1 0 19847914 8486912 1217 4294967295 134512640 134702520 3221223712 3220948748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1217 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 828.07
Current children cumulated vsize (Kb) 10416
[startup+890.058 s]
Raw data (loadavg): 1.07 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1249 0 0 0 50921 1638 0 0 25 0 1 0 19847914 8486912 1219 4294967295 134512640 134702520 3221223712 3221079808 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1219 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 837.3
Current children cumulated vsize (Kb) 10416
[startup+900.058 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1252 0 0 0 51862 1660 0 0 24 0 1 0 19847914 8646656 1222 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2111 1222 413 48 0 2063 0
[pid=4859] vsize: 8444
Current children cumulated CPU time (s) 846.93
Current children cumulated vsize (Kb) 10572
[startup+910.059 s]
Raw data (loadavg): 1.05 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1253 0 0 0 52702 1710 0 0 25 0 1 0 19847914 8585216 1223 4294967295 134512640 134702520 3221223712 3220995148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1223 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 855.83
Current children cumulated vsize (Kb) 10512
[startup+920.059 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1258 0 0 0 53591 1746 0 0 25 0 1 0 19847914 8585216 1228 4294967295 134512640 134702520 3221223712 3221115328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1228 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 865.08
Current children cumulated vsize (Kb) 10512
[startup+930.06 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1261 0 0 0 54485 1779 0 0 17 0 1 0 19847914 8585216 1231 4294967295 134512640 134702520 3221223712 3221220128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1231 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 874.35
Current children cumulated vsize (Kb) 10512
[startup+940.06 s]
Raw data (loadavg): 1.03 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1261 0 0 0 55485 1779 0 0 25 0 1 0 19847914 8585216 1231 4294967295 134512640 134702520 3221223712 3220605868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1231 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 884.35
Current children cumulated vsize (Kb) 10512
[startup+950.06 s]
Raw data (loadavg): 1.02 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1271 0 0 0 56372 1814 0 0 25 0 1 0 19847914 8585216 1241 4294967295 134512640 134702520 3221223712 3220828928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2096 1241 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 893.57
Current children cumulated vsize (Kb) 10512
[startup+960.061 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1277 0 0 0 57265 1848 0 0 25 0 1 0 19847914 8585216 1247 4294967295 134512640 134702520 3221223712 3220978688 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1247 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 902.84
Current children cumulated vsize (Kb) 10512
[startup+970.062 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1278 0 0 0 58148 1887 0 0 25 0 1 0 19847914 8585216 1248 4294967295 134512640 134702520 3221223712 3221102188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2096 1248 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 912.06
Current children cumulated vsize (Kb) 10512
[startup+980.063 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1280 0 0 0 59096 1907 0 0 23 0 1 0 19847914 8585216 1250 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1250 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 921.74
Current children cumulated vsize (Kb) 10512
[startup+990.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1281 0 0 0 59919 1968 0 0 25 0 1 0 19847914 8585216 1251 4294967295 134512640 134702520 3221223712 3221020768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1251 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 930.58
Current children cumulated vsize (Kb) 10512
[startup+1000.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1282 0 0 0 60811 2004 0 0 25 0 1 0 19847914 8585216 1252 4294967295 134512640 134702520 3221223712 3221135488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1252 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 939.86
Current children cumulated vsize (Kb) 10512
[startup+1010.06 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1283 0 0 0 61722 2032 0 0 16 0 1 0 19847914 8585216 1253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1253 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 949.25
Current children cumulated vsize (Kb) 10512
[startup+1020.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1283 0 0 0 62706 2037 0 0 25 0 1 0 19847914 8585216 1253 4294967295 134512640 134702520 3221223712 3220644748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1253 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 959.14
Current children cumulated vsize (Kb) 10512
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1287 0 0 0 63599 2070 0 0 25 0 1 0 19847914 8585216 1257 4294967295 134512640 134702520 3221223712 3220846348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2096 1257 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 968.4
Current children cumulated vsize (Kb) 10512
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1289 0 0 0 64483 2108 0 0 25 0 1 0 19847914 8585216 1259 4294967295 134512640 134702520 3221223712 3220994848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1259 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 977.62
Current children cumulated vsize (Kb) 10512
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1292 0 0 0 65376 2143 0 0 25 0 1 0 19847914 8585216 1262 4294967295 134512640 134702520 3221223712 3221113888 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1262 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 986.9
Current children cumulated vsize (Kb) 10512
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1294 0 0 0 66327 2159 0 0 23 0 1 0 19847914 8740864 1264 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2134 1264 413 48 0 2086 0
[pid=4859] vsize: 8536
Current children cumulated CPU time (s) 996.57
Current children cumulated vsize (Kb) 10664
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1294 0 0 0 67149 2222 0 0 25 0 1 0 19847914 8679424 1264 4294967295 134512640 134702520 3221223712 3221037248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1264 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1005.42
Current children cumulated vsize (Kb) 10604
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1295 0 0 0 68043 2259 0 0 25 0 1 0 19847914 8679424 1265 4294967295 134512640 134702520 3221223712 3221149568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1265 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1014.73
Current children cumulated vsize (Kb) 10604
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1297 0 0 0 68975 2281 0 0 17 0 1 0 19847914 8679424 1267 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1267 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1024.27
Current children cumulated vsize (Kb) 10604
[startup+1100.07 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1300 0 0 0 69935 2295 0 0 25 0 1 0 19847914 8679424 1270 4294967295 134512640 134702520 3221223712 3220691328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2119 1270 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1034.01
Current children cumulated vsize (Kb) 10604
[startup+1110.07 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1301 0 0 0 70822 2330 0 0 25 0 1 0 19847914 8679424 1271 4294967295 134512640 134702520 3221223712 3220883008 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2119 1271 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1043.23
Current children cumulated vsize (Kb) 10604
[startup+1120.07 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1303 0 0 0 71713 2365 0 0 25 0 1 0 19847914 8679424 1273 4294967295 134512640 134702520 3221223712 3221022348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1273 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1052.49
Current children cumulated vsize (Kb) 10604
[startup+1130.07 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1303 0 0 0 72603 2401 0 0 25 0 1 0 19847914 8679424 1273 4294967295 134512640 134702520 3221223712 3221139648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1273 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (Kb) 10604
[startup+1140.07 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1305 0 0 0 73558 2414 0 0 22 0 1 0 19847914 8679424 1275 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1275 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1071.43
Current children cumulated vsize (Kb) 10604
[startup+1150.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1306 0 0 0 74364 2478 0 0 25 0 1 0 19847914 8679424 1276 4294967295 134512640 134702520 3221223712 3221072768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1276 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1080.13
Current children cumulated vsize (Kb) 10604
[startup+1160.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1309 0 0 0 75254 2512 0 0 25 0 1 0 19847914 8679424 1279 4294967295 134512640 134702520 3221223712 3221183328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1279 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1089.37
Current children cumulated vsize (Kb) 10604
[startup+1170.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1310 0 0 0 76235 2518 0 0 17 0 1 0 19847914 8679424 1280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1280 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1099.24
Current children cumulated vsize (Kb) 10604
[startup+1180.07 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1318 0 0 0 77142 2547 0 0 25 0 1 0 19847914 8679424 1288 4294967295 134512640 134702520 3221223712 3220756768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1288 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1108.6
Current children cumulated vsize (Kb) 10604
[startup+1190.07 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1319 0 0 0 78031 2581 0 0 25 0 1 0 19847914 8679424 1289 4294967295 134512640 134702520 3221223712 3220926188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1289 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1117.83
Current children cumulated vsize (Kb) 10604
[startup+1200.08 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1319 0 0 0 78918 2615 0 0 25 0 1 0 19847914 8679424 1289 4294967295 134512640 134702520 3221223712 3221064448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2119 1289 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1127.04
Current children cumulated vsize (Kb) 10604
[startup+1210.08 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1321 0 0 0 79802 2654 0 0 24 0 1 0 19847914 8679424 1291 4294967295 134512640 134702520 3221223712 3221188128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1291 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1136.27
Current children cumulated vsize (Kb) 10604
[startup+1220.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1322 0 0 0 80791 2658 0 0 22 0 1 0 19847914 8679424 1292 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2119 1292 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1146.2
Current children cumulated vsize (Kb) 10604
[startup+1230.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1326 0 0 0 81576 2729 0 0 25 0 1 0 19847914 8753152 1296 4294967295 134512640 134702520 3221223712 3221124108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2137 1296 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1154.76
Current children cumulated vsize (Kb) 10676
[startup+1240.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1327 0 0 0 82478 2762 0 0 17 0 1 0 19847914 8753152 1297 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1297 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1164.11
Current children cumulated vsize (Kb) 10676
[startup+1250.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1337 0 0 0 83464 2767 0 0 25 0 1 0 19847914 8753152 1307 4294967295 134512640 134702520 3221223712 3220654348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1307 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1174.02
Current children cumulated vsize (Kb) 10676
[startup+1260.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1361 0 0 0 84351 2802 0 0 25 0 1 0 19847914 8753152 1331 4294967295 134512640 134702520 3221223712 3220866348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1331 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1183.24
Current children cumulated vsize (Kb) 10676
[startup+1270.08 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1363 0 0 0 85237 2839 0 0 25 0 1 0 19847914 8753152 1333 4294967295 134512640 134702520 3221223712 3221021708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2137 1333 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1192.47
Current children cumulated vsize (Kb) 10676
[startup+1280.08 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1367 0 0 0 86119 2876 0 0 25 0 1 0 19847914 8753152 1337 4294967295 134512640 134702520 3221223712 3221149888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1337 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1201.66
Current children cumulated vsize (Kb) 10676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.08 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1367 0 0 0 86119 2876 0 0 25 0 1 0 19847914 8753152 1337 4294967295 134512640 134702520 3221223712 3221149888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1337 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1201.66
Current children cumulated vsize (Kb) 10676
Sending SIGTERM to -4854
Sleeping 2 seconds
New process pid=4861
New process pid=4862
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/4815/stat
open syscall for file /proc/4815/status
open syscall for file /proc/4815/cmdline
open syscall for file /proc/4815/environ
open syscall for file /proc/4853/stat
open syscall for file /proc/4853/status
open syscall for file /proc/4853/cmdline
open syscall for file /proc/4853/environ
open syscall for file /proc/4854/stat
open syscall for file /proc/4854/status
open syscall for file /proc/4854/cmdline
open syscall for file /proc/4854/environ
open syscall for file /proc/4859/stat
open syscall for file /proc/4859/status
open syscall for file /proc/4859/cmdline
open syscall for file /proc/4859/environ
open syscall for file /proc/4861/stat
open syscall for file /proc/4861/status
open syscall for file /proc/4861/cmdline
open syscall for file /proc/4861/environ
open syscall for file /proc/4862/stat
open syscall for file /proc/4862/status
open syscall for file /proc/4862/cmdline
open syscall for file /proc/4862/environ
One traced child (pid=4861) exited with status: 0
One traced child (pid=4862) exited with status: 0
New process pid=4863
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=4863) exited with status: 0
New process pid=4864
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=4864) exited with status: 0
One traced child (pid=4854) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4854
One traced child (pid=4859) 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): 891.962
CPU user time (s): 863.193
CPU system time (s): 28.7696
CPU usage (%): 69.5709
Max. virtual memory (cumulated for all children) (Kb): 10676