1:
seed: 0
Nr of vars set: 550 (#equs: 0)
Nr of vars set: 727 (#equs: 0)
#decisions: 687679; #end-nodes: 92015;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 722, #non-axs: 6
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 731 (#equs: 0)
Time taken: 7 min, 27 sec
2:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 731 (#equs: 0)
Nr of vars set: 731 (#equs: 0)
Interupt request received.
#decisions: 1360190; #end-nodes: 182649;
#proof improvement attempts: 0; #restarts: 470
Current batch, end-nodes: 1430 / 2297 (237)
#axs: 722, #non-axs: 201
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 5499 (#equs: 0)
Time taken: 12 min, 40 sec
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/5471/stat): 5471 (vallstSAT2005PB) R 5470 5471 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20103251 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5471/statm): 174 3 169 147 0 27 0
[pid=5471] 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=5472
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=5472) exited with status: 0
New process pid=5473
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=5473) exited with status: 0
New process pid=5474
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/wulflinc25/normalized-mps-v2-13-7-nsrand-ipx.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0024 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 906 0 0 0 944 19 0 0 25 0 1 0 20103258 6307840 876 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1540 876 413 48 0 1492 0
[pid=5474] vsize: 6160
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (Kb) 8288
[startup+20.004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 942 0 0 0 1889 37 0 0 25 0 1 0 20103258 13778944 912 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3364 912 413 48 0 3316 0
[pid=5474] vsize: 13456
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (Kb) 15584
[startup+30.0046 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1011 0 0 0 2833 55 0 0 25 0 1 0 20103258 13807616 981 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 981 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 28.89
Current children cumulated vsize (Kb) 15612
[startup+40.0052 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1011 0 0 0 3767 78 0 0 25 0 1 0 20103258 13807616 981 4294967295 134512640 134702520 3221223952 3221222976 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 981 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 38.46
Current children cumulated vsize (Kb) 15612
[startup+50.0058 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1342 0 0 0 4689 105 0 0 25 0 1 0 20103258 13807616 1312 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 1312 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 47.95
Current children cumulated vsize (Kb) 15612
[startup+60.0064 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1587 0 0 0 5636 122 0 0 25 0 1 0 20103258 13807616 1557 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3371 1557 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 57.59
Current children cumulated vsize (Kb) 15612
[startup+70.008 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1587 0 0 0 6544 149 0 0 25 0 1 0 20103258 13807616 1557 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 1557 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 66.94
Current children cumulated vsize (Kb) 15612
[startup+80.0086 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1587 0 0 0 7364 206 0 0 20 0 1 0 20103258 13807616 1557 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3371 1557 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 75.71
Current children cumulated vsize (Kb) 15612
[startup+90.0092 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1775 0 0 0 8279 231 0 0 25 0 1 0 20103258 13807616 1745 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 1745 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 85.11
Current children cumulated vsize (Kb) 15612
[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1780 0 0 0 9215 252 0 0 25 0 1 0 20103258 13807616 1750 4294967295 134512640 134702520 3221223952 3221223072 134573057 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 1750 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 94.68
Current children cumulated vsize (Kb) 15612
[startup+110.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1788 0 0 0 10157 272 0 0 25 0 1 0 20103258 13955072 1758 4294967295 134512640 134702520 3221223952 3221222848 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3407 1758 413 48 0 3359 0
[pid=5474] vsize: 13628
Current children cumulated CPU time (s) 104.3
Current children cumulated vsize (Kb) 15756
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1788 0 0 0 11102 291 0 0 25 0 1 0 20103258 13955072 1758 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3407 1758 413 48 0 3359 0
[pid=5474] vsize: 13628
Current children cumulated CPU time (s) 113.94
Current children cumulated vsize (Kb) 15756
[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1790 0 0 0 12031 316 0 0 25 0 1 0 20103258 13910016 1760 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1760 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 123.48
Current children cumulated vsize (Kb) 15712
[startup+140.013 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1790 0 0 0 12979 334 0 0 25 0 1 0 20103258 13910016 1760 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1760 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 133.14
Current children cumulated vsize (Kb) 15712
[startup+150.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1791 0 0 0 13895 362 0 0 25 0 1 0 20103258 13910016 1761 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1761 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 142.58
Current children cumulated vsize (Kb) 15712
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1794 0 0 0 14841 380 0 0 25 0 1 0 20103258 13910016 1764 4294967295 134512640 134702520 3221223952 3221223072 134573150 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1764 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 152.22
Current children cumulated vsize (Kb) 15712
[startup+170.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1797 0 0 0 15790 398 0 0 25 0 1 0 20103258 13910016 1767 4294967295 134512640 134702520 3221223952 3221222976 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1767 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (Kb) 15712
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1799 0 0 0 16726 418 0 0 25 0 1 0 20103258 13910016 1769 4294967295 134512640 134702520 3221223952 3221222976 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1769 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 171.45
Current children cumulated vsize (Kb) 15712
[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1802 0 0 0 17657 441 0 0 25 0 1 0 20103258 13910016 1772 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3396 1772 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 180.99
Current children cumulated vsize (Kb) 15712
[startup+200.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1805 0 0 0 18602 459 0 0 25 0 1 0 20103258 13910016 1775 4294967295 134512640 134702520 3221223952 3221222848 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1775 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 190.62
Current children cumulated vsize (Kb) 15712
[startup+210.018 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1807 0 0 0 19552 476 0 0 25 0 1 0 20103258 13910016 1777 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3396 1777 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 200.29
Current children cumulated vsize (Kb) 15712
[startup+220.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1809 0 0 0 20485 497 0 0 25 0 1 0 20103258 13910016 1779 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3396 1779 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 209.83
Current children cumulated vsize (Kb) 15712
[startup+230.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1810 0 0 0 21424 517 0 0 25 0 1 0 20103258 13910016 1780 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3396 1780 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 219.42
Current children cumulated vsize (Kb) 15712
[startup+240.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1811 0 0 0 22383 532 0 0 25 0 1 0 20103258 14020608 1781 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1781 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 229.16
Current children cumulated vsize (Kb) 15820
[startup+250.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1812 0 0 0 23328 549 0 0 25 0 1 0 20103258 14020608 1782 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1782 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 238.78
Current children cumulated vsize (Kb) 15820
[startup+260.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1815 0 0 0 24280 566 0 0 25 0 1 0 20103258 14020608 1785 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1785 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 248.47
Current children cumulated vsize (Kb) 15820
[startup+270.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1839 0 0 0 25219 587 0 0 25 0 1 0 20103258 14020608 1809 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1809 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 258.07
Current children cumulated vsize (Kb) 15820
[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1853 0 0 0 26172 602 0 0 25 0 1 0 20103258 14020608 1823 4294967295 134512640 134702520 3221223952 3221223280 134617866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1823 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 267.75
Current children cumulated vsize (Kb) 15820
[startup+290.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1858 0 0 0 27112 621 0 0 25 0 1 0 20103258 14020608 1828 4294967295 134512640 134702520 3221223952 3221222848 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1828 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 277.34
Current children cumulated vsize (Kb) 15820
[startup+300.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1859 0 0 0 28048 645 0 0 25 0 1 0 20103258 14020608 1829 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1829 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 286.94
Current children cumulated vsize (Kb) 15820
[startup+310.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1927 0 0 0 28992 664 0 0 25 0 1 0 20103258 14024704 1897 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1897 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 296.57
Current children cumulated vsize (Kb) 15824
[startup+320.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1927 0 0 0 29896 697 0 0 25 0 1 0 20103258 14024704 1897 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1897 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 305.94
Current children cumulated vsize (Kb) 15824
[startup+330.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1955 0 0 0 30839 716 0 0 25 0 1 0 20103258 14024704 1925 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1925 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 315.56
Current children cumulated vsize (Kb) 15824
[startup+340.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1956 0 0 0 31790 732 0 0 25 0 1 0 20103258 14024704 1926 4294967295 134512640 134702520 3221223952 3221223232 134554414 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3424 1926 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 325.23
Current children cumulated vsize (Kb) 15824
[startup+350.028 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1960 0 0 0 32726 752 0 0 25 0 1 0 20103258 14024704 1930 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1930 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 334.79
Current children cumulated vsize (Kb) 15824
[startup+360.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1962 0 0 0 33612 790 0 0 23 0 1 0 20103258 14024704 1932 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1932 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 344.03
Current children cumulated vsize (Kb) 15824
[startup+370.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2003 0 0 0 34465 838 0 0 25 0 1 0 20103258 14159872 1973 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 1973 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 353.04
Current children cumulated vsize (Kb) 15956
[startup+380.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2020 0 0 0 35420 854 0 0 25 0 1 0 20103258 14159872 1990 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 1990 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 362.75
Current children cumulated vsize (Kb) 15956
[startup+390.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2027 0 0 0 36366 872 0 0 25 0 1 0 20103258 14159872 1997 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 1997 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 372.39
Current children cumulated vsize (Kb) 15956
[startup+400.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2132 0 0 0 37309 891 0 0 25 0 1 0 20103258 14159872 2102 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 2102 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 382.01
Current children cumulated vsize (Kb) 15956
[startup+410.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2138 0 0 0 38182 931 0 0 24 0 1 0 20103258 14159872 2108 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 2108 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 391.14
Current children cumulated vsize (Kb) 15956
[startup+420.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2156 0 0 0 38960 1002 0 0 24 0 1 0 20103258 14159872 2126 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 2126 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 399.63
Current children cumulated vsize (Kb) 15956
[startup+430.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2374 0 0 0 39926 1012 0 0 22 0 1 0 20103258 14295040 2344 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3490 2344 413 48 0 3442 0
[pid=5474] vsize: 13960
Current children cumulated CPU time (s) 409.39
Current children cumulated vsize (Kb) 16088
[startup+440.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2382 0 0 0 40876 1029 0 0 25 0 1 0 20103258 14295040 2352 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3490 2352 413 48 0 3442 0
[pid=5474] vsize: 13960
Current children cumulated CPU time (s) 419.06
Current children cumulated vsize (Kb) 16088
[startup+450.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2528 0 0 0 41786 1060 0 0 25 0 1 0 20103258 14295040 2498 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3490 2498 413 48 0 3442 0
[pid=5474] vsize: 13960
Current children cumulated CPU time (s) 428.47
Current children cumulated vsize (Kb) 16088
[startup+460.034 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 2656 0 0 0 42738 1076 0 0 17 0 1 0 20103258 14295040 2626 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3490 2626 413 48 0 3442 0
[pid=5474] vsize: 13960
Current children cumulated CPU time (s) 438.15
Current children cumulated vsize (Kb) 16088
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=5474) exited with status: 2
New process pid=5475
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=5475) exited with status: 0
New process pid=5476
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
[startup+470.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 52 0 0 0 0 0 0 0 20 0 1 0 20150261 516096 37 4294967295 134512640 134702520 3221223712 3221221368 1073810900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 126 37 123 48 0 78 0
[pid=5476] vsize: 504
Current children cumulated CPU time (s) 447.77
Current children cumulated vsize (Kb) 2632
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+480.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 851 0 0 0 946 21 0 0 25 0 1 0 20150261 5488640 822 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 1340 822 413 48 0 1292 0
[pid=5476] vsize: 5360
Current children cumulated CPU time (s) 457.44
Current children cumulated vsize (Kb) 7488
[startup+490.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 965 0 0 0 1894 42 0 0 25 0 1 0 20150261 11395072 936 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2782 936 413 48 0 2734 0
[pid=5476] vsize: 11128
Current children cumulated CPU time (s) 467.13
Current children cumulated vsize (Kb) 13256
[startup+500.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1061 0 0 0 2829 64 0 0 25 0 1 0 20150261 11399168 1032 4294967295 134512640 134702520 3221223712 3221222736 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2783 1032 413 48 0 2735 0
[pid=5476] vsize: 11132
Current children cumulated CPU time (s) 476.7
Current children cumulated vsize (Kb) 13260
[startup+510.04 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1081 0 0 0 3770 82 0 0 24 0 1 0 20150261 11399168 1052 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2783 1052 413 48 0 2735 0
[pid=5476] vsize: 11132
Current children cumulated CPU time (s) 486.29
Current children cumulated vsize (Kb) 13260
[startup+520.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1087 0 0 0 4654 123 0 0 19 0 1 0 20150261 11399168 1058 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2783 1058 413 48 0 2735 0
[pid=5476] vsize: 11132
Current children cumulated CPU time (s) 495.54
Current children cumulated vsize (Kb) 13260
[startup+530.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1093 0 0 0 5549 157 0 0 25 0 1 0 20150261 11542528 1064 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1064 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 504.83
Current children cumulated vsize (Kb) 13400
[startup+540.042 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1098 0 0 0 6430 198 0 0 25 0 1 0 20150261 11542528 1069 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1069 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 514.05
Current children cumulated vsize (Kb) 13400
[startup+550.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1299 0 0 0 7377 215 0 0 25 0 1 0 20150261 11542528 1270 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2818 1270 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 523.69
Current children cumulated vsize (Kb) 13400
[startup+560.044 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1429 0 0 0 8332 232 0 0 25 0 1 0 20150261 11542528 1400 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1400 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 533.41
Current children cumulated vsize (Kb) 13400
[startup+570.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1461 0 0 0 9274 251 0 0 25 0 1 0 20150261 11542528 1432 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2818 1432 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 543.02
Current children cumulated vsize (Kb) 13400
[startup+580.045 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1464 0 0 0 10216 271 0 0 25 0 1 0 20150261 11542528 1435 4294967295 134512640 134702520 3221223712 3221222736 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2818 1435 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 552.64
Current children cumulated vsize (Kb) 13400
[startup+590.045 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1468 0 0 0 11160 290 0 0 25 0 1 0 20150261 11542528 1439 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1439 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 562.27
Current children cumulated vsize (Kb) 13400
[startup+600.046 s]
Raw data (loadavg): 1.05 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1468 0 0 0 12004 341 0 0 19 0 1 0 20150261 11542528 1439 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1439 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 571.22
Current children cumulated vsize (Kb) 13400
[startup+610.047 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1478 0 0 0 12848 388 0 0 25 0 1 0 20150261 11542528 1449 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2818 1449 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 580.13
Current children cumulated vsize (Kb) 13400
[startup+620.047 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1481 0 0 0 13809 401 0 0 25 0 1 0 20150261 11673600 1452 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2850 1452 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 589.87
Current children cumulated vsize (Kb) 13528
[startup+630.048 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1484 0 0 0 14735 426 0 0 25 0 1 0 20150261 11673600 1455 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1455 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 599.38
Current children cumulated vsize (Kb) 13528
[startup+640.048 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1545 0 0 0 15677 444 0 0 25 0 1 0 20150261 11673600 1516 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1516 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 608.98
Current children cumulated vsize (Kb) 13528
[startup+650.049 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1549 0 0 0 16617 464 0 0 25 0 1 0 20150261 11673600 1520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1520 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 618.58
Current children cumulated vsize (Kb) 13528
[startup+660.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1553 0 0 0 17574 476 0 0 25 0 1 0 20150261 11673600 1524 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1524 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 628.27
Current children cumulated vsize (Kb) 13528
[startup+670.051 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1556 0 0 0 18525 493 0 0 25 0 1 0 20150261 11673600 1527 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2850 1527 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 637.95
Current children cumulated vsize (Kb) 13528
[startup+680.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1561 0 0 0 19452 515 0 0 25 0 1 0 20150261 11673600 1532 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2850 1532 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 647.44
Current children cumulated vsize (Kb) 13528
[startup+690.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1563 0 0 0 20378 541 0 0 25 0 1 0 20150261 11673600 1534 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2850 1534 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 656.96
Current children cumulated vsize (Kb) 13528
[startup+700.052 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1566 0 0 0 21322 560 0 0 25 0 1 0 20150261 11673600 1537 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1537 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 666.59
Current children cumulated vsize (Kb) 13528
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1568 0 0 0 22260 580 0 0 23 0 1 0 20150261 11673600 1539 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1539 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 676.17
Current children cumulated vsize (Kb) 13528
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1713 0 0 0 23203 599 0 0 25 0 1 0 20150261 11808768 1684 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 1684 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 685.79
Current children cumulated vsize (Kb) 13660
[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1717 0 0 0 24146 621 0 0 25 0 1 0 20150261 11808768 1688 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 1688 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 695.44
Current children cumulated vsize (Kb) 13660
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1976 0 0 0 25106 636 0 0 25 0 1 0 20150261 11808768 1947 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 1947 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 705.19
Current children cumulated vsize (Kb) 13660
[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2135 0 0 0 26043 656 0 0 25 0 1 0 20150261 11808768 2106 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2106 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 714.76
Current children cumulated vsize (Kb) 13660
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2296 0 0 0 27004 669 0 0 25 0 1 0 20150261 11808768 2267 4294967295 134512640 134702520 3221223712 3221222832 134588528 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2267 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 724.5
Current children cumulated vsize (Kb) 13660
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2363 0 0 0 27929 696 0 0 25 0 1 0 20150261 11808768 2334 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2883 2334 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 734.02
Current children cumulated vsize (Kb) 13660
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2395 0 0 0 28873 713 0 0 25 0 1 0 20150261 11808768 2366 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2366 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 743.63
Current children cumulated vsize (Kb) 13660
[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2396 0 0 0 29845 722 0 0 25 0 1 0 20150261 11808768 2367 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2367 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 753.44
Current children cumulated vsize (Kb) 13660
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2497 0 0 0 30780 742 0 0 23 0 1 0 20150261 11808768 2468 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2883 2468 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 762.99
Current children cumulated vsize (Kb) 13660
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2617 0 0 0 31534 822 0 0 23 0 1 0 20150261 11808768 2588 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2588 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 771.33
Current children cumulated vsize (Kb) 13660
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2627 0 0 0 32402 864 0 0 25 0 1 0 20150261 11943936 2598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2916 2598 413 48 0 2868 0
[pid=5476] vsize: 11664
Current children cumulated CPU time (s) 780.43
Current children cumulated vsize (Kb) 13792
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2640 0 0 0 33304 896 0 0 25 0 1 0 20150261 12754944 2611 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3114 2611 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 789.77
Current children cumulated vsize (Kb) 14584
[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2659 0 0 0 34251 913 0 0 25 0 1 0 20150261 12754944 2630 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3114 2630 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 799.41
Current children cumulated vsize (Kb) 14584
[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2676 0 0 0 35178 935 0 0 25 0 1 0 20150261 12754944 2647 4294967295 134512640 134702520 3221223712 3221222832 134572622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3114 2647 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 808.9
Current children cumulated vsize (Kb) 14584
[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2679 0 0 0 36103 961 0 0 25 0 1 0 20150261 12754944 2650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3114 2650 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 818.41
Current children cumulated vsize (Kb) 14584
[startup+870.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2681 0 0 0 37017 989 0 0 25 0 1 0 20150261 12754944 2652 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3114 2652 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 827.83
Current children cumulated vsize (Kb) 14584
[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2685 0 0 0 37945 1015 0 0 25 0 1 0 20150261 12754944 2656 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3114 2656 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 837.37
Current children cumulated vsize (Kb) 14584
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2688 0 0 0 38879 1037 0 0 25 0 1 0 20150261 12894208 2659 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2659 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 846.93
Current children cumulated vsize (Kb) 14720
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2692 0 0 0 39820 1057 0 0 25 0 1 0 20150261 12894208 2663 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2663 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 856.54
Current children cumulated vsize (Kb) 14720
[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2697 0 0 0 40762 1078 0 0 25 0 1 0 20150261 12894208 2668 4294967295 134512640 134702520 3221223712 3221222608 134553384 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2668 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 866.17
Current children cumulated vsize (Kb) 14720
[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2697 0 0 0 41712 1095 0 0 25 0 1 0 20150261 12894208 2668 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2668 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 875.84
Current children cumulated vsize (Kb) 14720
[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2697 0 0 0 42657 1113 0 0 25 0 1 0 20150261 12894208 2668 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2668 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 885.47
Current children cumulated vsize (Kb) 14720
[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2699 0 0 0 43575 1142 0 0 25 0 1 0 20150261 12894208 2670 4294967295 134512640 134702520 3221223712 3221222992 134553372 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2670 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 894.94
Current children cumulated vsize (Kb) 14720
[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2703 0 0 0 44533 1156 0 0 25 0 1 0 20150261 12894208 2674 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2674 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 904.66
Current children cumulated vsize (Kb) 14720
[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2706 0 0 0 45411 1197 0 0 22 0 1 0 20150261 12894208 2677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2677 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 913.85
Current children cumulated vsize (Kb) 14720
[startup+970.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2710 0 0 0 46340 1222 0 0 25 0 1 0 20150261 12894208 2681 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2681 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 923.39
Current children cumulated vsize (Kb) 14720
[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2715 0 0 0 47251 1250 0 0 24 0 1 0 20150261 12894208 2686 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2686 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 932.78
Current children cumulated vsize (Kb) 14720
[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2719 0 0 0 48175 1274 0 0 25 0 1 0 20150261 12894208 2690 4294967295 134512640 134702520 3221223712 3221222736 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2690 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (Kb) 14720
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2721 0 0 0 49130 1287 0 0 25 0 1 0 20150261 12894208 2692 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2692 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 951.94
Current children cumulated vsize (Kb) 14720
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2723 0 0 0 50070 1307 0 0 25 0 1 0 20150261 12894208 2694 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2694 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 961.54
Current children cumulated vsize (Kb) 14720
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2727 0 0 0 51013 1326 0 0 25 0 1 0 20150261 13029376 2698 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2698 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 971.16
Current children cumulated vsize (Kb) 14852
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2729 0 0 0 51953 1346 0 0 25 0 1 0 20150261 13029376 2700 4294967295 134512640 134702520 3221223712 3221222832 134572157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2700 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 980.76
Current children cumulated vsize (Kb) 14852
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2731 0 0 0 52896 1365 0 0 25 0 1 0 20150261 13029376 2702 4294967295 134512640 134702520 3221223712 3221222736 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3181 2702 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 990.38
Current children cumulated vsize (Kb) 14852
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2735 0 0 0 53842 1382 0 0 25 0 1 0 20150261 13029376 2706 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3181 2706 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1000.01
Current children cumulated vsize (Kb) 14852
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2735 0 0 0 54784 1401 0 0 25 0 1 0 20150261 13029376 2706 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2706 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1009.62
Current children cumulated vsize (Kb) 14852
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2735 0 0 0 55732 1418 0 0 25 0 1 0 20150261 13029376 2706 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2706 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1019.27
Current children cumulated vsize (Kb) 14852
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2738 0 0 0 56649 1443 0 0 25 0 1 0 20150261 13029376 2709 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2709 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1028.69
Current children cumulated vsize (Kb) 14852
[startup+1090.07 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2778 0 0 0 57462 1501 0 0 19 0 1 0 20150261 13029376 2749 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2749 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1037.4
Current children cumulated vsize (Kb) 14852
[startup+1100.07 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2858 0 0 0 58305 1555 0 0 25 0 1 0 20150261 13029376 2829 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2829 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1046.37
Current children cumulated vsize (Kb) 14852
[startup+1110.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2866 0 0 0 59182 1594 0 0 25 0 1 0 20150261 13029376 2837 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2837 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1055.53
Current children cumulated vsize (Kb) 14852
[startup+1120.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2870 0 0 0 60040 1641 0 0 25 0 1 0 20150261 13164544 2841 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3214 2841 413 48 0 3166 0
[pid=5476] vsize: 12856
Current children cumulated CPU time (s) 1064.58
Current children cumulated vsize (Kb) 14984
[startup+1130.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2873 0 0 0 60938 1672 0 0 25 0 1 0 20150261 13164544 2844 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3214 2844 413 48 0 3166 0
[pid=5476] vsize: 12856
Current children cumulated CPU time (s) 1073.87
Current children cumulated vsize (Kb) 14984
[startup+1140.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2913 0 0 0 61832 1707 0 0 25 0 1 0 20150261 13164544 2884 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3214 2884 413 48 0 3166 0
[pid=5476] vsize: 12856
Current children cumulated CPU time (s) 1083.16
Current children cumulated vsize (Kb) 14984
[startup+1150.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2948 0 0 0 62800 1719 0 0 25 0 1 0 20150261 13975552 2919 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2919 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1092.96
Current children cumulated vsize (Kb) 15776
[startup+1160.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2973 0 0 0 63749 1735 0 0 25 0 1 0 20150261 13975552 2944 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2944 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1102.61
Current children cumulated vsize (Kb) 15776
[startup+1170.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2975 0 0 0 64708 1748 0 0 25 0 1 0 20150261 13975552 2946 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2946 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1112.33
Current children cumulated vsize (Kb) 15776
[startup+1180.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2976 0 0 0 65667 1760 0 0 25 0 1 0 20150261 13975552 2947 4294967295 134512640 134702520 3221223712 3221196928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2947 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (Kb) 15776
[startup+1190.08 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2978 0 0 0 66602 1779 0 0 25 0 1 0 20150261 13975552 2949 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2949 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1131.58
Current children cumulated vsize (Kb) 15776
[startup+1200.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2981 0 0 0 67529 1807 0 0 25 0 1 0 20150261 13975552 2952 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2952 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1141.13
Current children cumulated vsize (Kb) 15776
[startup+1210.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2982 0 0 0 68486 1823 0 0 25 0 1 0 20150261 14110720 2953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2953 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1150.86
Current children cumulated vsize (Kb) 15908
[startup+1220.08 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2984 0 0 0 69418 1846 0 0 24 0 1 0 20150261 14110720 2955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2955 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1160.41
Current children cumulated vsize (Kb) 15908
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2987 0 0 0 70356 1866 0 0 25 0 1 0 20150261 14110720 2958 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2958 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1169.99
Current children cumulated vsize (Kb) 15908
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2988 0 0 0 71255 1898 0 0 25 0 1 0 20150261 14110720 2959 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2959 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1179.3
Current children cumulated vsize (Kb) 15908
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2990 0 0 0 72123 1940 0 0 24 0 1 0 20150261 14110720 2961 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2961 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1188.4
Current children cumulated vsize (Kb) 15908
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2991 0 0 0 73068 1959 0 0 25 0 1 0 20150261 14110720 2962 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2962 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1198.04
Current children cumulated vsize (Kb) 15908
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2992 0 0 0 74027 1974 0 0 25 0 1 0 20150261 14110720 2963 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3445 2963 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1207.78
Current children cumulated vsize (Kb) 15908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2992 0 0 0 74027 1974 0 0 25 0 1 0 20150261 14110720 2963 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3445 2963 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1207.78
Current children cumulated vsize (Kb) 15908
Sending SIGTERM to -5471
Sleeping 2 seconds
New process pid=5478
New process pid=5479
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/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/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/3986/stat
open syscall for file /proc/3986/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/3986/cmdline
open syscall for file /proc/3986/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/5432/stat
open syscall for file /proc/5432/status
open syscall for file /proc/5432/cmdline
open syscall for file /proc/5432/environ
open syscall for file /proc/5470/stat
open syscall for file /proc/5470/status
open syscall for file /proc/5470/cmdline
open syscall for file /proc/5470/environ
open syscall for file /proc/5471/stat
open syscall for file /proc/5471/status
open syscall for file /proc/5471/cmdline
open syscall for file /proc/5471/environ
open syscall for file /proc/5476/stat
open syscall for file /proc/5476/status
open syscall for file /proc/5476/cmdline
open syscall for file /proc/5476/environ
open syscall for file /proc/5478/stat
open syscall for file /proc/5478/status
open syscall for file /proc/5478/cmdline
open syscall for file /proc/5478/environ
open syscall for file /proc/5479/stat
open syscall for file /proc/5479/status
open syscall for file /proc/5479/cmdline
open syscall for file /proc/5479/environ
One traced child (pid=5478) exited with status: 0
One traced child (pid=5479) exited with status: 0
New process pid=5480
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5480) exited with status: 0
New process pid=5481
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=5481) exited with status: 0
One traced child (pid=5471) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5476) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1270.63
CPU time (s): 760.538
CPU user time (s): 740.746
CPU system time (s): 19.792
CPU usage (%): 59.855
Max. virtual memory (cumulated for all children) (Kb): 16088