1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 1443 (#equs: 4)
#decisions: 680173; #end-nodes: 328824;
#proof improvement attempts: 0; #restarts: 480
Current batch, end-nodes: 0 / 259 (199)
#axs: 1652, #non-axs: 8229
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 20
loose: meta-meta: start: 7, end: 10; meta: start: 24, end (keep): 40
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: 1547 (#equs: 5)
Time taken: 8 min, 15 sec
2:
seed: 0
Nr of vars set: 1547 (#equs: 0)
Nr of vars set: 1547 (#equs: 0)
#decisions: 1162246; #end-nodes: 532888;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 3021 (263)
#axs: 1629, #non-axs: 3006
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 4
loose: meta-meta: start: 6, end: 8; meta: start: 12, end (keep): 17
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1580 (#equs: 1)
Time taken: 11 min, 1 sec
3:
seed: 0
Nr of vars set: 1580 (#equs: 0)
Nr of vars set: 1580 (#equs: 0)
Interupt request received.
#decisions: 79716; #end-nodes: 33249;
#proof improvement attempts: 0; #restarts: 65
Current batch, end-nodes: 8834 / 9872 (176)
#axs: 1628, #non-axs: 3041
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 4
loose: meta-meta: start: 6, end: 8; meta: start: 12, end (keep): 17
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3036 (#equs: 0)
Time taken in seconds: 50
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/4975/stat): 4975 (vallstSAT2005PB) R 4974 4975 4061 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19943894 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4975/statm): 174 3 169 147 0 27 0
[pid=4975] 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=4976
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=4976) exited with status: 0
New process pid=4977
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=4977) exited with status: 0
New process pid=4978
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.003 s]
Raw data (loadavg): 0.99 1.02 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1122 0 0 0 893 35 0 0 23 0 1 0 19943903 6574080 1038 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 1605 1038 413 48 0 1557 0
[pid=4978] vsize: 6420
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (Kb) 8548
[startup+20.0036 s]
Raw data (loadavg): 0.99 1.02 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1176 0 0 0 1760 83 0 0 25 0 1 0 19943903 12619776 1092 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3081 1092 413 48 0 3033 0
[pid=4978] vsize: 12324
Current children cumulated CPU time (s) 18.45
Current children cumulated vsize (Kb) 14452
[startup+30.0052 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 1224 0 0 0 2664 115 0 0 25 0 1 0 19943903 12709888 1140 4294967295 134512640 134702520 3221223952 3221221808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3103 1140 413 48 0 3055 0
[pid=4978] vsize: 12412
Current children cumulated CPU time (s) 27.81
Current children cumulated vsize (Kb) 14540
[startup+40.0057 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 1487 0 0 0 3572 144 0 0 25 0 1 0 19943903 12845056 1403 4294967295 134512640 134702520 3221223952 3221118908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3136 1403 413 48 0 3088 0
[pid=4978] vsize: 12544
Current children cumulated CPU time (s) 37.18
Current children cumulated vsize (Kb) 14672
[startup+50.0063 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1506 0 0 0 4479 175 0 0 25 0 1 0 19943903 12845056 1422 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3136 1422 413 48 0 3088 0
[pid=4978] vsize: 12544
Current children cumulated CPU time (s) 46.56
Current children cumulated vsize (Kb) 14672
[startup+60.0068 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1514 0 0 0 5390 205 0 0 25 0 1 0 19943903 13000704 1430 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3174 1430 413 48 0 3126 0
[pid=4978] vsize: 12696
Current children cumulated CPU time (s) 55.97
Current children cumulated vsize (Kb) 14824
[startup+70.0084 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1530 0 0 0 6288 243 0 0 25 0 1 0 19943903 12972032 1446 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3167 1446 413 48 0 3119 0
[pid=4978] vsize: 12668
Current children cumulated CPU time (s) 65.33
Current children cumulated vsize (Kb) 14796
[startup+80.01 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2791 0 0 0 7201 275 0 0 25 0 1 0 19943903 13246464 2707 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3234 2707 413 48 0 3186 0
[pid=4978] vsize: 12936
Current children cumulated CPU time (s) 74.78
Current children cumulated vsize (Kb) 15064
[startup+90.0105 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2805 0 0 0 8101 307 0 0 25 0 1 0 19943903 13385728 2721 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3268 2721 413 48 0 3220 0
[pid=4978] vsize: 13072
Current children cumulated CPU time (s) 84.1
Current children cumulated vsize (Kb) 15200
[startup+100.01 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2831 0 0 0 9020 335 0 0 25 0 1 0 19943903 13389824 2747 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3269 2747 413 48 0 3221 0
[pid=4978] vsize: 13076
Current children cumulated CPU time (s) 93.57
Current children cumulated vsize (Kb) 15204
[startup+110.011 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2853 0 0 0 9921 370 0 0 25 0 1 0 19943903 13524992 2769 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3302 2769 413 48 0 3254 0
[pid=4978] vsize: 13208
Current children cumulated CPU time (s) 102.93
Current children cumulated vsize (Kb) 15336
[startup+120.011 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2881 0 0 0 10827 403 0 0 25 0 1 0 19943903 13524992 2797 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3302 2797 413 48 0 3254 0
[pid=4978] vsize: 13208
Current children cumulated CPU time (s) 112.32
Current children cumulated vsize (Kb) 15336
[startup+130.013 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2892 0 0 0 11742 434 0 0 25 0 1 0 19943903 13684736 2808 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3341 2808 413 48 0 3293 0
[pid=4978] vsize: 13364
Current children cumulated CPU time (s) 121.78
Current children cumulated vsize (Kb) 15492
[startup+140.013 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2893 0 0 0 12657 464 0 0 25 0 1 0 19943903 13627392 2809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3327 2809 413 48 0 3279 0
[pid=4978] vsize: 13308
Current children cumulated CPU time (s) 131.23
Current children cumulated vsize (Kb) 15436
[startup+150.014 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 2935 0 0 0 13568 494 0 0 25 0 1 0 19943903 13762560 2851 4294967295 134512640 134702520 3221223952 3221223232 134551062 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3360 2851 413 48 0 3312 0
[pid=4978] vsize: 13440
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (Kb) 15568
[startup+160.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 2947 0 0 0 14476 527 0 0 25 0 1 0 19943903 13762560 2863 4294967295 134512640 134702520 3221223952 3221223200 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3360 2863 413 48 0 3312 0
[pid=4978] vsize: 13440
Current children cumulated CPU time (s) 150.05
Current children cumulated vsize (Kb) 15568
[startup+170.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 2952 0 0 0 15377 562 0 0 25 0 1 0 19943903 13897728 2868 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2868 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 159.41
Current children cumulated vsize (Kb) 15700
[startup+180.016 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2959 0 0 0 16295 592 0 0 25 0 1 0 19943903 13897728 2875 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2875 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 168.89
Current children cumulated vsize (Kb) 15700
[startup+190.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 2969 0 0 0 17200 627 0 0 25 0 1 0 19943903 13897728 2885 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2885 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 178.29
Current children cumulated vsize (Kb) 15700
[startup+200.028 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2982 0 0 0 18112 655 0 0 25 0 1 0 19943903 13897728 2898 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2898 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 187.69
Current children cumulated vsize (Kb) 15700
[startup+210.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2985 0 0 0 19028 685 0 0 25 0 1 0 19943903 13897728 2901 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2901 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 197.15
Current children cumulated vsize (Kb) 15700
[startup+220.029 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2987 0 0 0 19938 719 0 0 25 0 1 0 19943903 13897728 2903 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2903 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 206.59
Current children cumulated vsize (Kb) 15700
[startup+230.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2992 0 0 0 20828 756 0 0 25 0 1 0 19943903 13897728 2908 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2908 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 215.86
Current children cumulated vsize (Kb) 15700
[startup+240.03 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3003 0 0 0 21739 788 0 0 19 0 1 0 19943903 14032896 2919 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3426 2919 413 48 0 3378 0
[pid=4978] vsize: 13704
Current children cumulated CPU time (s) 225.29
Current children cumulated vsize (Kb) 15832
[startup+250.031 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3013 0 0 0 22646 821 0 0 25 0 1 0 19943903 14032896 2929 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3426 2929 413 48 0 3378 0
[pid=4978] vsize: 13704
Current children cumulated CPU time (s) 234.69
Current children cumulated vsize (Kb) 15832
[startup+260.032 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3087 0 0 0 23564 850 0 0 25 0 1 0 19943903 14032896 3003 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3426 3003 413 48 0 3378 0
[pid=4978] vsize: 13704
Current children cumulated CPU time (s) 244.16
Current children cumulated vsize (Kb) 15832
[startup+270.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3168 0 0 0 24491 875 0 0 25 0 1 0 19943903 14856192 3084 4294967295 134512640 134702520 3221223952 3221223232 134557285 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3627 3084 413 48 0 3579 0
[pid=4978] vsize: 14508
Current children cumulated CPU time (s) 253.68
Current children cumulated vsize (Kb) 16636
[startup+280.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3207 0 0 0 25419 901 0 0 25 0 1 0 19943903 15011840 3123 4294967295 134512640 134702520 3221223952 3221222848 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4978/statm): 3665 3123 413 48 0 3617 0
[pid=4978] vsize: 14660
Current children cumulated CPU time (s) 263.22
Current children cumulated vsize (Kb) 16788
[startup+290.033 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3207 0 0 0 26341 931 0 0 25 0 1 0 19943903 15011840 3123 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3665 3123 413 48 0 3617 0
[pid=4978] vsize: 14660
Current children cumulated CPU time (s) 272.74
Current children cumulated vsize (Kb) 16788
[startup+300.033 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3233 0 0 0 27274 955 0 0 25 0 1 0 19943903 14983168 3149 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3658 3149 413 48 0 3610 0
[pid=4978] vsize: 14632
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (Kb) 16760
[startup+310.035 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3257 0 0 0 28204 979 0 0 25 0 1 0 19943903 15118336 3173 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3691 3173 413 48 0 3643 0
[pid=4978] vsize: 14764
Current children cumulated CPU time (s) 291.85
Current children cumulated vsize (Kb) 16892
[startup+320.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3270 0 0 0 29110 1011 0 0 25 0 1 0 19943903 15253504 3186 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3724 3186 413 48 0 3676 0
[pid=4978] vsize: 14896
Current children cumulated CPU time (s) 301.23
Current children cumulated vsize (Kb) 17024
[startup+330.036 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3300 0 0 0 30030 1037 0 0 25 0 1 0 19943903 15253504 3216 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3724 3216 413 48 0 3676 0
[pid=4978] vsize: 14896
Current children cumulated CPU time (s) 310.69
Current children cumulated vsize (Kb) 17024
[startup+340.037 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3362 0 0 0 30953 1064 0 0 25 0 1 0 19943903 15388672 3278 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3757 3278 413 48 0 3709 0
[pid=4978] vsize: 15028
Current children cumulated CPU time (s) 320.19
Current children cumulated vsize (Kb) 17156
[startup+350.037 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3427 0 0 0 31870 1093 0 0 25 0 1 0 19943903 15388672 3343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3757 3343 413 48 0 3709 0
[pid=4978] vsize: 15028
Current children cumulated CPU time (s) 329.65
Current children cumulated vsize (Kb) 17156
[startup+360.039 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3458 0 0 0 32814 1110 0 0 25 0 1 0 19943903 15523840 3374 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3790 3374 413 48 0 3742 0
[pid=4978] vsize: 15160
Current children cumulated CPU time (s) 339.26
Current children cumulated vsize (Kb) 17288
[startup+370.039 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3500 0 0 0 33760 1130 0 0 25 0 1 0 19943903 15523840 3416 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3790 3416 413 48 0 3742 0
[pid=4978] vsize: 15160
Current children cumulated CPU time (s) 348.92
Current children cumulated vsize (Kb) 17288
[startup+380.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3558 0 0 0 34698 1150 0 0 25 0 1 0 19943903 16347136 3474 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4978/statm): 3991 3474 413 48 0 3943 0
[pid=4978] vsize: 15964
Current children cumulated CPU time (s) 358.5
Current children cumulated vsize (Kb) 18092
[startup+390.04 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3632 0 0 0 35634 1171 0 0 25 0 1 0 19943903 16486400 3548 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4025 3548 413 48 0 3977 0
[pid=4978] vsize: 16100
Current children cumulated CPU time (s) 368.07
Current children cumulated vsize (Kb) 18228
[startup+400.254 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3712 0 0 0 36577 1191 0 0 25 0 1 0 19943903 16621568 3628 4294967295 134512640 134702520 3221223952 3221223232 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4058 3628 413 48 0 4010 0
[pid=4978] vsize: 16232
Current children cumulated CPU time (s) 377.7
Current children cumulated vsize (Kb) 18360
[startup+410.255 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3766 0 0 0 37536 1205 0 0 25 0 1 0 19943903 16756736 3682 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4091 3682 413 48 0 4043 0
[pid=4978] vsize: 16364
Current children cumulated CPU time (s) 387.43
Current children cumulated vsize (Kb) 18492
[startup+420.255 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3805 0 0 0 38496 1221 0 0 25 0 1 0 19943903 16756736 3721 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4091 3721 413 48 0 4043 0
[pid=4978] vsize: 16364
Current children cumulated CPU time (s) 397.19
Current children cumulated vsize (Kb) 18492
[startup+430.256 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3833 0 0 0 39447 1239 0 0 25 0 1 0 19943903 16896000 3749 4294967295 134512640 134702520 3221223952 3221223232 134553444 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4978/statm): 4125 3749 413 48 0 4077 0
[pid=4978] vsize: 16500
Current children cumulated CPU time (s) 406.88
Current children cumulated vsize (Kb) 18628
[startup+440.256 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3861 0 0 0 40387 1260 0 0 25 0 1 0 19943903 16896000 3777 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4125 3777 413 48 0 4077 0
[pid=4978] vsize: 16500
Current children cumulated CPU time (s) 416.49
Current children cumulated vsize (Kb) 18628
[startup+450.257 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3903 0 0 0 41305 1287 0 0 25 0 1 0 19943903 17854464 3819 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4359 3819 413 48 0 4311 0
[pid=4978] vsize: 17436
Current children cumulated CPU time (s) 425.94
Current children cumulated vsize (Kb) 19564
[startup+460.257 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3940 0 0 0 42258 1303 0 0 25 0 1 0 19943903 17854464 3856 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4359 3856 413 48 0 4311 0
[pid=4978] vsize: 17436
Current children cumulated CPU time (s) 435.63
Current children cumulated vsize (Kb) 19564
[startup+470.258 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3974 0 0 0 43207 1323 0 0 25 0 1 0 19943903 17989632 3890 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4392 3890 413 48 0 4344 0
[pid=4978] vsize: 17568
Current children cumulated CPU time (s) 445.32
Current children cumulated vsize (Kb) 19696
[startup+480.257 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 4034 0 0 0 44142 1346 0 0 25 0 1 0 19943903 17989632 3950 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4392 3950 413 48 0 4344 0
[pid=4978] vsize: 17568
Current children cumulated CPU time (s) 454.9
Current children cumulated vsize (Kb) 19696
[startup+490.26 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 4039 0 0 0 45075 1371 0 0 25 0 1 0 19943903 17989632 3955 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4392 3955 413 48 0 4344 0
[pid=4978] vsize: 17568
Current children cumulated CPU time (s) 464.48
Current children cumulated vsize (Kb) 19696
[startup+500.261 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 4055 0 0 0 46011 1393 0 0 25 0 1 0 19943903 18124800 3971 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4425 3971 413 48 0 4377 0
[pid=4978] vsize: 17700
Current children cumulated CPU time (s) 474.06
Current children cumulated vsize (Kb) 19828
[startup+510.261 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 4088 0 0 0 46945 1418 0 0 25 0 1 0 19943903 18124800 4004 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4425 4004 413 48 0 4377 0
[pid=4978] vsize: 17700
Current children cumulated CPU time (s) 483.65
Current children cumulated vsize (Kb) 19828
[startup+520.262 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 4091 0 0 0 47864 1445 0 0 25 0 1 0 19943903 18124800 4007 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4425 4007 413 48 0 4377 0
[pid=4978] vsize: 17700
Current children cumulated CPU time (s) 493.11
Current children cumulated vsize (Kb) 19828
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=4978) exited with status: 2
New process pid=4979
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=4979) exited with status: 0
New process pid=4980
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+530.261 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1054 0 0 0 637 20 0 0 25 0 1 0 19996238 6529024 1024 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 1594 1024 413 48 0 1546 0
[pid=4980] vsize: 6376
Current children cumulated CPU time (s) 502.61
Current children cumulated vsize (Kb) 8504
[startup+540.262 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1056 0 0 0 1568 48 0 0 25 0 1 0 19996238 6529024 1026 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 1594 1026 413 48 0 1546 0
[pid=4980] vsize: 6376
Current children cumulated CPU time (s) 512.2
Current children cumulated vsize (Kb) 8504
[startup+550.262 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1361 0 0 0 2472 82 0 0 25 0 1 0 19996238 12349440 1331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3015 1331 413 48 0 2967 0
[pid=4980] vsize: 12060
Current children cumulated CPU time (s) 521.58
Current children cumulated vsize (Kb) 14188
[startup+560.263 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1449 0 0 0 3373 116 0 0 25 0 1 0 19996238 12484608 1419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4980/statm): 3048 1419 413 48 0 3000 0
[pid=4980] vsize: 12192
Current children cumulated CPU time (s) 530.93
Current children cumulated vsize (Kb) 14320
[startup+570.264 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 1535 0 0 0 4284 146 0 0 25 0 1 0 19996238 12619776 1505 4294967295 134512640 134702520 3221223712 3221111168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3081 1505 413 48 0 3033 0
[pid=4980] vsize: 12324
Current children cumulated CPU time (s) 540.34
Current children cumulated vsize (Kb) 14452
[startup+580.263 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1556 0 0 0 5190 179 0 0 25 0 1 0 19996238 12742656 1526 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3111 1526 413 48 0 3063 0
[pid=4980] vsize: 12444
Current children cumulated CPU time (s) 549.73
Current children cumulated vsize (Kb) 14572
[startup+590.264 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1811 0 0 0 6083 215 0 0 25 0 1 0 19996238 12877824 1781 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3144 1781 413 48 0 3096 0
[pid=4980] vsize: 12576
Current children cumulated CPU time (s) 559.02
Current children cumulated vsize (Kb) 14704
[startup+600.263 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1892 0 0 0 6999 246 0 0 25 0 1 0 19996238 13037568 1862 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3183 1862 413 48 0 3135 0
[pid=4980] vsize: 12732
Current children cumulated CPU time (s) 568.49
Current children cumulated vsize (Kb) 14860
[startup+610.265 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1893 0 0 0 7920 271 0 0 25 0 1 0 19996238 13037568 1863 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3183 1863 413 48 0 3135 0
[pid=4980] vsize: 12732
Current children cumulated CPU time (s) 577.95
Current children cumulated vsize (Kb) 14860
[startup+620.265 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1900 0 0 0 8813 308 0 0 21 0 1 0 19996238 12976128 1870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3168 1870 413 48 0 3120 0
[pid=4980] vsize: 12672
Current children cumulated CPU time (s) 587.25
Current children cumulated vsize (Kb) 14800
[startup+630.265 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1906 0 0 0 9707 345 0 0 25 0 1 0 19996238 12976128 1876 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3168 1876 413 48 0 3120 0
[pid=4980] vsize: 12672
Current children cumulated CPU time (s) 596.56
Current children cumulated vsize (Kb) 14800
[startup+640.265 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1932 0 0 0 10599 387 0 0 25 0 1 0 19996238 13111296 1902 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3201 1902 413 48 0 3153 0
[pid=4980] vsize: 12804
Current children cumulated CPU time (s) 605.9
Current children cumulated vsize (Kb) 14932
[startup+650.266 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2738 0 0 0 11501 421 0 0 25 0 1 0 19996238 13246464 2708 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3234 2708 413 48 0 3186 0
[pid=4980] vsize: 12936
Current children cumulated CPU time (s) 615.26
Current children cumulated vsize (Kb) 15064
[startup+660.267 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2796 0 0 0 12427 446 0 0 25 0 1 0 19996238 13381632 2766 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3267 2766 413 48 0 3219 0
[pid=4980] vsize: 13068
Current children cumulated CPU time (s) 624.77
Current children cumulated vsize (Kb) 15196
[startup+670.267 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2801 0 0 0 13325 482 0 0 25 0 1 0 19996238 13496320 2771 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2771 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 634.11
Current children cumulated vsize (Kb) 15308
[startup+680.267 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2804 0 0 0 14225 518 0 0 25 0 1 0 19996238 13496320 2774 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2774 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 643.47
Current children cumulated vsize (Kb) 15308
[startup+690.267 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2812 0 0 0 15144 547 0 0 25 0 1 0 19996238 13496320 2782 4294967295 134512640 134702520 3221223712 3221222608 134553451 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2782 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 652.95
Current children cumulated vsize (Kb) 15308
[startup+700.268 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2812 0 0 0 16064 576 0 0 25 0 1 0 19996238 13496320 2782 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2782 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 662.44
Current children cumulated vsize (Kb) 15308
[startup+710.269 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2823 0 0 0 16957 616 0 0 25 0 1 0 19996238 13496320 2793 4294967295 134512640 134702520 3221223712 3221222832 134591595 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 3295 2793 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 671.77
Current children cumulated vsize (Kb) 15308
[startup+720.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2829 0 0 0 17852 651 0 0 25 0 1 0 19996238 13496320 2799 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2799 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 681.07
Current children cumulated vsize (Kb) 15308
[startup+730.27 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2833 0 0 0 18763 683 0 0 25 0 1 0 19996238 13623296 2803 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3326 2803 413 48 0 3278 0
[pid=4980] vsize: 13304
Current children cumulated CPU time (s) 690.5
Current children cumulated vsize (Kb) 15432
[startup+740.271 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2840 0 0 0 19655 724 0 0 25 0 1 0 19996238 13623296 2810 4294967295 134512640 134702520 3221223712 3221181248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3326 2810 413 48 0 3278 0
[pid=4980] vsize: 13304
Current children cumulated CPU time (s) 699.83
Current children cumulated vsize (Kb) 15432
[startup+750.272 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2847 0 0 0 20551 760 0 0 25 0 1 0 19996238 13623296 2817 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3326 2817 413 48 0 3278 0
[pid=4980] vsize: 13304
Current children cumulated CPU time (s) 709.15
Current children cumulated vsize (Kb) 15432
[startup+760.272 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2854 0 0 0 21444 797 0 0 25 0 1 0 19996238 13623296 2824 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3326 2824 413 48 0 3278 0
[pid=4980] vsize: 13304
Current children cumulated CPU time (s) 718.45
Current children cumulated vsize (Kb) 15432
[startup+770.273 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2859 0 0 0 22346 831 0 0 25 0 1 0 19996238 13778944 2829 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3364 2829 413 48 0 3316 0
[pid=4980] vsize: 13456
Current children cumulated CPU time (s) 727.81
Current children cumulated vsize (Kb) 15584
[startup+780.272 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2860 0 0 0 23262 862 0 0 25 0 1 0 19996238 13778944 2830 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3364 2830 413 48 0 3316 0
[pid=4980] vsize: 13456
Current children cumulated CPU time (s) 737.28
Current children cumulated vsize (Kb) 15584
[startup+790.273 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2871 0 0 0 24153 899 0 0 25 0 1 0 19996238 13721600 2841 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3350 2841 413 48 0 3302 0
[pid=4980] vsize: 13400
Current children cumulated CPU time (s) 746.56
Current children cumulated vsize (Kb) 15528
[startup+800.274 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2881 0 0 0 25051 937 0 0 25 0 1 0 19996238 13721600 2851 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3350 2851 413 48 0 3302 0
[pid=4980] vsize: 13400
Current children cumulated CPU time (s) 755.92
Current children cumulated vsize (Kb) 15528
[startup+810.275 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2921 0 0 0 25945 974 0 0 25 0 1 0 19996238 13856768 2891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3383 2891 413 48 0 3335 0
[pid=4980] vsize: 13532
Current children cumulated CPU time (s) 765.23
Current children cumulated vsize (Kb) 15660
[startup+820.276 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2986 0 0 0 26852 1006 0 0 25 0 1 0 19996238 13856768 2956 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3383 2956 413 48 0 3335 0
[pid=4980] vsize: 13532
Current children cumulated CPU time (s) 774.62
Current children cumulated vsize (Kb) 15660
[startup+830.275 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3071 0 0 0 27779 1031 0 0 25 0 1 0 19996238 14761984 3041 4294967295 134512640 134702520 3221223712 3221169568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3604 3041 413 48 0 3556 0
[pid=4980] vsize: 14416
Current children cumulated CPU time (s) 784.14
Current children cumulated vsize (Kb) 16544
[startup+840.276 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3126 0 0 0 28688 1063 0 0 25 0 1 0 19996238 14761984 3096 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3604 3096 413 48 0 3556 0
[pid=4980] vsize: 14416
Current children cumulated CPU time (s) 793.55
Current children cumulated vsize (Kb) 16544
[startup+850.276 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3221 0 0 0 29613 1090 0 0 17 0 1 0 19996238 14897152 3191 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3637 3191 413 48 0 3589 0
[pid=4980] vsize: 14548
Current children cumulated CPU time (s) 803.07
Current children cumulated vsize (Kb) 16676
[startup+860.277 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3253 0 0 0 30541 1117 0 0 25 0 1 0 19996238 15052800 3223 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3675 3223 413 48 0 3627 0
[pid=4980] vsize: 14700
Current children cumulated CPU time (s) 812.62
Current children cumulated vsize (Kb) 16828
[startup+870.277 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3319 0 0 0 31453 1145 0 0 25 0 1 0 19996238 15822848 3289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3863 3289 413 48 0 3815 0
[pid=4980] vsize: 15452
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (Kb) 17580
[startup+880.277 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3372 0 0 0 32373 1172 0 0 25 0 1 0 19996238 15822848 3342 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3863 3342 413 48 0 3815 0
[pid=4980] vsize: 15452
Current children cumulated CPU time (s) 831.49
Current children cumulated vsize (Kb) 17580
[startup+890.278 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3380 0 0 0 33296 1199 0 0 25 0 1 0 19996238 15986688 3350 4294967295 134512640 134702520 3221223712 3221222736 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3903 3350 413 48 0 3855 0
[pid=4980] vsize: 15612
Current children cumulated CPU time (s) 840.99
Current children cumulated vsize (Kb) 17740
[startup+900.278 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3383 0 0 0 34215 1228 0 0 25 0 1 0 19996238 15986688 3353 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3903 3353 413 48 0 3855 0
[pid=4980] vsize: 15612
Current children cumulated CPU time (s) 850.47
Current children cumulated vsize (Kb) 17740
[startup+910.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/59 4985
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3383 0 0 0 35119 1264 0 0 23 0 1 0 19996238 15953920 3353 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3353 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 859.87
Current children cumulated vsize (Kb) 17708
[startup+920.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3386 0 0 0 36016 1299 0 0 25 0 1 0 19996238 15953920 3356 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3356 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 869.19
Current children cumulated vsize (Kb) 17708
[startup+930.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3390 0 0 0 36920 1332 0 0 25 0 1 0 19996238 15953920 3360 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3360 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 878.56
Current children cumulated vsize (Kb) 17708
[startup+940.281 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3392 0 0 0 37830 1362 0 0 25 0 1 0 19996238 15953920 3362 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3362 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 887.96
Current children cumulated vsize (Kb) 17708
[startup+950.282 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3399 0 0 0 38733 1396 0 0 25 0 1 0 19996238 15953920 3369 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3369 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 897.33
Current children cumulated vsize (Kb) 17708
[startup+960.283 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3414 0 0 0 39654 1423 0 0 25 0 1 0 19996238 16089088 3384 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3928 3384 413 48 0 3880 0
[pid=4980] vsize: 15712
Current children cumulated CPU time (s) 906.81
Current children cumulated vsize (Kb) 17840
[startup+970.283 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3424 0 0 0 40583 1448 0 0 25 0 1 0 19996238 16089088 3394 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3928 3394 413 48 0 3880 0
[pid=4980] vsize: 15712
Current children cumulated CPU time (s) 916.35
Current children cumulated vsize (Kb) 17840
[startup+980.283 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3437 0 0 0 41504 1474 0 0 25 0 1 0 19996238 16089088 3407 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3928 3407 413 48 0 3880 0
[pid=4980] vsize: 15712
Current children cumulated CPU time (s) 925.82
Current children cumulated vsize (Kb) 17840
[startup+990.283 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3451 0 0 0 42431 1497 0 0 25 0 1 0 19996238 16224256 3421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3961 3421 413 48 0 3913 0
[pid=4980] vsize: 15844
Current children cumulated CPU time (s) 935.32
Current children cumulated vsize (Kb) 17972
[startup+1000.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3458 0 0 0 43352 1525 0 0 25 0 1 0 19996238 16224256 3428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3961 3428 413 48 0 3913 0
[pid=4980] vsize: 15844
Current children cumulated CPU time (s) 944.81
Current children cumulated vsize (Kb) 17972
[startup+1010.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3468 0 0 0 44276 1553 0 0 25 0 1 0 19996238 16224256 3438 4294967295 134512640 134702520 3221223712 3221009388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3961 3438 413 48 0 3913 0
[pid=4980] vsize: 15844
Current children cumulated CPU time (s) 954.33
Current children cumulated vsize (Kb) 17972
[startup+1020.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3475 0 0 0 45195 1583 0 0 25 0 1 0 19996238 16224256 3445 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3961 3445 413 48 0 3913 0
[pid=4980] vsize: 15844
Current children cumulated CPU time (s) 963.82
Current children cumulated vsize (Kb) 17972
[startup+1030.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3487 0 0 0 46123 1609 0 0 25 0 1 0 19996238 16359424 3457 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3994 3457 413 48 0 3946 0
[pid=4980] vsize: 15976
Current children cumulated CPU time (s) 973.36
Current children cumulated vsize (Kb) 18104
[startup+1040.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3493 0 0 0 47044 1639 0 0 25 0 1 0 19996238 16359424 3463 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3994 3463 413 48 0 3946 0
[pid=4980] vsize: 15976
Current children cumulated CPU time (s) 982.87
Current children cumulated vsize (Kb) 18104
[startup+1050.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3499 0 0 0 47969 1665 0 0 25 0 1 0 19996238 16359424 3469 4294967295 134512640 134702520 3221223712 3221043488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 3994 3469 413 48 0 3946 0
[pid=4980] vsize: 15976
Current children cumulated CPU time (s) 992.38
Current children cumulated vsize (Kb) 18104
[startup+1060.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3503 0 0 0 48896 1690 0 0 25 0 1 0 19996238 16506880 3473 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4030 3473 413 48 0 3982 0
[pid=4980] vsize: 16120
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (Kb) 18248
[startup+1070.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3503 0 0 0 49802 1724 0 0 25 0 1 0 19996238 16449536 3473 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4016 3473 413 48 0 3968 0
[pid=4980] vsize: 16064
Current children cumulated CPU time (s) 1011.3
Current children cumulated vsize (Kb) 18192
[startup+1080.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3507 0 0 0 50715 1754 0 0 25 0 1 0 19996238 16449536 3477 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4016 3477 413 48 0 3968 0
[pid=4980] vsize: 16064
Current children cumulated CPU time (s) 1020.73
Current children cumulated vsize (Kb) 18192
[startup+1090.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3510 0 0 0 51621 1788 0 0 25 0 1 0 19996238 16453632 3480 4294967295 134512640 134702520 3221223712 3221222992 134553451 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4017 3480 413 48 0 3969 0
[pid=4980] vsize: 16068
Current children cumulated CPU time (s) 1030.13
Current children cumulated vsize (Kb) 18196
[startup+1100.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3511 0 0 0 52528 1822 0 0 25 0 1 0 19996238 16453632 3481 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4017 3481 413 48 0 3969 0
[pid=4980] vsize: 16068
Current children cumulated CPU time (s) 1039.54
Current children cumulated vsize (Kb) 18196
[startup+1110.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3531 0 0 0 53453 1849 0 0 25 0 1 0 19996238 16576512 3501 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4047 3501 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1049.06
Current children cumulated vsize (Kb) 18316
[startup+1120.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3531 0 0 0 54357 1883 0 0 25 0 1 0 19996238 16576512 3501 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4047 3501 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1058.44
Current children cumulated vsize (Kb) 18316
[startup+1130.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3535 0 0 0 55265 1915 0 0 25 0 1 0 19996238 16576512 3505 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4047 3505 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1067.84
Current children cumulated vsize (Kb) 18316
[startup+1140.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3540 0 0 0 56176 1945 0 0 23 0 1 0 19996238 16576512 3510 4294967295 134512640 134702520 3221223712 3221222832 134591692 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4047 3510 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1077.25
Current children cumulated vsize (Kb) 18316
[startup+1150.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3548 0 0 0 57076 1979 0 0 25 0 1 0 19996238 16576512 3518 4294967295 134512640 134702520 3221223712 3221222992 134557491 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4047 3518 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1086.59
Current children cumulated vsize (Kb) 18316
[startup+1160.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3552 0 0 0 57976 2012 0 0 25 0 1 0 19996238 16576512 3522 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4047 3522 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1095.92
Current children cumulated vsize (Kb) 18316
[startup+1170.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3577 0 0 0 58900 2040 0 0 25 0 1 0 19996238 16711680 3547 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4080 3547 413 48 0 4032 0
[pid=4980] vsize: 16320
Current children cumulated CPU time (s) 1105.44
Current children cumulated vsize (Kb) 18448
[startup+1180.29 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3587 0 0 0 59828 2068 0 0 25 0 1 0 19996238 16711680 3557 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4080 3557 413 48 0 4032 0
[pid=4980] vsize: 16320
Current children cumulated CPU time (s) 1115
Current children cumulated vsize (Kb) 18448
[startup+1190.29 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3601 0 0 0 60743 2096 0 0 25 0 1 0 19996238 16846848 3571 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4113 3571 413 48 0 4065 0
[pid=4980] vsize: 16452
Current children cumulated CPU time (s) 1124.43
Current children cumulated vsize (Kb) 18580
[startup+1200.3 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3601 0 0 0 61627 2136 0 0 25 0 1 0 19996238 16846848 3571 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4113 3571 413 48 0 4065 0
[pid=4980] vsize: 16452
Current children cumulated CPU time (s) 1133.67
Current children cumulated vsize (Kb) 18580
[startup+1210.3 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3609 0 0 0 62534 2170 0 0 25 0 1 0 19996238 16846848 3579 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4113 3579 413 48 0 4065 0
[pid=4980] vsize: 16452
Current children cumulated CPU time (s) 1143.08
Current children cumulated vsize (Kb) 18580
[startup+1220.3 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3612 0 0 0 63447 2198 0 0 25 0 1 0 19996238 16846848 3582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4113 3582 413 48 0 4065 0
[pid=4980] vsize: 16452
Current children cumulated CPU time (s) 1152.49
Current children cumulated vsize (Kb) 18580
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=4980) exited with status: 2
New process pid=5042
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=5042) exited with status: 0
New process pid=5043
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+1230.3 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5043
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) R 4975 4975 4061 0 -1 0 972 0 0 0 351 15 0 0 25 0 1 0 20066556 5808128 943 4294967295 134512640 134702520 3221223712 3221222916 134548995 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5043/statm): 1418 943 413 48 0 1370 0
[pid=5043] vsize: 5672
Current children cumulated CPU time (s) 1162.02
Current children cumulated vsize (Kb) 7800
[startup+1240.3 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5043
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 1000 0 0 0 1270 44 0 0 25 0 1 0 20066556 5971968 971 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 1458 971 413 48 0 1410 0
[pid=5043] vsize: 5832
Current children cumulated CPU time (s) 1171.5
Current children cumulated vsize (Kb) 7960
[startup+1250.3 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5043
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 1115 0 0 0 2166 81 0 0 25 0 1 0 20066556 10338304 1086 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2524 1086 413 48 0 2476 0
[pid=5043] vsize: 10096
Current children cumulated CPU time (s) 1180.83
Current children cumulated vsize (Kb) 12224
[startup+1260.3 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5043
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 1328 0 0 0 3050 120 0 0 25 0 1 0 20066556 10608640 1299 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2590 1299 413 48 0 2542 0
[pid=5043] vsize: 10360
Current children cumulated CPU time (s) 1190.06
Current children cumulated vsize (Kb) 12488
[startup+1270.3 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5045
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 1374 0 0 0 3936 159 0 0 20 0 1 0 20066556 10608640 1345 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2590 1345 413 48 0 2542 0
[pid=5043] vsize: 10360
Current children cumulated CPU time (s) 1199.31
Current children cumulated vsize (Kb) 12488
[startup+1280.3 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5045
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 2272 0 0 0 4843 195 0 0 25 0 1 0 20066556 10993664 2243 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2684 2243 413 48 0 2636 0
[pid=5043] vsize: 10736
Current children cumulated CPU time (s) 1208.74
Current children cumulated vsize (Kb) 12864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.3 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5045
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 2272 0 0 0 4843 195 0 0 25 0 1 0 20066556 10993664 2243 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2684 2243 413 48 0 2636 0
[pid=5043] vsize: 10736
Current children cumulated CPU time (s) 1208.74
Current children cumulated vsize (Kb) 12864
Sending SIGTERM to -4975
Sleeping 2 seconds
New process pid=5047
New process pid=5048
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4044/stat
open syscall for file /proc/4044/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4044/cmdline
open syscall for file /proc/4044/environ
open syscall for file /proc/4069/stat
open syscall for file /proc/4069/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4069/cmdline
open syscall for file /proc/4069/environ
open syscall for file /proc/4936/stat
open syscall for file /proc/4936/status
open syscall for file /proc/4936/cmdline
open syscall for file /proc/4936/environ
open syscall for file /proc/4974/stat
open syscall for file /proc/4974/status
open syscall for file /proc/4974/cmdline
open syscall for file /proc/4974/environ
open syscall for file /proc/4975/stat
open syscall for file /proc/4975/status
open syscall for file /proc/4975/cmdline
open syscall for file /proc/4975/environ
open syscall for file /proc/5043/stat
open syscall for file /proc/5043/status
open syscall for file /proc/5043/cmdline
open syscall for file /proc/5043/environ
open syscall for file /proc/5047/stat
open syscall for file /proc/5047/status
open syscall for file /proc/5047/cmdline
open syscall for file /proc/5047/environ
open syscall for file /proc/5048/stat
open syscall for file /proc/5048/status
open syscall for file /proc/5048/cmdline
open syscall for file /proc/5048/environ
One traced child (pid=5047) exited with status: 0
One traced child (pid=5048) exited with status: 0
New process pid=5049
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5043) exited with status: 3
One traced child (pid=5049) exited with status: 0
New process pid=5050
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=5050) exited with status: 0
One traced child (pid=4975) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.78
CPU time (s): 1209.23
CPU user time (s): 1170.37
CPU system time (s): 38.8631
CPU usage (%): 94.4135
Max. virtual memory (cumulated for all children) (Kb): 19828