1:
seed: 0
Nr of vars set: 5652 (#equs: 0)
Nr of vars set: 6135 (#equs: 1)
#decisions: 404062; #end-nodes: 20022;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 667, #non-axs: 481
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: 6135 (#equs: 1)
Time taken: 5 min, 30 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/4674/stat): 4674 (vallstSAT2005PB) R 4673 4674 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19689696 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4674/statm): 174 3 169 147 0 27 0
[pid=4674] 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=4675
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=4675) exited with status: 0
New process pid=4676
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=4676) exited with status: 0
New process pid=4677
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/wulflinc30/normalized-mps-v2-13-7-degen2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.003 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1093 0 0 0 982 7 0 0 25 0 1 0 19689703 5812224 977 4294967295 134512640 134702520 3221223952 3220835648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 1419 977 413 48 0 1371 0
[pid=4677] vsize: 5676
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 7804
[startup+20.0048 s]
Raw data (loadavg): 1.05 1.02 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1300 0 0 0 1946 20 0 0 25 0 1 0 19689703 10493952 1184 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1184 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (Kb) 12376
[startup+30.0056 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1314 0 0 0 2846 54 0 0 25 0 1 0 19689703 10493952 1198 4294967295 134512640 134702520 3221223952 3221162108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1198 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 29.03
Current children cumulated vsize (Kb) 12376
[startup+40.0054 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1314 0 0 0 3846 54 0 0 25 0 1 0 19689703 10493952 1198 4294967295 134512640 134702520 3221223952 3220517948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1198 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 39.03
Current children cumulated vsize (Kb) 12376
[startup+50.0072 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1314 0 0 0 4725 93 0 0 25 0 1 0 19689703 10493952 1198 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1198 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 48.21
Current children cumulated vsize (Kb) 12376
[startup+60.008 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 5697 103 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220998428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 58.03
Current children cumulated vsize (Kb) 12376
[startup+70.0098 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 6666 113 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 67.82
Current children cumulated vsize (Kb) 12376
[startup+80.0105 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 7552 151 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221208668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 77.06
Current children cumulated vsize (Kb) 12376
[startup+90.0103 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 8552 151 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220849788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 87.06
Current children cumulated vsize (Kb) 12376
[startup+100.011 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 9485 173 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 96.61
Current children cumulated vsize (Kb) 12376
[startup+110.012 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 10432 191 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221070588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 106.26
Current children cumulated vsize (Kb) 12376
[startup+120.013 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 11432 191 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 116.26
Current children cumulated vsize (Kb) 12376
[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 12307 233 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 125.43
Current children cumulated vsize (Kb) 12376
[startup+140.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 13292 238 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220953468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 135.33
Current children cumulated vsize (Kb) 12376
[startup+150.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 14245 251 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 144.99
Current children cumulated vsize (Kb) 12376
[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 15146 286 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221169488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 154.35
Current children cumulated vsize (Kb) 12376
[startup+170.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 16146 286 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220759728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 164.35
Current children cumulated vsize (Kb) 12376
[startup+180.018 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 17065 312 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 173.8
Current children cumulated vsize (Kb) 12376
[startup+190.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 17985 340 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221109328 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 183.28
Current children cumulated vsize (Kb) 12376
[startup+200.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 18985 340 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220569308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 193.28
Current children cumulated vsize (Kb) 12376
[startup+210.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 19885 372 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 202.6
Current children cumulated vsize (Kb) 12376
[startup+220.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 20838 387 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221049808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 212.28
Current children cumulated vsize (Kb) 12376
[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 21829 390 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (Kb) 12376
[startup+240.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 22711 431 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 231.45
Current children cumulated vsize (Kb) 12376
[startup+250.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 23682 442 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3220993808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 241.27
Current children cumulated vsize (Kb) 12376
[startup+260.026 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1359 0 0 0 24654 450 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 251.07
Current children cumulated vsize (Kb) 12376
[startup+270.027 s]
Raw data (loadavg): 1.07 1.02 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 25543 488 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3221217008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 260.34
Current children cumulated vsize (Kb) 12376
[startup+280.028 s]
Raw data (loadavg): 1.06 1.02 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 26543 488 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3220868668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 270.34
Current children cumulated vsize (Kb) 12376
[startup+290.028 s]
Raw data (loadavg): 1.05 1.01 0.95 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1359 0 0 0 27487 508 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (Kb) 12376
[startup+300.029 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1364 0 0 0 28419 533 0 0 25 0 1 0 19689703 10493952 1248 4294967295 134512640 134702520 3221223952 3221111888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1248 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 289.55
Current children cumulated vsize (Kb) 12376
[startup+310.03 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1364 0 0 0 29419 533 0 0 25 0 1 0 19689703 10493952 1248 4294967295 134512640 134702520 3221223952 3220579712 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1248 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 299.55
Current children cumulated vsize (Kb) 12376
[startup+320.03 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1367 0 0 0 30329 560 0 0 25 0 1 0 19689703 10493952 1251 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1251 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 308.92
Current children cumulated vsize (Kb) 12376
[startup+330.031 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1374 0 0 0 31274 578 0 0 25 0 1 0 19689703 10493952 1258 4294967295 134512640 134702520 3221223952 3221095548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1258 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 318.55
Current children cumulated vsize (Kb) 12376
[startup+340.032 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1374 0 0 0 32274 578 0 0 25 0 1 0 19689703 10493952 1258 4294967295 134512640 134702520 3221223952 3220509468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1258 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 328.55
Current children cumulated vsize (Kb) 12376
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4677) exited with status: 2
New process pid=4678
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=4678) exited with status: 0
New process pid=4679
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+350.033 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 729 0 0 0 816 3 0 0 25 0 1 0 19723882 4853760 699 4294967295 134512640 134702520 3221223712 3220856028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1185 699 413 48 0 1137 0
[pid=4679] vsize: 4740
Current children cumulated CPU time (s) 338.47
Current children cumulated vsize (Kb) 6868
[startup+360.034 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 902 0 0 0 1798 10 0 0 25 0 1 0 19723882 5468160 872 4294967295 134512640 134702520 3221223712 3221015568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1335 872 413 48 0 1287 0
[pid=4679] vsize: 5340
Current children cumulated CPU time (s) 348.36
Current children cumulated vsize (Kb) 7468
[startup+370.035 s]
Raw data (loadavg): 1.09 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 988 0 0 0 2697 41 0 0 20 0 1 0 19723882 8683520 958 4294967295 134512640 134702520 3221223712 3221213728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2120 958 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 357.66
Current children cumulated vsize (Kb) 10608
[startup+380.036 s]
Raw data (loadavg): 1.08 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 988 0 0 0 3697 41 0 0 25 0 1 0 19723882 8683520 958 4294967295 134512640 134702520 3221223712 3220869708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2120 958 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 367.66
Current children cumulated vsize (Kb) 10608
[startup+390.036 s]
Raw data (loadavg): 1.06 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1026 0 0 0 4577 80 0 0 25 0 1 0 19723882 8683520 996 4294967295 134512640 134702520 3221223712 3221144448 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 996 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 376.85
Current children cumulated vsize (Kb) 10608
[startup+400.037 s]
Raw data (loadavg): 1.05 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1026 0 0 0 5577 80 0 0 25 0 1 0 19723882 8683520 996 4294967295 134512640 134702520 3221223712 3220682848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 996 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 386.85
Current children cumulated vsize (Kb) 10608
[startup+410.037 s]
Raw data (loadavg): 1.05 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1044 0 0 0 6452 121 0 0 25 0 1 0 19723882 8683520 1014 4294967295 134512640 134702520 3221223712 3221074348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 1014 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 396.01
Current children cumulated vsize (Kb) 10608
[startup+420.037 s]
Raw data (loadavg): 1.04 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1044 0 0 0 7453 121 0 0 25 0 1 0 19723882 8683520 1014 4294967295 134512640 134702520 3221223712 3220344608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 1014 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 406.02
Current children cumulated vsize (Kb) 10608
[startup+430.038 s]
Raw data (loadavg): 1.03 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1051 0 0 0 8333 161 0 0 25 0 1 0 19723882 8683520 1021 4294967295 134512640 134702520 3221223712 3220998188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 1021 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 415.22
Current children cumulated vsize (Kb) 10608
[startup+440.039 s]
Raw data (loadavg): 1.03 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1055 0 0 0 9209 201 0 0 17 0 1 0 19723882 8810496 1025 4294967295 134512640 134702520 3221223712 3221223228 1074652326 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1025 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 424.38
Current children cumulated vsize (Kb) 10732
[startup+450.04 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1058 0 0 0 10169 214 0 0 25 0 1 0 19723882 8810496 1028 4294967295 134512640 134702520 3221223712 3220930668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1028 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 434.11
Current children cumulated vsize (Kb) 10732
[startup+460.041 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1065 0 0 0 11033 257 0 0 25 0 1 0 19723882 8810496 1035 4294967295 134512640 134702520 3221223712 3221185568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1035 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 443.18
Current children cumulated vsize (Kb) 10732
[startup+470.042 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1065 0 0 0 12033 257 0 0 25 0 1 0 19723882 8810496 1035 4294967295 134512640 134702520 3221223712 3220796108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1035 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 453.18
Current children cumulated vsize (Kb) 10732
[startup+480.043 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1075 0 0 0 12817 325 0 0 25 0 1 0 19723882 8810496 1045 4294967295 134512640 134702520 3221223712 3221134848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1045 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 461.7
Current children cumulated vsize (Kb) 10732
[startup+490.044 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1075 0 0 0 13817 325 0 0 25 0 1 0 19723882 8810496 1045 4294967295 134512640 134702520 3221223712 3220407948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1045 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 471.7
Current children cumulated vsize (Kb) 10732
[startup+500.045 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1077 0 0 0 14702 363 0 0 25 0 1 0 19723882 8810496 1047 4294967295 134512640 134702520 3221223712 3220998988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1047 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 480.93
Current children cumulated vsize (Kb) 10732
[startup+510.045 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1079 0 0 0 15576 403 0 0 17 0 1 0 19723882 8810496 1049 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1049 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 490.07
Current children cumulated vsize (Kb) 10732
[startup+520.046 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1079 0 0 0 16555 409 0 0 25 0 1 0 19723882 8810496 1049 4294967295 134512640 134702520 3221223712 3220913068 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1049 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 499.92
Current children cumulated vsize (Kb) 10732
[startup+530.047 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1082 0 0 0 17428 450 0 0 25 0 1 0 19723882 8810496 1052 4294967295 134512640 134702520 3221223712 3221173728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1052 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 509.06
Current children cumulated vsize (Kb) 10732
[startup+540.048 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1082 0 0 0 18428 450 0 0 25 0 1 0 19723882 8810496 1052 4294967295 134512640 134702520 3221223712 3220773088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1052 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 519.06
Current children cumulated vsize (Kb) 10732
[startup+550.049 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1084 0 0 0 19294 492 0 0 25 0 1 0 19723882 8810496 1054 4294967295 134512640 134702520 3221223712 3221112768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1054 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 528.14
Current children cumulated vsize (Kb) 10732
[startup+560.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1084 0 0 0 20294 492 0 0 25 0 1 0 19723882 8810496 1054 4294967295 134512640 134702520 3221223712 3220574028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1054 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 538.14
Current children cumulated vsize (Kb) 10732
[startup+570.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1086 0 0 0 21145 540 0 0 25 0 1 0 19723882 8810496 1056 4294967295 134512640 134702520 3221223712 3221055168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1056 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 547.13
Current children cumulated vsize (Kb) 10732
[startup+580.051 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1088 0 0 0 22127 547 0 0 20 0 1 0 19723882 8810496 1058 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1058 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 557.02
Current children cumulated vsize (Kb) 10732
[startup+590.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1109 0 0 0 22937 607 0 0 25 0 1 0 19723882 8810496 1079 4294967295 134512640 134702520 3221223712 3221030688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1079 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 565.72
Current children cumulated vsize (Kb) 10732
[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1110 0 0 0 23867 631 0 0 17 0 1 0 19723882 8810496 1080 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1080 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 575.26
Current children cumulated vsize (Kb) 10732
[startup+610.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1111 0 0 0 24809 650 0 0 25 0 1 0 19723882 8810496 1081 4294967295 134512640 134702520 3221223712 3220953228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1081 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 584.87
Current children cumulated vsize (Kb) 10732
[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 0.95 3/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1135 0 0 0 25643 701 0 0 19 0 1 0 19723882 8929280 1105 4294967295 134512640 134702520 3221223712 3221212108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2180 1105 413 48 0 2132 0
[pid=4679] vsize: 8720
Current children cumulated CPU time (s) 593.72
Current children cumulated vsize (Kb) 10848
[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1135 0 0 0 26643 701 0 0 25 0 1 0 19723882 8929280 1105 4294967295 134512640 134702520 3221223712 3220859648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2180 1105 413 48 0 2132 0
[pid=4679] vsize: 8720
Current children cumulated CPU time (s) 603.72
Current children cumulated vsize (Kb) 10848
[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1202 0 0 0 27425 772 0 0 24 0 1 0 19723882 9306112 1172 4294967295 134512640 134702520 3221223712 3221201248 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2272 1172 413 48 0 2224 0
[pid=4679] vsize: 9088
Current children cumulated CPU time (s) 612.25
Current children cumulated vsize (Kb) 11216
[startup+650.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1202 0 0 0 28425 772 0 0 25 0 1 0 19723882 9306112 1172 4294967295 134512640 134702520 3221223712 3220841068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2272 1172 413 48 0 2224 0
[pid=4679] vsize: 9088
Current children cumulated CPU time (s) 622.25
Current children cumulated vsize (Kb) 11216
[startup+660.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1274 0 0 0 29185 849 0 0 18 0 1 0 19723882 9682944 1244 4294967295 134512640 134702520 3221223712 3221217728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2364 1244 413 48 0 2316 0
[pid=4679] vsize: 9456
Current children cumulated CPU time (s) 630.62
Current children cumulated vsize (Kb) 11584
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1274 0 0 0 30186 849 0 0 25 0 1 0 19723882 9682944 1244 4294967295 134512640 134702520 3221223712 3220872288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2364 1244 413 48 0 2316 0
[pid=4679] vsize: 9456
Current children cumulated CPU time (s) 640.63
Current children cumulated vsize (Kb) 11584
[startup+680.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1335 0 0 0 30952 922 0 0 18 0 1 0 19723882 9805824 1305 4294967295 134512640 134702520 3221223712 3221223104 134604364 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1305 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 649.02
Current children cumulated vsize (Kb) 11704
[startup+690.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1348 0 0 0 31905 935 0 0 25 0 1 0 19723882 9805824 1318 4294967295 134512640 134702520 3221223712 3220951628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1318 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 658.68
Current children cumulated vsize (Kb) 11704
[startup+700.06 s]
Raw data (loadavg): 1.08 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1353 0 0 0 32753 987 0 0 21 0 1 0 19723882 9805824 1323 4294967295 134512640 134702520 3221223712 3221208928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2394 1323 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 667.68
Current children cumulated vsize (Kb) 11704
[startup+710.061 s]
Raw data (loadavg): 1.07 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1353 0 0 0 33753 987 0 0 25 0 1 0 19723882 9805824 1323 4294967295 134512640 134702520 3221223712 3220852128 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2394 1323 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 677.68
Current children cumulated vsize (Kb) 11704
[startup+720.062 s]
Raw data (loadavg): 1.06 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1356 0 0 0 34584 1047 0 0 25 0 1 0 19723882 9805824 1326 4294967295 134512640 134702520 3221223712 3221168588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1326 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 686.59
Current children cumulated vsize (Kb) 11704
[startup+730.063 s]
Raw data (loadavg): 1.05 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1356 0 0 0 35584 1047 0 0 25 0 1 0 19723882 9805824 1326 4294967295 134512640 134702520 3221223712 3220759788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1326 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 696.59
Current children cumulated vsize (Kb) 11704
[startup+740.063 s]
Raw data (loadavg): 1.04 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 36400 1106 0 0 25 0 1 0 19723882 9805824 1329 4294967295 134512640 134702520 3221223712 3221144128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1329 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 705.34
Current children cumulated vsize (Kb) 11704
[startup+750.063 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 37400 1106 0 0 25 0 1 0 19723882 9805824 1329 4294967295 134512640 134702520 3221223712 3220691168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1329 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 715.34
Current children cumulated vsize (Kb) 11704
[startup+760.064 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1369 0 0 0 38119 1199 0 0 25 0 1 0 19723882 9928704 1339 4294967295 134512640 134702520 3221223712 3221181248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2424 1339 413 48 0 2376 0
[pid=4679] vsize: 9696
Current children cumulated CPU time (s) 723.46
Current children cumulated vsize (Kb) 11824
[startup+770.065 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1369 0 0 0 39119 1199 0 0 25 0 1 0 19723882 9928704 1339 4294967295 134512640 134702520 3221223712 3220785068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2424 1339 413 48 0 2376 0
[pid=4679] vsize: 9696
Current children cumulated CPU time (s) 733.46
Current children cumulated vsize (Kb) 11824
[startup+780.066 s]
Raw data (loadavg): 1.02 1.01 0.96 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1417 0 0 0 39849 1289 0 0 17 0 1 0 19723882 10305536 1387 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2516 1387 413 48 0 2468 0
[pid=4679] vsize: 10064
Current children cumulated CPU time (s) 741.66
Current children cumulated vsize (Kb) 12192
[startup+790.067 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1429 0 0 0 40789 1308 0 0 25 0 1 0 19723882 10305536 1399 4294967295 134512640 134702520 3221223712 3220965408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2516 1399 413 48 0 2468 0
[pid=4679] vsize: 10064
Current children cumulated CPU time (s) 751.25
Current children cumulated vsize (Kb) 12192
[startup+800.067 s]
Raw data (loadavg): 1.01 1.01 0.96 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1455 0 0 0 41652 1350 0 0 18 0 1 0 19723882 10305536 1425 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2516 1425 413 48 0 2468 0
[pid=4679] vsize: 10064
Current children cumulated CPU time (s) 760.3
Current children cumulated vsize (Kb) 12192
[startup+810.068 s]
Raw data (loadavg): 1.01 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1504 0 0 0 42415 1429 0 0 25 0 1 0 19723882 10440704 1474 4294967295 134512640 134702520 3221223712 3221100748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1474 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 768.72
Current children cumulated vsize (Kb) 12324
[startup+820.07 s]
Raw data (loadavg): 1.01 1.00 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1504 0 0 0 43415 1429 0 0 25 0 1 0 19723882 10440704 1474 4294967295 134512640 134702520 3221223712 3220536588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1474 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 778.72
Current children cumulated vsize (Kb) 12324
[startup+830.071 s]
Raw data (loadavg): 1.01 1.00 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1507 0 0 0 44200 1499 0 0 25 0 1 0 19723882 10440704 1477 4294967295 134512640 134702520 3221223712 3221092928 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1477 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 787.27
Current children cumulated vsize (Kb) 12324
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1507 0 0 0 45200 1499 0 0 25 0 1 0 19723882 10440704 1477 4294967295 134512640 134702520 3221223712 3220483148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1477 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 797.27
Current children cumulated vsize (Kb) 12324
[startup+850.071 s]
Raw data (loadavg): 1.08 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1508 0 0 0 45983 1572 0 0 25 0 1 0 19723882 10440704 1478 4294967295 134512640 134702520 3221223712 3221081728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1478 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 805.83
Current children cumulated vsize (Kb) 12324
[startup+860.072 s]
Raw data (loadavg): 1.07 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1508 0 0 0 46983 1572 0 0 25 0 1 0 19723882 10440704 1478 4294967295 134512640 134702520 3221223712 3220414508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1478 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 815.83
Current children cumulated vsize (Kb) 12324
[startup+870.073 s]
Raw data (loadavg): 1.06 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1511 0 0 0 47736 1653 0 0 25 0 1 0 19723882 10440704 1481 4294967295 134512640 134702520 3221223712 3221099468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1481 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 824.17
Current children cumulated vsize (Kb) 12324
[startup+880.074 s]
Raw data (loadavg): 1.05 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1511 0 0 0 48736 1653 0 0 25 0 1 0 19723882 10440704 1481 4294967295 134512640 134702520 3221223712 3220530368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1481 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 834.17
Current children cumulated vsize (Kb) 12324
[startup+890.074 s]
Raw data (loadavg): 1.04 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1513 0 0 0 49485 1737 0 0 25 0 1 0 19723882 10440704 1483 4294967295 134512640 134702520 3221223712 3221126848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1483 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 842.5
Current children cumulated vsize (Kb) 12324
[startup+900.075 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1513 0 0 0 50485 1737 0 0 25 0 1 0 19723882 10440704 1483 4294967295 134512640 134702520 3221223712 3220625708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1483 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 852.5
Current children cumulated vsize (Kb) 12324
[startup+910.076 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1517 0 0 0 51182 1836 0 0 25 0 1 0 19723882 10440704 1487 4294967295 134512640 134702520 3221223712 3221192108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1487 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 860.46
Current children cumulated vsize (Kb) 12324
[startup+920.078 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1517 0 0 0 52182 1836 0 0 25 0 1 0 19723882 10440704 1487 4294967295 134512640 134702520 3221223712 3220819328 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1487 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 870.46
Current children cumulated vsize (Kb) 12324
[startup+930.079 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1522 0 0 0 52942 1908 0 0 18 0 1 0 19723882 10440704 1492 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1492 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 878.78
Current children cumulated vsize (Kb) 12324
[startup+940.078 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1524 0 0 0 53787 1959 0 0 25 0 1 0 19723882 10440704 1494 4294967295 134512640 134702520 3221223712 3221042848 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1494 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 887.74
Current children cumulated vsize (Kb) 12324
[startup+950.079 s]
Raw data (loadavg): 1.01 1.01 0.96 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1526 0 0 0 54745 1974 0 0 17 0 1 0 19723882 10588160 1496 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2585 1496 413 48 0 2537 0
[pid=4679] vsize: 10340
Current children cumulated CPU time (s) 897.47
Current children cumulated vsize (Kb) 12468
[startup+960.08 s]
Raw data (loadavg): 1.08 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1527 0 0 0 55572 2034 0 0 25 0 1 0 19723882 10551296 1497 4294967295 134512640 134702520 3221223712 3221033388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1497 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 906.34
Current children cumulated vsize (Kb) 12432
[startup+970.082 s]
Raw data (loadavg): 1.07 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1536 0 0 0 56517 2052 0 0 18 0 1 0 19723882 10551296 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1506 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 915.97
Current children cumulated vsize (Kb) 12432
[startup+980.082 s]
Raw data (loadavg): 1.06 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1536 0 0 0 57347 2110 0 0 25 0 1 0 19723882 10551296 1506 4294967295 134512640 134702520 3221223712 3221031008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1506 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 924.85
Current children cumulated vsize (Kb) 12432
[startup+990.083 s]
Raw data (loadavg): 1.05 1.02 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1537 0 0 0 58285 2128 0 0 17 0 1 0 19723882 10551296 1507 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1507 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 934.41
Current children cumulated vsize (Kb) 12432
[startup+1000.08 s]
Raw data (loadavg): 1.04 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1537 0 0 0 59153 2171 0 0 25 0 1 0 19723882 10551296 1507 4294967295 134512640 134702520 3221223712 3221003328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1507 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 943.52
Current children cumulated vsize (Kb) 12432
[startup+1010.08 s]
Raw data (loadavg): 1.03 1.02 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1538 0 0 0 60055 2203 0 0 17 0 1 0 19723882 10551296 1508 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1508 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 952.86
Current children cumulated vsize (Kb) 12432
[startup+1020.09 s]
Raw data (loadavg): 1.03 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1538 0 0 0 60944 2238 0 0 25 0 1 0 19723882 10551296 1508 4294967295 134512640 134702520 3221223712 3220996752 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1508 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 962.1
Current children cumulated vsize (Kb) 12432
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1539 0 0 0 61831 2274 0 0 17 0 1 0 19723882 10551296 1509 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1509 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 971.33
Current children cumulated vsize (Kb) 12432
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1539 0 0 0 62759 2298 0 0 25 0 1 0 19723882 10551296 1509 4294967295 134512640 134702520 3221223712 3220964768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1509 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 980.85
Current children cumulated vsize (Kb) 12432
[startup+1050.09 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1539 0 0 0 63595 2349 0 0 17 0 1 0 19723882 10551296 1509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1509 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 989.72
Current children cumulated vsize (Kb) 12432
[startup+1060.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1539 0 0 0 64556 2363 0 0 25 0 1 0 19723882 10551296 1509 4294967295 134512640 134702520 3221223712 3220932428 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1509 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 999.47
Current children cumulated vsize (Kb) 12432
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1556 0 0 0 65359 2423 0 0 17 0 1 0 19723882 10551296 1526 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1526 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1008.1
Current children cumulated vsize (Kb) 12432
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1556 0 0 0 66323 2436 0 0 25 0 1 0 19723882 10551296 1526 4294967295 134512640 134702520 3221223712 3220922528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1526 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1017.87
Current children cumulated vsize (Kb) 12432
[startup+1090.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1557 0 0 0 67103 2505 0 0 17 0 1 0 19723882 10551296 1527 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1527 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1026.36
Current children cumulated vsize (Kb) 12432
[startup+1100.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1557 0 0 0 68093 2509 0 0 25 0 1 0 19723882 10551296 1527 4294967295 134512640 134702520 3221223712 3220901068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1527 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1036.3
Current children cumulated vsize (Kb) 12432
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1560 0 0 0 68917 2562 0 0 25 0 1 0 19723882 10551296 1530 4294967295 134512640 134702520 3221223712 3221198048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1530 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1045.07
Current children cumulated vsize (Kb) 12432
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1560 0 0 0 69917 2562 0 0 25 0 1 0 19723882 10551296 1530 4294967295 134512640 134702520 3221223712 3220826828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1530 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1055.07
Current children cumulated vsize (Kb) 12432
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1561 0 0 0 70739 2616 0 0 25 0 1 0 19723882 10551296 1531 4294967295 134512640 134702520 3221223712 3221161728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1531 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1063.83
Current children cumulated vsize (Kb) 12432
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1561 0 0 0 71739 2616 0 0 25 0 1 0 19723882 10551296 1531 4294967295 134512640 134702520 3221223712 3220741388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1531 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1073.83
Current children cumulated vsize (Kb) 12432
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1562 0 0 0 72539 2680 0 0 25 0 1 0 19723882 10551296 1532 4294967295 134512640 134702520 3221223712 3221142528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1532 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1082.47
Current children cumulated vsize (Kb) 12432
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1562 0 0 0 73539 2680 0 0 25 0 1 0 19723882 10551296 1532 4294967295 134512640 134702520 3221223712 3220676928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1532 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1092.47
Current children cumulated vsize (Kb) 12432
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1564 0 0 0 74308 2754 0 0 25 0 1 0 19723882 10551296 1534 4294967295 134512640 134702520 3221223712 3221131808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1534 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1100.9
Current children cumulated vsize (Kb) 12432
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1564 0 0 0 75308 2754 0 0 25 0 1 0 19723882 10551296 1534 4294967295 134512640 134702520 3221223712 3220642688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1534 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1110.9
Current children cumulated vsize (Kb) 12432
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1566 0 0 0 76215 2784 0 0 17 0 1 0 19723882 10551296 1536 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1536 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1120.27
Current children cumulated vsize (Kb) 12432
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1566 0 0 0 77013 2847 0 0 25 0 1 0 19723882 10551296 1536 4294967295 134512640 134702520 3221223712 3221034848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1536 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1128.88
Current children cumulated vsize (Kb) 12432
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1567 0 0 0 77958 2864 0 0 18 0 1 0 19723882 10551296 1537 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1537 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1138.5
Current children cumulated vsize (Kb) 12432
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1567 0 0 0 78788 2917 0 0 25 0 1 0 19723882 10551296 1537 4294967295 134512640 134702520 3221223712 3221022688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1537 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1147.33
Current children cumulated vsize (Kb) 12432
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1568 0 0 0 79709 2942 0 0 17 0 1 0 19723882 10551296 1538 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1538 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1156.79
Current children cumulated vsize (Kb) 12432
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1568 0 0 0 80530 2998 0 0 25 0 1 0 19723882 10551296 1538 4294967295 134512640 134702520 3221223712 3221028448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1538 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1165.56
Current children cumulated vsize (Kb) 12432
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1569 0 0 0 81458 3020 0 0 17 0 1 0 19723882 10551296 1539 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1539 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1175.06
Current children cumulated vsize (Kb) 12432
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1570 0 0 0 82253 3084 0 0 25 0 1 0 19723882 10551296 1540 4294967295 134512640 134702520 3221223712 3221051968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1540 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1183.65
Current children cumulated vsize (Kb) 12432
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1571 0 0 0 83229 3093 0 0 19 0 1 0 19723882 10551296 1541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1541 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1193.5
Current children cumulated vsize (Kb) 12432
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1571 0 0 0 83900 3199 0 0 25 0 1 0 19723882 10551296 1541 4294967295 134512640 134702520 3221223712 3221132928 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1541 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1201.27
Current children cumulated vsize (Kb) 12432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1571 0 0 0 83900 3199 0 0 25 0 1 0 19723882 10551296 1541 4294967295 134512640 134702520 3221223712 3221132928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1541 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1201.27
Current children cumulated vsize (Kb) 12432
Sending SIGTERM to -4674
Sleeping 2 seconds
New process pid=4681
New process pid=4682
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/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/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/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/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/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/4635/stat
open syscall for file /proc/4635/status
open syscall for file /proc/4635/cmdline
open syscall for file /proc/4635/environ
open syscall for file /proc/4673/stat
open syscall for file /proc/4673/status
open syscall for file /proc/4673/cmdline
open syscall for file /proc/4673/environ
open syscall for file /proc/4674/stat
open syscall for file /proc/4674/status
open syscall for file /proc/4674/cmdline
open syscall for file /proc/4674/environ
open syscall for file /proc/4679/stat
open syscall for file /proc/4679/status
open syscall for file /proc/4679/cmdline
open syscall for file /proc/4679/environ
open syscall for file /proc/4681/stat
open syscall for file /proc/4681/status
open syscall for file /proc/4681/cmdline
open syscall for file /proc/4681/environ
open syscall for file /proc/4682/stat
open syscall for file /proc/4682/status
open syscall for file /proc/4682/cmdline
open syscall for file /proc/4682/environ
One traced child (pid=4681) exited with status: 0
One traced child (pid=4682) exited with status: 0
New process pid=4683
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=4683) exited with status: 0
New process pid=4684
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=4684) exited with status: 0
One traced child (pid=4674) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4674
One traced child (pid=4679) 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.12
CPU time (s): 873.011
CPU user time (s): 841.005
CPU system time (s): 32.0061
CPU usage (%): 68.0915
Max. virtual memory (cumulated for all children) (Kb): 12468