1:
seed: 0
Nr of vars set: 17356 (#equs: 0)
Nr of vars set: 17538 (#equs: 0)
#decisions: 1917532; #end-nodes: 9879;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 233 (103)
#axs: 5169, #non-axs: 357
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: 17603 (#equs: 0)
Time taken: 13 min, 17 sec
2:
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) R 6206 6207 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20562548 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6207/statm): 174 3 169 147 0 27 0
[pid=6207] 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=6208
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=6208) exited with status: 0
New process pid=6209
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=6209) exited with status: 0
New process pid=6210
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/wulflinc32/normalized-mps-v2-13-7-B2C1S1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0038 s]
Raw data (loadavg): 0.94 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4454 0 0 0 959 23 0 0 25 0 1 0 20562555 19382272 3899 4294967295 134512640 134702520 3221223952 3221195648 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4732 3899 413 48 0 4684 0
[pid=6210] vsize: 18928
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 21056
[startup+20.0046 s]
Raw data (loadavg): 0.95 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4474 0 0 0 1959 23 0 0 25 0 1 0 20562555 19464192 3919 4294967295 134512640 134702520 3221223952 3221057548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4752 3919 413 48 0 4704 0
[pid=6210] vsize: 19008
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 21136
[startup+30.0064 s]
Raw data (loadavg): 0.96 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4511 0 0 0 2959 23 0 0 25 0 1 0 20562555 19615744 3956 4294967295 134512640 134702520 3221223952 3220907488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4789 3956 413 48 0 4741 0
[pid=6210] vsize: 19156
Current children cumulated CPU time (s) 29.85
Current children cumulated vsize (Kb) 21284
[startup+40.0071 s]
Raw data (loadavg): 0.96 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4550 0 0 0 3959 23 0 0 25 0 1 0 20562555 19775488 3995 4294967295 134512640 134702520 3221223952 3220746988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4828 3995 413 48 0 4780 0
[pid=6210] vsize: 19312
Current children cumulated CPU time (s) 39.85
Current children cumulated vsize (Kb) 21440
[startup+50.0079 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4592 0 0 0 4959 23 0 0 25 0 1 0 20562555 19947520 4037 4294967295 134512640 134702520 3221223952 3220574528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4870 4037 413 48 0 4822 0
[pid=6210] vsize: 19480
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 21608
[startup+60.0086 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4638 0 0 0 5959 23 0 0 25 0 1 0 20562555 20135936 4083 4294967295 134512640 134702520 3221223952 3220386848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4916 4083 413 48 0 4868 0
[pid=6210] vsize: 19664
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (Kb) 21792
[startup+70.0094 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4689 0 0 0 6959 23 0 0 25 0 1 0 20562555 20344832 4134 4294967295 134512640 134702520 3221223952 3220179648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4967 4134 413 48 0 4919 0
[pid=6210] vsize: 19868
Current children cumulated CPU time (s) 69.85
Current children cumulated vsize (Kb) 21996
[startup+80.0112 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4746 0 0 0 7960 23 0 0 25 0 1 0 20562555 20578304 4191 4294967295 134512640 134702520 3221223952 3219944428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 5024 4191 413 48 0 4976 0
[pid=6210] vsize: 20096
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (Kb) 22224
[startup+90.0119 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4814 0 0 0 8960 23 0 0 25 0 1 0 20562555 20856832 4259 4294967295 134512640 134702520 3221223952 3219666208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 5092 4259 413 48 0 5044 0
[pid=6210] vsize: 20368
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (Kb) 22496
[startup+100.013 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4903 0 0 0 9960 24 0 0 25 0 1 0 20562555 21221376 4348 4294967295 134512640 134702520 3221223952 3219304268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 5181 4348 413 48 0 5133 0
[pid=6210] vsize: 20724
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (Kb) 22852
[startup+110.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5092 0 0 0 10960 24 0 0 25 0 1 0 20562555 21995520 4537 4294967295 134512640 134702520 3221223952 3218529408 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 5370 4537 413 48 0 5322 0
[pid=6210] vsize: 21480
Current children cumulated CPU time (s) 109.87
Current children cumulated vsize (Kb) 23608
[startup+120.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 11312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3221214768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 115.41
Current children cumulated vsize (Kb) 37556
[startup+130.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 12312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3221075888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 125.41
Current children cumulated vsize (Kb) 37556
[startup+140.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 13312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220929148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 135.41
Current children cumulated vsize (Kb) 37556
[startup+150.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 14312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220772828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 145.41
Current children cumulated vsize (Kb) 37556
[startup+160.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 15312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220605328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 155.41
Current children cumulated vsize (Kb) 37556
[startup+170.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 16312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220424208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 165.41
Current children cumulated vsize (Kb) 37556
[startup+180.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 17313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220225488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 175.42
Current children cumulated vsize (Kb) 37556
[startup+190.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 18313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220002748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 185.42
Current children cumulated vsize (Kb) 37556
[startup+200.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 19313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3219744188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 195.42
Current children cumulated vsize (Kb) 37556
[startup+210.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 20313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3219424048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 205.42
Current children cumulated vsize (Kb) 37556
[startup+220.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 21313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3218947388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 215.42
Current children cumulated vsize (Kb) 37556
[startup+230.025 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5172 0 0 0 21881 365 0 0 16 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 222.49
Current children cumulated vsize (Kb) 37556
[startup+240.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 22634 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3221139408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 230.79
Current children cumulated vsize (Kb) 37556
[startup+250.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 23634 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220997808 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 240.79
Current children cumulated vsize (Kb) 37556
[startup+260.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 24634 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220847408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 250.79
Current children cumulated vsize (Kb) 37556
[startup+270.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 25635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220687068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 260.8
Current children cumulated vsize (Kb) 37556
[startup+280.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 26635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220514608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 270.8
Current children cumulated vsize (Kb) 37556
[startup+290.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 27635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220326908 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 280.8
Current children cumulated vsize (Kb) 37556
[startup+300.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 28635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220119408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 290.8
Current children cumulated vsize (Kb) 37556
[startup+310.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 29635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3219883408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 300.8
Current children cumulated vsize (Kb) 37556
[startup+320.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 30636 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3219603088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 310.81
Current children cumulated vsize (Kb) 37556
[startup+330.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 31636 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3219236528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 320.81
Current children cumulated vsize (Kb) 37556
[startup+340.03 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5173 0 0 0 32609 450 0 0 16 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 330.62
Current children cumulated vsize (Kb) 37556
[startup+350.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5173 0 0 0 32860 693 0 0 16 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 335.56
Current children cumulated vsize (Kb) 37556
[startup+360.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 33422 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3221173468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 342.63
Current children cumulated vsize (Kb) 37556
[startup+370.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 34422 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3221032368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 352.63
Current children cumulated vsize (Kb) 37556
[startup+380.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 35423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220882928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 362.64
Current children cumulated vsize (Kb) 37556
[startup+390.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 36423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220723548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 372.64
Current children cumulated vsize (Kb) 37556
[startup+400.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 37423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220552368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 382.64
Current children cumulated vsize (Kb) 37556
[startup+410.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 38423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220366588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 392.64
Current children cumulated vsize (Kb) 37556
[startup+420.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 39423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220161648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 402.64
Current children cumulated vsize (Kb) 37556
[startup+430.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 40423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3219929968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 412.64
Current children cumulated vsize (Kb) 37556
[startup+440.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 41423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3219657308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 422.64
Current children cumulated vsize (Kb) 37556
[startup+450.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 42423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3219308368 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 432.64
Current children cumulated vsize (Kb) 37556
[startup+460.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 43423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3218692828 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 442.64
Current children cumulated vsize (Kb) 37556
[startup+470.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5182 0 0 0 43774 1040 0 0 16 0 1 0 20562555 36278272 4627 4294967295 134512640 134702520 3221223952 3221223460 1074752209 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4627 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 448.17
Current children cumulated vsize (Kb) 37556
[startup+480.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 44591 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3221126588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 456.93
Current children cumulated vsize (Kb) 37556
[startup+490.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 45591 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220984368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 466.93
Current children cumulated vsize (Kb) 37556
[startup+500.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 46591 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220833328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 476.93
Current children cumulated vsize (Kb) 37556
[startup+510.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 47591 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220672048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 486.93
Current children cumulated vsize (Kb) 37556
[startup+520.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 48592 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220498608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 496.94
Current children cumulated vsize (Kb) 37556
[startup+530.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 49592 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220309628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 506.94
Current children cumulated vsize (Kb) 37556
[startup+540.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 50592 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220100188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 516.94
Current children cumulated vsize (Kb) 37556
[startup+550.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 51592 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3219861648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 526.94
Current children cumulated vsize (Kb) 37556
[startup+560.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 52593 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3219576668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 536.95
Current children cumulated vsize (Kb) 37556
[startup+570.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 53593 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3219199408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 546.95
Current children cumulated vsize (Kb) 37556
[startup+580.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5201 0 0 0 54509 1127 0 0 16 0 1 0 20562555 36282368 4646 4294967295 134512640 134702520 3221223952 3221223344 134603755 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4646 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 556.39
Current children cumulated vsize (Kb) 37560
[startup+590.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 54961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3221194108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 562.7
Current children cumulated vsize (Kb) 37560
[startup+600.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 55961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3221054288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 572.7
Current children cumulated vsize (Kb) 37560
[startup+610.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 56961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220906268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 582.7
Current children cumulated vsize (Kb) 37560
[startup+620.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 57961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220748688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 592.7
Current children cumulated vsize (Kb) 37560
[startup+630.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 58961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220579728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 602.7
Current children cumulated vsize (Kb) 37560
[startup+640.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 59961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220397948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 612.7
Current children cumulated vsize (Kb) 37560
[startup+650.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 60961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220198748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 622.7
Current children cumulated vsize (Kb) 37560
[startup+660.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 61962 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3219974908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 632.71
Current children cumulated vsize (Kb) 37560
[startup+670.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 62962 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3219714428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 642.71
Current children cumulated vsize (Kb) 37560
[startup+680.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 63962 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3219389468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 652.71
Current children cumulated vsize (Kb) 37560
[startup+690.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 64962 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3218891408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 662.71
Current children cumulated vsize (Kb) 37560
[startup+700.053 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5222 0 0 0 65486 1461 0 0 16 0 1 0 20562555 36282368 4667 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4667 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 669.5
Current children cumulated vsize (Kb) 37560
[startup+710.054 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5223 0 0 0 65783 1686 0 0 15 0 1 0 20562555 36282368 4668 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4668 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 674.72
Current children cumulated vsize (Kb) 37560
[startup+720.055 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5229 0 0 0 66063 1912 0 0 15 0 1 0 20562555 36282368 4674 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4674 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 679.78
Current children cumulated vsize (Kb) 37560
[startup+730.055 s]
Raw data (loadavg): 1.13 1.03 1.00 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5240 0 0 0 66343 2138 0 0 16 0 1 0 20562555 36282368 4685 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4685 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 684.84
Current children cumulated vsize (Kb) 37560
[startup+740.057 s]
Raw data (loadavg): 1.11 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 66634 2371 0 0 16 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3221180188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 690.08
Current children cumulated vsize (Kb) 37560
[startup+750.058 s]
Raw data (loadavg): 1.09 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 67635 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3221089308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 700.09
Current children cumulated vsize (Kb) 37560
[startup+760.059 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 68635 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220945468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 710.09
Current children cumulated vsize (Kb) 37560
[startup+770.059 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 69635 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220792688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 720.09
Current children cumulated vsize (Kb) 37560
[startup+780.059 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 70635 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220629148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 730.09
Current children cumulated vsize (Kb) 37560
[startup+790.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 71636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220452988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 740.1
Current children cumulated vsize (Kb) 37560
[startup+800.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 72636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220260528 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 750.1
Current children cumulated vsize (Kb) 37560
[startup+810.061 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 73636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220046428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 760.1
Current children cumulated vsize (Kb) 37560
[startup+820.061 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 74636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3219800528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 770.1
Current children cumulated vsize (Kb) 37560
[startup+830.061 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 75636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3219503228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 780.1
Current children cumulated vsize (Kb) 37560
[startup+840.062 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 76637 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3219094288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 790.11
Current children cumulated vsize (Kb) 37560
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=6210) exited with status: 2
New process pid=6211
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=6211) exited with status: 0
New process pid=6212
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+850.063 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3121 0 0 0 204 12 0 0 25 0 1 0 20647342 15667200 3091 4294967295 134512640 134702520 3221223712 3221221308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 3825 3091 413 48 0 3777 0
[pid=6212] vsize: 15300
Current children cumulated CPU time (s) 800
Current children cumulated vsize (Kb) 17428
[startup+860.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3131 0 0 0 1204 12 0 0 25 0 1 0 20647342 15708160 3101 4294967295 134512640 134702520 3221223712 3221102128 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 3835 3101 413 48 0 3787 0
[pid=6212] vsize: 15340
Current children cumulated CPU time (s) 810
Current children cumulated vsize (Kb) 17468
[startup+870.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3165 0 0 0 2204 12 0 0 25 0 1 0 20647342 15847424 3135 4294967295 134512640 134702520 3221223712 3220960028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 3869 3135 413 48 0 3821 0
[pid=6212] vsize: 15476
Current children cumulated CPU time (s) 820
Current children cumulated vsize (Kb) 17604
[startup+880.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3203 0 0 0 3203 13 0 0 25 0 1 0 20647342 16003072 3173 4294967295 134512640 134702520 3221223712 3220805968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 3907 3173 413 48 0 3859 0
[pid=6212] vsize: 15628
Current children cumulated CPU time (s) 830
Current children cumulated vsize (Kb) 17756
[startup+890.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3242 0 0 0 4204 13 0 0 25 0 1 0 20647342 16162816 3212 4294967295 134512640 134702520 3221223712 3220645148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 3946 3212 413 48 0 3898 0
[pid=6212] vsize: 15784
Current children cumulated CPU time (s) 840.01
Current children cumulated vsize (Kb) 17912
[startup+900.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3285 0 0 0 5204 13 0 0 25 0 1 0 20647342 16338944 3255 4294967295 134512640 134702520 3221223712 3220468188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 3989 3255 413 48 0 3941 0
[pid=6212] vsize: 15956
Current children cumulated CPU time (s) 850.01
Current children cumulated vsize (Kb) 18084
[startup+910.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3333 0 0 0 6204 13 0 0 25 0 1 0 20647342 16535552 3303 4294967295 134512640 134702520 3221223712 3220272508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4037 3303 413 48 0 3989 0
[pid=6212] vsize: 16148
Current children cumulated CPU time (s) 860.01
Current children cumulated vsize (Kb) 18276
[startup+920.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3387 0 0 0 7204 13 0 0 25 0 1 0 20647342 16756736 3357 4294967295 134512640 134702520 3221223712 3220053808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4091 3357 413 48 0 4043 0
[pid=6212] vsize: 16364
Current children cumulated CPU time (s) 870.01
Current children cumulated vsize (Kb) 18492
[startup+930.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3448 0 0 0 8204 13 0 0 25 0 1 0 20647342 17006592 3418 4294967295 134512640 134702520 3221223712 3219801328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4152 3418 413 48 0 4104 0
[pid=6212] vsize: 16608
Current children cumulated CPU time (s) 880.01
Current children cumulated vsize (Kb) 18736
[startup+940.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3524 0 0 0 9204 13 0 0 25 0 1 0 20647342 17317888 3494 4294967295 134512640 134702520 3221223712 3219491568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4228 3494 413 48 0 4180 0
[pid=6212] vsize: 16912
Current children cumulated CPU time (s) 890.01
Current children cumulated vsize (Kb) 19040
[startup+950.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3633 0 0 0 10204 14 0 0 25 0 1 0 20647342 17764352 3603 4294967295 134512640 134702520 3221223712 3219045968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4337 3603 413 48 0 4289 0
[pid=6212] vsize: 17348
Current children cumulated CPU time (s) 900.02
Current children cumulated vsize (Kb) 19476
[startup+960.068 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4019 0 0 0 10881 112 0 0 16 0 1 0 20647342 31084544 3962 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7589 3962 413 48 0 7541 0
[pid=6212] vsize: 30356
Current children cumulated CPU time (s) 907.77
Current children cumulated vsize (Kb) 32484
[startup+970.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4026 0 0 0 11160 340 0 0 15 0 1 0 20647342 31084544 3969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7589 3969 413 48 0 7541 0
[pid=6212] vsize: 30356
Current children cumulated CPU time (s) 912.84
Current children cumulated vsize (Kb) 32484
[startup+980.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4026 0 0 0 11443 570 0 0 16 0 1 0 20647342 31084544 3969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7589 3969 413 48 0 7541 0
[pid=6212] vsize: 30356
Current children cumulated CPU time (s) 917.97
Current children cumulated vsize (Kb) 32484
[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4031 0 0 0 11720 800 0 0 15 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 923.04
Current children cumulated vsize (Kb) 32488
[startup+1000.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 12430 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3221147488 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 931.08
Current children cumulated vsize (Kb) 32488
[startup+1010.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 13431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3221007168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 941.09
Current children cumulated vsize (Kb) 32488
[startup+1020.07 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 14431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220858188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 951.09
Current children cumulated vsize (Kb) 32488
[startup+1030.07 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 15431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220699328 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 961.09
Current children cumulated vsize (Kb) 32488
[startup+1040.07 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 16431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220528768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 971.09
Current children cumulated vsize (Kb) 32488
[startup+1050.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 17431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220343488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 981.09
Current children cumulated vsize (Kb) 32488
[startup+1060.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 18432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220139148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 991.1
Current children cumulated vsize (Kb) 32488
[startup+1070.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 19432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3219907788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 1001.1
Current children cumulated vsize (Kb) 32488
[startup+1080.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 20432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3219635148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 1011.1
Current children cumulated vsize (Kb) 32488
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 21432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3219285248 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 1021.1
Current children cumulated vsize (Kb) 32488
[startup+1100.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 22432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3218650828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 1031.1
Current children cumulated vsize (Kb) 32488
[startup+1110.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4033 0 0 0 22785 1102 0 0 15 0 1 0 20647342 31092736 3975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3975 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (Kb) 32492
[startup+1120.08 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4038 0 0 0 23098 1320 0 0 15 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1042.02
Current children cumulated vsize (Kb) 32492
[startup+1130.08 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4038 0 0 0 23379 1550 0 0 15 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1047.13
Current children cumulated vsize (Kb) 32492
[startup+1140.08 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4038 0 0 0 23686 1775 0 0 15 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1052.45
Current children cumulated vsize (Kb) 32492
[startup+1150.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 24297 1901 0 0 22 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221169708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1059.82
Current children cumulated vsize (Kb) 32492
[startup+1160.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 25297 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221029548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1069.82
Current children cumulated vsize (Kb) 32492
[startup+1170.08 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 26297 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220880768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1079.82
Current children cumulated vsize (Kb) 32492
[startup+1180.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 27298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220722208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1089.83
Current children cumulated vsize (Kb) 32492
[startup+1190.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 28298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220552108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1099.83
Current children cumulated vsize (Kb) 32492
[startup+1200.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 29298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220367628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1109.83
Current children cumulated vsize (Kb) 32492
[startup+1210.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 30298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220164448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1119.83
Current children cumulated vsize (Kb) 32492
[startup+1220.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 31298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3219935168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1129.83
Current children cumulated vsize (Kb) 32492
[startup+1230.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 32298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3219666528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1139.83
Current children cumulated vsize (Kb) 32492
[startup+1240.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 33298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3219325728 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1149.83
Current children cumulated vsize (Kb) 32492
[startup+1250.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 34298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3218759308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1159.83
Current children cumulated vsize (Kb) 32492
[startup+1260.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4041 0 0 0 34721 2083 0 0 15 0 1 0 20647342 31232000 3982 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7625 3982 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1165.88
Current children cumulated vsize (Kb) 32628
[startup+1270.09 s]
Raw data (loadavg): 1.09 1.03 1.01 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4044 0 0 0 35029 2302 0 0 15 0 1 0 20647342 31232000 3985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3985 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1171.15
Current children cumulated vsize (Kb) 32628
[startup+1280.09 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4057 0 0 0 35430 2495 0 0 15 0 1 0 20647342 31232000 3998 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3998 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1177.09
Current children cumulated vsize (Kb) 32628
[startup+1290.09 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4058 0 0 0 36424 2497 0 0 25 0 1 0 20647342 31232000 3999 4294967295 134512640 134702520 3221223712 3221095008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3999 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1187.05
Current children cumulated vsize (Kb) 32628
[startup+1300.09 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4058 0 0 0 37425 2497 0 0 25 0 1 0 20647342 31232000 3999 4294967295 134512640 134702520 3221223712 3220950528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3999 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1197.06
Current children cumulated vsize (Kb) 32628
[startup+1310.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4058 0 0 0 38425 2497 0 0 25 0 1 0 20647342 31232000 3999 4294967295 134512640 134702520 3221223712 3220796908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3999 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1207.06
Current children cumulated vsize (Kb) 32628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1310.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4058 0 0 0 38425 2497 0 0 25 0 1 0 20647342 31232000 3999 4294967295 134512640 134702520 3221223712 3220796908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3999 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1207.06
Current children cumulated vsize (Kb) 32628
Sending SIGTERM to -6207
Sleeping 2 seconds
New process pid=6214
New process pid=6215
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/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/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/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/6168/stat
open syscall for file /proc/6168/status
open syscall for file /proc/6168/cmdline
open syscall for file /proc/6168/environ
open syscall for file /proc/6206/stat
open syscall for file /proc/6206/status
open syscall for file /proc/6206/cmdline
open syscall for file /proc/6206/environ
open syscall for file /proc/6207/stat
open syscall for file /proc/6207/status
open syscall for file /proc/6207/cmdline
open syscall for file /proc/6207/environ
open syscall for file /proc/6212/stat
open syscall for file /proc/6212/status
open syscall for file /proc/6212/cmdline
open syscall for file /proc/6212/environ
open syscall for file /proc/6214/stat
open syscall for file /proc/6214/status
open syscall for file /proc/6214/cmdline
open syscall for file /proc/6214/environ
open syscall for file /proc/6215/stat
open syscall for file /proc/6215/status
open syscall for file /proc/6215/cmdline
open syscall for file /proc/6215/environ
One traced child (pid=6214) exited with status: 0
One traced child (pid=6215) exited with status: 0
New process pid=6216
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=6216) exited with status: 0
New process pid=6217
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=6217) exited with status: 0
One traced child (pid=6207) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -6207
One traced child (pid=6212) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1312.11
CPU time (s): 411.235
CPU user time (s): 386.242
CPU system time (s): 24.9932
CPU usage (%): 31.3416
Max. virtual memory (cumulated for all children) (Kb): 37560