1:
seed: 0
Nr of vars set: 17761 (#equs: 0)
Nr of vars set: 17843 (#equs: 0)
#decisions: 1366590; #end-nodes: 9607;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 126 (103)
#axs: 4561, #non-axs: 255
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: 17888 (#equs: 0)
Time taken: 13 min, 55 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: 17888 (#equs: 0)
Nr of vars set: 17888 (#equs: 0)
Interupt request received.
#decisions: 884987; #end-nodes: 5425;
#proof improvement attempts: 0; #restarts: 40
Current batch, end-nodes: 87 / 138 (130)
#axs: 4560, #non-axs: 971
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)
seed: 0
Nr of vars set: 30005 (#equs: 0)
Time taken: 6 min, 4 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/6321/stat): 6321 (vallstSAT2005PB) R 6320 6321 4060 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 20712918 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6321/statm): 174 3 169 147 0 27 0
[pid=6321] 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=6322
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=6322) exited with status: 0
New process pid=6323
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=6323) exited with status: 0
New process pid=6324
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/wulflinc17/normalized-mps-v2-13-7-A1C1S1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0035 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4319 0 0 0 959 22 0 0 25 0 1 0 20712925 18636800 3767 4294967295 134512640 134702520 3221223952 3221186688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4550 3767 413 48 0 4502 0
[pid=6324] vsize: 18200
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 20328
[startup+20.0041 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4349 0 0 0 1959 22 0 0 25 0 1 0 20712925 18759680 3797 4294967295 134512640 134702520 3221223952 3221050668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4580 3797 413 48 0 4532 0
[pid=6324] vsize: 18320
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 20448
[startup+30.0057 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4385 0 0 0 2959 22 0 0 25 0 1 0 20712925 18907136 3833 4294967295 134512640 134702520 3221223952 3220905088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4616 3833 413 48 0 4568 0
[pid=6324] vsize: 18464
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 20592
[startup+40.0063 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4423 0 0 0 3959 22 0 0 25 0 1 0 20712925 19062784 3871 4294967295 134512640 134702520 3221223952 3220750188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4654 3871 413 48 0 4606 0
[pid=6324] vsize: 18616
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 20744
[startup+50.0069 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4463 0 0 0 4959 22 0 0 25 0 1 0 20712925 19226624 3911 4294967295 134512640 134702520 3221223952 3220584288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4694 3911 413 48 0 4646 0
[pid=6324] vsize: 18776
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (Kb) 20904
[startup+60.0075 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4507 0 0 0 5960 22 0 0 25 0 1 0 20712925 19406848 3955 4294967295 134512640 134702520 3221223952 3220404448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4738 3955 413 48 0 4690 0
[pid=6324] vsize: 18952
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 21080
[startup+70.0081 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4555 0 0 0 6960 22 0 0 25 0 1 0 20712925 19603456 4003 4294967295 134512640 134702520 3221223952 3220207308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4786 4003 413 48 0 4738 0
[pid=6324] vsize: 19144
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 21272
[startup+80.0087 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4609 0 0 0 7960 23 0 0 25 0 1 0 20712925 19824640 4057 4294967295 134512640 134702520 3221223952 3219986348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4840 4057 413 48 0 4792 0
[pid=6324] vsize: 19360
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (Kb) 21488
[startup+90.0093 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4672 0 0 0 8960 23 0 0 25 0 1 0 20712925 20082688 4120 4294967295 134512640 134702520 3221223952 3219729728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4903 4120 413 48 0 4855 0
[pid=6324] vsize: 19612
Current children cumulated CPU time (s) 89.85
Current children cumulated vsize (Kb) 21740
[startup+100.009 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4749 0 0 0 9960 23 0 0 25 0 1 0 20712925 20398080 4197 4294967295 134512640 134702520 3221223952 3219412128 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4980 4197 413 48 0 4932 0
[pid=6324] vsize: 19920
Current children cumulated CPU time (s) 99.85
Current children cumulated vsize (Kb) 22048
[startup+110.01 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4865 0 0 0 10960 23 0 0 25 0 1 0 20712925 20873216 4313 4294967295 134512640 134702520 3221223952 3218937728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 5096 4313 413 48 0 5048 0
[pid=6324] vsize: 20384
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 22512
[startup+120.01 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5142 0 0 0 11535 156 0 0 16 0 1 0 20712925 35389440 4590 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8640 4590 413 48 0 8592 0
[pid=6324] vsize: 34560
Current children cumulated CPU time (s) 116.93
Current children cumulated vsize (Kb) 36688
[startup+130.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 12146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3221186108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 124.29
Current children cumulated vsize (Kb) 36696
[startup+140.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 13146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3221105008 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (Kb) 36696
[startup+150.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 14146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220993808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 144.29
Current children cumulated vsize (Kb) 36696
[startup+160.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 15146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220844348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 154.29
Current children cumulated vsize (Kb) 36696
[startup+170.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 16146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220684828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 164.29
Current children cumulated vsize (Kb) 36696
[startup+180.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 17146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220513148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 174.29
Current children cumulated vsize (Kb) 36696
[startup+190.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 18146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220326596 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 184.29
Current children cumulated vsize (Kb) 36696
[startup+200.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 19146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220120048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 194.29
Current children cumulated vsize (Kb) 36696
[startup+210.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 20146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3219885488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 204.29
Current children cumulated vsize (Kb) 36696
[startup+220.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 21146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3219607408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 214.29
Current children cumulated vsize (Kb) 36696
[startup+230.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 22147 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3219245168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 224.3
Current children cumulated vsize (Kb) 36696
[startup+240.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 23147 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3218429488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 234.3
Current children cumulated vsize (Kb) 36696
[startup+250.02 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5149 0 0 0 23409 516 0 0 16 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 239.27
Current children cumulated vsize (Kb) 36696
[startup+260.022 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 24358 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3221148848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 248.95
Current children cumulated vsize (Kb) 36696
[startup+270.022 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 25358 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3221066128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 258.95
Current children cumulated vsize (Kb) 36696
[startup+280.023 s]
Raw data (loadavg): 1.26 1.08 1.02 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 26359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220927228 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 268.96
Current children cumulated vsize (Kb) 36696
[startup+290.023 s]
Raw data (loadavg): 1.22 1.07 1.02 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 27359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220771888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 278.96
Current children cumulated vsize (Kb) 36696
[startup+300.023 s]
Raw data (loadavg): 1.19 1.07 1.02 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 28359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220605308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 288.96
Current children cumulated vsize (Kb) 36696
[startup+310.024 s]
Raw data (loadavg): 1.16 1.07 1.01 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 29359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220425148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 298.96
Current children cumulated vsize (Kb) 36696
[startup+320.024 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 30359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220227568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 308.96
Current children cumulated vsize (Kb) 36696
[startup+330.025 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 31360 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220006268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 318.97
Current children cumulated vsize (Kb) 36696
[startup+340.025 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 6381
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 32360 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3219750108 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 328.97
Current children cumulated vsize (Kb) 36696
[startup+350.025 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 6383
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 33360 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3219433808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 338.97
Current children cumulated vsize (Kb) 36696
[startup+360.026 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 34360 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3218970108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 348.97
Current children cumulated vsize (Kb) 36696
[startup+370.026 s]
Raw data (loadavg): 1.06 1.05 1.01 1/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5150 0 0 0 34963 660 0 0 16 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 356.25
Current children cumulated vsize (Kb) 36700
[startup+380.027 s]
Raw data (loadavg): 1.05 1.05 1.01 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 35742 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3221167708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 364.77
Current children cumulated vsize (Kb) 36700
[startup+390.027 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 36742 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3221085488 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 374.77
Current children cumulated vsize (Kb) 36700
[startup+400.028 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 37742 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220963728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 384.77
Current children cumulated vsize (Kb) 36700
[startup+410.029 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 38742 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220810928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 394.77
Current children cumulated vsize (Kb) 36700
[startup+420.029 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 39743 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220647228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 404.78
Current children cumulated vsize (Kb) 36700
[startup+430.031 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 40743 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220470748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 414.78
Current children cumulated vsize (Kb) 36700
[startup+440.031 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 41743 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220277948 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 424.78
Current children cumulated vsize (Kb) 36700
[startup+450.031 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 42743 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220063408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 434.78
Current children cumulated vsize (Kb) 36700
[startup+460.032 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 43744 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3219817328 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 444.79
Current children cumulated vsize (Kb) 36700
[startup+470.032 s]
Raw data (loadavg): 1.01 1.03 1.00 3/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 44744 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3219519888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 454.79
Current children cumulated vsize (Kb) 36700
[startup+480.033 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 45744 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3219111868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 464.79
Current children cumulated vsize (Kb) 36700
[startup+490.033 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5150 0 0 0 46536 802 0 0 16 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 473.4
Current children cumulated vsize (Kb) 36700
[startup+500.034 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 47088 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3221192208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 480.37
Current children cumulated vsize (Kb) 36700
[startup+510.035 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 48088 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3221110448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 490.37
Current children cumulated vsize (Kb) 36700
[startup+520.035 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 49088 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3221008688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 500.37
Current children cumulated vsize (Kb) 36700
[startup+530.037 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 50088 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220858768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 510.37
Current children cumulated vsize (Kb) 36700
[startup+540.037 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 51089 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220698608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 520.38
Current children cumulated vsize (Kb) 36700
[startup+550.038 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 52089 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220526428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 530.38
Current children cumulated vsize (Kb) 36700
[startup+560.039 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 53089 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220339068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 540.38
Current children cumulated vsize (Kb) 36700
[startup+570.039 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 54089 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220132208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 550.38
Current children cumulated vsize (Kb) 36700
[startup+580.04 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 55090 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3219897308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 560.39
Current children cumulated vsize (Kb) 36700
[startup+590.04 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 56090 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3219619088 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 570.39
Current children cumulated vsize (Kb) 36700
[startup+600.041 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 57090 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3219258128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 580.39
Current children cumulated vsize (Kb) 36700
[startup+610.042 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 58090 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3218518768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 590.39
Current children cumulated vsize (Kb) 36700
[startup+620.042 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5199 0 0 0 58364 1180 0 0 16 0 1 0 20712925 35401728 4647 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4647 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 595.46
Current children cumulated vsize (Kb) 36700
[startup+630.044 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 58897 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221194908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 602.26
Current children cumulated vsize (Kb) 36700
[startup+640.044 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 59898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221113148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 612.27
Current children cumulated vsize (Kb) 36700
[startup+650.045 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 60898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221014428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 622.27
Current children cumulated vsize (Kb) 36700
[startup+660.046 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 61898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220864848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 632.27
Current children cumulated vsize (Kb) 36700
[startup+670.046 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 62898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220705328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (Kb) 36700
[startup+680.046 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 63898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220533808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 652.27
Current children cumulated vsize (Kb) 36700
[startup+690.046 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 64899 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220347408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 662.28
Current children cumulated vsize (Kb) 36700
[startup+700.047 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 65899 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220141648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 672.28
Current children cumulated vsize (Kb) 36700
[startup+710.048 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 66899 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219908368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 682.28
Current children cumulated vsize (Kb) 36700
[startup+720.048 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 67899 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219633008 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 692.28
Current children cumulated vsize (Kb) 36700
[startup+730.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 68900 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219278288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (Kb) 36700
[startup+740.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 69900 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3218613632 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 712.29
Current children cumulated vsize (Kb) 36700
[startup+750.048 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5225 0 0 0 70224 1538 0 0 17 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 717.64
Current children cumulated vsize (Kb) 36700
[startup+760.049 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 70744 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221196668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 724.38
Current children cumulated vsize (Kb) 36700
[startup+770.049 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 71744 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221115088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 734.38
Current children cumulated vsize (Kb) 36700
[startup+780.049 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 72744 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221019888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 744.38
Current children cumulated vsize (Kb) 36700
[startup+790.049 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 73744 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220870768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 754.38
Current children cumulated vsize (Kb) 36700
[startup+800.049 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 74745 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220711868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 764.39
Current children cumulated vsize (Kb) 36700
[startup+810.05 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 75745 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220541008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 774.39
Current children cumulated vsize (Kb) 36700
[startup+820.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 76745 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220355548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 784.39
Current children cumulated vsize (Kb) 36700
[startup+830.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 77745 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220150768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 794.39
Current children cumulated vsize (Kb) 36700
[startup+840.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 78746 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219919408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 804.4
Current children cumulated vsize (Kb) 36700
[startup+850.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 79746 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219646768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 814.4
Current children cumulated vsize (Kb) 36700
[startup+860.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 80746 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219297968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 824.4
Current children cumulated vsize (Kb) 36700
[startup+870.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 81746 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3218682108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 834.4
Current children cumulated vsize (Kb) 36700
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=6324) exited with status: 2
New process pid=6388
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=6388) exited with status: 0
New process pid=6389
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+880.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3022 0 0 0 759 13 0 0 25 0 1 0 20800157 15163392 2992 4294967295 134512640 134702520 3221223712 3221149788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3702 2992 413 48 0 3654 0
[pid=6389] vsize: 14808
Current children cumulated CPU time (s) 844.3
Current children cumulated vsize (Kb) 16936
[startup+890.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3056 0 0 0 1759 13 0 0 25 0 1 0 20800157 15302656 3026 4294967295 134512640 134702520 3221223712 3221011408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3736 3026 413 48 0 3688 0
[pid=6389] vsize: 14944
Current children cumulated CPU time (s) 854.3
Current children cumulated vsize (Kb) 17072
[startup+900.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3092 0 0 0 2760 13 0 0 25 0 1 0 20800157 15450112 3062 4294967295 134512640 134702520 3221223712 3220865008 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3772 3062 413 48 0 3724 0
[pid=6389] vsize: 15088
Current children cumulated CPU time (s) 864.31
Current children cumulated vsize (Kb) 17216
[startup+910.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3130 0 0 0 3760 13 0 0 25 0 1 0 20800157 15605760 3100 4294967295 134512640 134702520 3221223712 3220709328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3810 3100 413 48 0 3762 0
[pid=6389] vsize: 15240
Current children cumulated CPU time (s) 874.31
Current children cumulated vsize (Kb) 17368
[startup+920.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3170 0 0 0 4760 13 0 0 25 0 1 0 20800157 15769600 3140 4294967295 134512640 134702520 3221223712 3220542428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3850 3140 413 48 0 3802 0
[pid=6389] vsize: 15400
Current children cumulated CPU time (s) 884.31
Current children cumulated vsize (Kb) 17528
[startup+930.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3214 0 0 0 5760 13 0 0 25 0 1 0 20800157 15949824 3184 4294967295 134512640 134702520 3221223712 3220361488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3894 3184 413 48 0 3846 0
[pid=6389] vsize: 15576
Current children cumulated CPU time (s) 894.31
Current children cumulated vsize (Kb) 17704
[startup+940.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3263 0 0 0 6760 14 0 0 25 0 1 0 20800157 16150528 3233 4294967295 134512640 134702520 3221223712 3220162588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3943 3233 413 48 0 3895 0
[pid=6389] vsize: 15772
Current children cumulated CPU time (s) 904.32
Current children cumulated vsize (Kb) 17900
[startup+950.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3318 0 0 0 7760 14 0 0 25 0 1 0 20800157 16375808 3288 4294967295 134512640 134702520 3221223712 3219939068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3998 3288 413 48 0 3950 0
[pid=6389] vsize: 15992
Current children cumulated CPU time (s) 914.32
Current children cumulated vsize (Kb) 18120
[startup+960.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3382 0 0 0 8760 14 0 0 25 0 1 0 20800157 16637952 3352 4294967295 134512640 134702520 3221223712 3219676528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 4062 3352 413 48 0 4014 0
[pid=6389] vsize: 16248
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (Kb) 18376
[startup+970.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3464 0 0 0 9760 14 0 0 25 0 1 0 20800157 16973824 3434 4294967295 134512640 134702520 3221223712 3219339868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 4144 3434 413 48 0 4096 0
[pid=6389] vsize: 16576
Current children cumulated CPU time (s) 934.32
Current children cumulated vsize (Kb) 18704
[startup+980.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3598 0 0 0 10760 15 0 0 25 0 1 0 20800157 17522688 3568 4294967295 134512640 134702520 3221223712 3218790428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 4278 3568 413 48 0 4230 0
[pid=6389] vsize: 17112
Current children cumulated CPU time (s) 944.33
Current children cumulated vsize (Kb) 19240
[startup+990.057 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 11200 195 0 0 16 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 950.53
Current children cumulated vsize (Kb) 31872
[startup+1000.06 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 11732 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221194828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 957.35
Current children cumulated vsize (Kb) 31872
[startup+1010.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 12732 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221114048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 967.35
Current children cumulated vsize (Kb) 31872
[startup+1020.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 13733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221023168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 977.36
Current children cumulated vsize (Kb) 31872
[startup+1030.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 14732 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220876268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 987.35
Current children cumulated vsize (Kb) 31872
[startup+1040.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 15733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220719628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 997.36
Current children cumulated vsize (Kb) 31872
[startup+1050.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 16733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220551648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1007.36
Current children cumulated vsize (Kb) 31872
[startup+1060.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 17733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220369408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1017.36
Current children cumulated vsize (Kb) 31872
[startup+1070.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 18733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220168608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1027.36
Current children cumulated vsize (Kb) 31872
[startup+1080.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 19733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3219942348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1037.36
Current children cumulated vsize (Kb) 31872
[startup+1090.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 20733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3219677712 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1047.36
Current children cumulated vsize (Kb) 31872
[startup+1100.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 21734 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3219344448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1057.37
Current children cumulated vsize (Kb) 31872
[startup+1110.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 22734 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3218808928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1067.37
Current children cumulated vsize (Kb) 31872
[startup+1120.06 s]
Raw data (loadavg): 1.09 1.03 1.01 1/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6321 6321 4060 0 -1 0 3933 0 0 0 23187 517 0 0 16 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1073.62
Current children cumulated vsize (Kb) 31872
[startup+1130.06 s]
Raw data (loadavg): 1.15 1.05 1.01 1/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6321 6321 4060 0 -1 0 3934 0 0 0 23452 749 0 0 17 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1078.59
Current children cumulated vsize (Kb) 31872
[startup+1140.06 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 24052 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3221186688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1085.95
Current children cumulated vsize (Kb) 31872
[startup+1150.06 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 25052 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3221104928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1095.95
Current children cumulated vsize (Kb) 31872
[startup+1160.06 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 26052 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3221005248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1105.95
Current children cumulated vsize (Kb) 31872
[startup+1170.06 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 27053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220855628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1115.96
Current children cumulated vsize (Kb) 31872
[startup+1180.06 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 28053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220695968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1125.96
Current children cumulated vsize (Kb) 31872
[startup+1190.06 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 29053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220524288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1135.96
Current children cumulated vsize (Kb) 31872
[startup+1200.06 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 30053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220337548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1145.96
Current children cumulated vsize (Kb) 31872
[startup+1210.07 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 31053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220130988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1155.96
Current children cumulated vsize (Kb) 31872
[startup+1220.07 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 32054 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3219896768 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1165.97
Current children cumulated vsize (Kb) 31872
[startup+1230.07 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 33054 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3219619788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1175.97
Current children cumulated vsize (Kb) 31872
[startup+1240.07 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 34054 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3219261548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1185.97
Current children cumulated vsize (Kb) 31872
[startup+1250.07 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 35054 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3218558848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1195.97
Current children cumulated vsize (Kb) 31872
[startup+1260.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6321 6321 4060 0 -1 0 3937 0 0 0 35368 1101 0 0 16 0 1 0 20800157 30457856 3872 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3872 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1201.27
Current children cumulated vsize (Kb) 31872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1260.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6321 6321 4060 0 -1 0 3937 0 0 0 35368 1101 0 0 16 0 1 0 20800157 30457856 3872 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3872 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1201.27
Current children cumulated vsize (Kb) 31872
Sending SIGTERM to -6321
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6391
New process pid=6392
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/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/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/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/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/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/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1693/stat
open syscall for file /proc/1693/status
open syscall for file /proc/1693/cmdline
open syscall for file /proc/1693/environ
open syscall for file /proc/1695/stat
open syscall for file /proc/1695/status
open syscall for file /proc/1695/cmdline
open syscall for file /proc/1695/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6282/stat
open syscall for file /proc/6282/status
open syscall for file /proc/6282/cmdline
open syscall for file /proc/6282/environ
open syscall for file /proc/6320/stat
open syscall for file /proc/6320/status
open syscall for file /proc/6320/cmdline
open syscall for file /proc/6320/environ
open syscall for file /proc/6321/stat
open syscall for file /proc/6321/status
open syscall for file /proc/6321/cmdline
open syscall for file /proc/6321/environ
open syscall for file /proc/6389/stat
open syscall for file /proc/6389/status
open syscall for file /proc/6389/cmdline
open syscall for file /proc/6389/environ
open syscall for file /proc/6391/stat
open syscall for file /proc/6391/status
open syscall for file /proc/6391/cmdline
open syscall for file /proc/6391/environ
open syscall for file /proc/6392/stat
open syscall for file /proc/6392/status
open syscall for file /proc/6392/cmdline
open syscall for file /proc/6392/environ
One traced child (pid=6391) exited with status: 0
One traced child (pid=6392) exited with status: 0
New process pid=6393
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=6393) exited with status: 0
New process pid=6394
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=6394) exited with status: 0
One traced child (pid=6321) 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=6389) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1260.84
CPU time (s): 365.426
CPU user time (s): 354.335
CPU system time (s): 11.0913
CPU usage (%): 28.9828
Max. virtual memory (cumulated for all children) (Kb): 36700