1:
seed: 0
Nr of vars set: 2380 (#equs: 0)
Nr of vars set: 2400 (#equs: 0)
#decisions: 114989; #end-nodes: 43417;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 151 (151)
#axs: 338, #non-axs: 3618
tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 9
loose: meta-meta: start: 7, end: 10; meta: start: 24, end (keep): 41
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: 2410 (#equs: 0)
Time taken: 6 min, 50 sec
2:
seed: 0
Nr of vars set: 2410 (#equs: 0)
Nr of vars set: 2410 (#equs: 0)
#decisions: 366446; #end-nodes: 103289;
#proof improvement attempts: 0; #restarts: 457
Current batch, end-nodes: 481 / 521 (234)
#axs: 328, #non-axs: 465
tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10; meta: start: 24, end (keep): 41
result: model found (1)
Model found with constant: 833310 (1263840:>=*);
#decisions: 307796; #end-nodes: 79271;
#proof improvement attempts: 0; #restarts: 394
Current batch, end-nodes: 109 / 218 (218)
#axs: 328, #non-axs: 499
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10; meta: start: 24, end (keep): 41
Model found with constant: 838878 (1258272:>=*);
#decisions: 223457; #end-nodes: 57745;
#proof improvement attempts: 0; #restarts: 303
Current batch, end-nodes: 84 / 197 (195)
#axs: 328, #non-axs: 538
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10; meta: start: 24, end (keep): 41
Model found with constant: 839582 (1257568:>=*);
#decisions: 532682; #end-nodes: 151633;
#proof improvement attempts: 0; #restarts: 628
Current batch, end-nodes: 142 / 286 (277)
#axs: 328, #non-axs: 1656
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10; meta: start: 23, end (keep): 39
Model found with constant: 844606 (1252544:>=*);
Interupt request received.
Model found with constant:
(pushed:) 844606 (1252544:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2410 (#equs: 0)
Time taken: 13 min, 17 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) R 5275 5276 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20070146 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5276/statm): 174 3 169 147 0 27 0
[pid=5276] 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=5277
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=5277) exited with status: 0
New process pid=5278
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=5278) exited with status: 0
New process pid=5279
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/wulflinc24/normalized-mps-v2-13-7-rout.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0029 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 535 0 0 0 982 3 0 0 25 0 1 0 20070154 3579904 505 4294967295 134512640 134702520 3221223952 3221223216 134552460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 874 505 413 48 0 826 0
[pid=5279] vsize: 3496
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (Kb) 5624
[startup+20.0046 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 773 0 0 0 1963 10 0 0 25 0 1 0 20070154 4882432 743 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1192 743 413 48 0 1144 0
[pid=5279] vsize: 4768
Current children cumulated CPU time (s) 19.74
Current children cumulated vsize (Kb) 6896
[startup+30.0053 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 842 0 0 0 2945 16 0 0 25 0 1 0 20070154 4882432 812 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1192 812 413 48 0 1144 0
[pid=5279] vsize: 4768
Current children cumulated CPU time (s) 29.62
Current children cumulated vsize (Kb) 6896
[startup+40.005 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 844 0 0 0 3932 20 0 0 25 0 1 0 20070154 4886528 814 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 814 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 39.53
Current children cumulated vsize (Kb) 6900
[startup+50.0057 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) T 5276 5276 4059 0 -1 0 849 0 0 0 4920 24 0 0 25 0 1 0 20070154 4886528 819 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 819 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 49.45
Current children cumulated vsize (Kb) 6900
[startup+60.0064 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 851 0 0 0 5910 27 0 0 25 0 1 0 20070154 4886528 821 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 821 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 59.38
Current children cumulated vsize (Kb) 6900
[startup+70.0081 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 884 0 0 0 6900 31 0 0 25 0 1 0 20070154 4886528 854 4294967295 134512640 134702520 3221223952 3221223232 134552523 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 854 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 69.32
Current children cumulated vsize (Kb) 6900
[startup+80.0088 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 887 0 0 0 7887 34 0 0 25 0 1 0 20070154 4886528 857 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 857 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 79.22
Current children cumulated vsize (Kb) 6900
[startup+90.0085 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 889 0 0 0 8873 38 0 0 25 0 1 0 20070154 4886528 859 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 859 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 89.12
Current children cumulated vsize (Kb) 6900
[startup+100.009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 894 0 0 0 9865 41 0 0 25 0 1 0 20070154 4886528 864 4294967295 134512640 134702520 3221223952 3221175728 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 864 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 99.07
Current children cumulated vsize (Kb) 6900
[startup+110.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 894 0 0 0 10853 45 0 0 25 0 1 0 20070154 4886528 864 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 864 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 108.99
Current children cumulated vsize (Kb) 6900
[startup+120.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 896 0 0 0 11840 49 0 0 25 0 1 0 20070154 4886528 866 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 866 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 118.9
Current children cumulated vsize (Kb) 6900
[startup+130.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 896 0 0 0 12828 53 0 0 25 0 1 0 20070154 4886528 866 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 866 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 128.82
Current children cumulated vsize (Kb) 6900
[startup+140.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 898 0 0 0 13820 56 0 0 23 0 1 0 20070154 4886528 868 4294967295 134512640 134702520 3221223952 3221222976 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 868 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 138.77
Current children cumulated vsize (Kb) 6900
[startup+150.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 898 0 0 0 14813 59 0 0 25 0 1 0 20070154 4886528 868 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 868 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 148.73
Current children cumulated vsize (Kb) 6900
[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) T 5276 5276 4059 0 -1 0 898 0 0 0 15799 64 0 0 25 0 1 0 20070154 4886528 868 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 868 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 158.64
Current children cumulated vsize (Kb) 6900
[startup+170.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 898 0 0 0 16784 70 0 0 25 0 1 0 20070154 4886528 868 4294967295 134512640 134702520 3221223952 3220888828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 868 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 168.55
Current children cumulated vsize (Kb) 6900
[startup+180.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 899 0 0 0 17769 75 0 0 25 0 1 0 20070154 4886528 869 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 869 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 178.45
Current children cumulated vsize (Kb) 6900
[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 900 0 0 0 18752 81 0 0 25 0 1 0 20070154 4886528 870 4294967295 134512640 134702520 3221223952 3221085788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 870 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 188.34
Current children cumulated vsize (Kb) 6900
[startup+200.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 902 0 0 0 19740 85 0 0 25 0 1 0 20070154 4886528 872 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 872 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 198.26
Current children cumulated vsize (Kb) 6900
[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 905 0 0 0 20728 89 0 0 25 0 1 0 20070154 4886528 875 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 875 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 208.18
Current children cumulated vsize (Kb) 6900
[startup+220.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 906 0 0 0 21713 94 0 0 25 0 1 0 20070154 4886528 876 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 876 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 218.08
Current children cumulated vsize (Kb) 6900
[startup+230.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 910 0 0 0 22695 100 0 0 25 0 1 0 20070154 4886528 880 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 880 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 227.96
Current children cumulated vsize (Kb) 6900
[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 911 0 0 0 23679 106 0 0 25 0 1 0 20070154 4886528 881 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 881 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 237.86
Current children cumulated vsize (Kb) 6900
[startup+250.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 913 0 0 0 24665 110 0 0 25 0 1 0 20070154 4886528 883 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 883 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 247.76
Current children cumulated vsize (Kb) 6900
[startup+260.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 915 0 0 0 25653 114 0 0 25 0 1 0 20070154 4886528 885 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 885 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 257.68
Current children cumulated vsize (Kb) 6900
[startup+270.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 918 0 0 0 26640 118 0 0 25 0 1 0 20070154 5029888 888 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1228 888 413 48 0 1180 0
[pid=5279] vsize: 4912
Current children cumulated CPU time (s) 267.59
Current children cumulated vsize (Kb) 7040
[startup+280.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 921 0 0 0 27634 119 0 0 25 0 1 0 20070154 5169152 891 4294967295 134512640 134702520 3221223952 3221222976 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 891 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 277.54
Current children cumulated vsize (Kb) 7176
[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 921 0 0 0 28625 123 0 0 25 0 1 0 20070154 5169152 891 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 891 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 287.49
Current children cumulated vsize (Kb) 7176
[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 922 0 0 0 29611 127 0 0 25 0 1 0 20070154 5169152 892 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 892 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 297.39
Current children cumulated vsize (Kb) 7176
[startup+310.025 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) T 5276 5276 4059 0 -1 0 925 0 0 0 30599 131 0 0 25 0 1 0 20070154 5169152 895 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 895 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 307.31
Current children cumulated vsize (Kb) 7176
[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 930 0 0 0 31582 136 0 0 25 0 1 0 20070154 5169152 900 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 900 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 317.19
Current children cumulated vsize (Kb) 7176
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 936 0 0 0 32566 141 0 0 25 0 1 0 20070154 5169152 906 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 906 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 327.08
Current children cumulated vsize (Kb) 7176
[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 943 0 0 0 33553 145 0 0 25 0 1 0 20070154 5169152 913 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 913 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 336.99
Current children cumulated vsize (Kb) 7176
[startup+350.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 949 0 0 0 34540 150 0 0 25 0 1 0 20070154 5169152 919 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 919 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 346.91
Current children cumulated vsize (Kb) 7176
[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 955 0 0 0 35526 156 0 0 25 0 1 0 20070154 5169152 925 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 925 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 356.83
Current children cumulated vsize (Kb) 7176
[startup+370.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 962 0 0 0 36510 161 0 0 25 0 1 0 20070154 5169152 932 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 932 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 366.72
Current children cumulated vsize (Kb) 7176
[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 970 0 0 0 37494 167 0 0 25 0 1 0 20070154 5169152 940 4294967295 134512640 134702520 3221223952 3220993948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 940 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 376.62
Current children cumulated vsize (Kb) 7176
[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 977 0 0 0 38483 171 0 0 25 0 1 0 20070154 5169152 947 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 947 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 386.55
Current children cumulated vsize (Kb) 7176
[startup+400.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 985 0 0 0 39469 176 0 0 25 0 1 0 20070154 5312512 955 4294967295 134512640 134702520 3221223952 3221222976 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1297 955 413 48 0 1249 0
[pid=5279] vsize: 5188
Current children cumulated CPU time (s) 396.46
Current children cumulated vsize (Kb) 7316
[startup+410.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 985 0 0 0 40465 178 0 0 25 0 1 0 20070154 5312512 955 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1297 955 413 48 0 1249 0
[pid=5279] vsize: 5188
Current children cumulated CPU time (s) 406.44
Current children cumulated vsize (Kb) 7316
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=5279) exited with status: 2
New process pid=5280
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=5280) exited with status: 0
New process pid=5281
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+420.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 540 0 0 0 513 36 0 0 21 0 1 0 20111538 3514368 510 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 858 510 413 48 0 810 0
[pid=5281] vsize: 3432
Current children cumulated CPU time (s) 415.73
Current children cumulated vsize (Kb) 5560
[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 540 0 0 0 1283 114 0 0 21 0 1 0 20111538 3514368 510 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 858 510 413 48 0 810 0
[pid=5281] vsize: 3432
Current children cumulated CPU time (s) 424.21
Current children cumulated vsize (Kb) 5560
[startup+440.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 906 0 0 0 2108 168 0 0 19 0 1 0 20111538 5115904 876 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1249 876 413 48 0 1201 0
[pid=5281] vsize: 4996
Current children cumulated CPU time (s) 433
Current children cumulated vsize (Kb) 7124
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 945 0 0 0 2976 211 0 0 19 0 1 0 20111538 5115904 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1249 915 413 48 0 1201 0
[pid=5281] vsize: 4996
Current children cumulated CPU time (s) 442.11
Current children cumulated vsize (Kb) 7124
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 949 0 0 0 3773 277 0 0 21 0 1 0 20111538 5115904 919 4294967295 134512640 134702520 3221223712 3221222900 134617742 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1249 919 413 48 0 1201 0
[pid=5281] vsize: 4996
Current children cumulated CPU time (s) 450.74
Current children cumulated vsize (Kb) 7124
[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 950 0 0 0 4508 365 0 0 19 0 1 0 20111538 5115904 920 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1249 920 413 48 0 1201 0
[pid=5281] vsize: 4996
Current children cumulated CPU time (s) 458.97
Current children cumulated vsize (Kb) 7124
[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 959 0 0 0 5374 409 0 0 22 0 1 0 20111538 5246976 929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 929 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 468.07
Current children cumulated vsize (Kb) 7252
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 966 0 0 0 6237 455 0 0 25 0 1 0 20111538 5246976 936 4294967295 134512640 134702520 3221223712 3220921068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 936 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 477.16
Current children cumulated vsize (Kb) 7252
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 968 0 0 0 6994 543 0 0 22 0 1 0 20111538 5246976 938 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 938 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 485.61
Current children cumulated vsize (Kb) 7252
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 970 0 0 0 7781 617 0 0 25 0 1 0 20111538 5246976 940 4294967295 134512640 134702520 3221223712 3220972268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 940 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 494.22
Current children cumulated vsize (Kb) 7252
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 978 0 0 0 8610 675 0 0 24 0 1 0 20111538 5246976 948 4294967295 134512640 134702520 3221223712 3221162348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 948 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 503.09
Current children cumulated vsize (Kb) 7252
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 986 0 0 0 9478 720 0 0 21 0 1 0 20111538 5390336 956 4294967295 134512640 134702520 3221223712 3221222608 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1316 956 413 48 0 1268 0
[pid=5281] vsize: 5264
Current children cumulated CPU time (s) 512.22
Current children cumulated vsize (Kb) 7392
[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 986 0 0 0 10232 804 0 0 22 0 1 0 20111538 5390336 956 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1316 956 413 48 0 1268 0
[pid=5281] vsize: 5264
Current children cumulated CPU time (s) 520.6
Current children cumulated vsize (Kb) 7392
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 990 0 0 0 11007 880 0 0 20 0 1 0 20111538 5365760 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 960 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 529.11
Current children cumulated vsize (Kb) 7368
[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 996 0 0 0 11872 925 0 0 25 0 1 0 20111538 5365760 966 4294967295 134512640 134702520 3221223712 3220958528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 966 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 538.21
Current children cumulated vsize (Kb) 7368
[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1003 0 0 0 12699 981 0 0 21 0 1 0 20111538 5365760 973 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 973 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 547.04
Current children cumulated vsize (Kb) 7368
[startup+580.045 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1003 0 0 0 13470 1059 0 0 21 0 1 0 20111538 5365760 973 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 973 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 555.53
Current children cumulated vsize (Kb) 7368
[startup+590.046 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1006 0 0 0 14240 1133 0 0 19 0 1 0 20111538 5365760 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1310 976 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 563.97
Current children cumulated vsize (Kb) 7368
[startup+600.047 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1013 0 0 0 15098 1179 0 0 25 0 1 0 20111538 5365760 983 4294967295 134512640 134702520 3221223712 3221004268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 983 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 573.01
Current children cumulated vsize (Kb) 7368
[startup+610.048 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1019 0 0 0 15927 1236 0 0 25 0 1 0 20111538 5492736 989 4294967295 134512640 134702520 3221223712 3221133868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 989 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (Kb) 7492
[startup+620.048 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1021 0 0 0 16785 1282 0 0 25 0 1 0 20111538 5492736 991 4294967295 134512640 134702520 3221223712 3221125728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 991 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 590.91
Current children cumulated vsize (Kb) 7492
[startup+630.049 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1023 0 0 0 17580 1353 0 0 22 0 1 0 20111538 5492736 993 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 993 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 599.57
Current children cumulated vsize (Kb) 7492
[startup+640.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1023 0 0 0 18372 1426 0 0 25 0 1 0 20111538 5492736 993 4294967295 134512640 134702520 3221223712 3221076108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 993 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 608.22
Current children cumulated vsize (Kb) 7492
[startup+650.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1025 0 0 0 19208 1481 0 0 23 0 1 0 20111538 5492736 995 4294967295 134512640 134702520 3221223712 3221167468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 995 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 617.13
Current children cumulated vsize (Kb) 7492
[startup+660.05 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1027 0 0 0 20068 1524 0 0 22 0 1 0 20111538 5492736 997 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 997 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 626.16
Current children cumulated vsize (Kb) 7492
[startup+670.05 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1027 0 0 0 20838 1599 0 0 22 0 1 0 20111538 5492736 997 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 997 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 634.61
Current children cumulated vsize (Kb) 7492
[startup+680.051 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1028 0 0 0 21616 1674 0 0 20 0 1 0 20111538 5492736 998 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 998 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 643.14
Current children cumulated vsize (Kb) 7492
[startup+690.052 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1029 0 0 0 22476 1719 0 0 20 0 1 0 20111538 5492736 999 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 999 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 652.19
Current children cumulated vsize (Kb) 7492
[startup+700.053 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1033 0 0 0 23303 1779 0 0 21 0 1 0 20111538 5492736 1003 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1003 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 661.06
Current children cumulated vsize (Kb) 7492
[startup+710.054 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1033 0 0 0 24076 1858 0 0 21 0 1 0 20111538 5492736 1003 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1003 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 669.58
Current children cumulated vsize (Kb) 7492
[startup+720.054 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1034 0 0 0 24894 1917 0 0 25 0 1 0 20111538 5492736 1004 4294967295 134512640 134702520 3221223712 3220982208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 1004 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 678.35
Current children cumulated vsize (Kb) 7492
[startup+730.056 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1035 0 0 0 25737 1969 0 0 25 0 1 0 20111538 5492736 1005 4294967295 134512640 134702520 3221223712 3221115788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1005 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 687.3
Current children cumulated vsize (Kb) 7492
[startup+740.056 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1037 0 0 0 26553 2032 0 0 21 0 1 0 20111538 5492736 1007 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1007 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 696.09
Current children cumulated vsize (Kb) 7492
[startup+750.057 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1037 0 0 0 27330 2110 0 0 19 0 1 0 20111538 5492736 1007 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1007 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 704.64
Current children cumulated vsize (Kb) 7492
[startup+760.058 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1039 0 0 0 28127 2175 0 0 18 0 1 0 20111538 5492736 1009 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1009 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 713.26
Current children cumulated vsize (Kb) 7492
[startup+770.058 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1039 0 0 0 28989 2222 0 0 19 0 1 0 20111538 5492736 1009 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1009 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 722.35
Current children cumulated vsize (Kb) 7492
[startup+780.059 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1040 0 0 0 29791 2284 0 0 22 0 1 0 20111538 5492736 1010 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 1010 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 730.99
Current children cumulated vsize (Kb) 7492
[startup+790.06 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1040 0 0 0 30543 2369 0 0 18 0 1 0 20111538 5492736 1010 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 1010 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 739.36
Current children cumulated vsize (Kb) 7492
[startup+800.062 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1041 0 0 0 31409 2413 0 0 19 0 1 0 20111538 5492736 1011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 1011 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 748.46
Current children cumulated vsize (Kb) 7492
[startup+810.062 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1044 0 0 0 32287 2451 0 0 22 0 1 0 20111538 5492736 1014 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1014 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 757.62
Current children cumulated vsize (Kb) 7492
[startup+820.062 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1044 0 0 0 33064 2530 0 0 23 0 1 0 20111538 5492736 1014 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1014 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 766.18
Current children cumulated vsize (Kb) 7492
[startup+830.063 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1044 0 0 0 33862 2593 0 0 21 0 1 0 20111538 5492736 1014 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1014 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 774.79
Current children cumulated vsize (Kb) 7492
[startup+840.063 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1045 0 0 0 34720 2642 0 0 25 0 1 0 20111538 5492736 1015 4294967295 134512640 134702520 3221223712 3220942672 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1015 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 783.86
Current children cumulated vsize (Kb) 7492
[startup+850.065 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1047 0 0 0 35552 2699 0 0 21 0 1 0 20111538 5627904 1017 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1374 1017 413 48 0 1326 0
[pid=5281] vsize: 5496
Current children cumulated CPU time (s) 792.75
Current children cumulated vsize (Kb) 7624
[startup+860.066 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1047 0 0 0 36343 2777 0 0 22 0 1 0 20111538 5627904 1017 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1374 1017 413 48 0 1326 0
[pid=5281] vsize: 5496
Current children cumulated CPU time (s) 801.44
Current children cumulated vsize (Kb) 7624
[startup+870.066 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1047 0 0 0 37131 2846 0 0 25 0 1 0 20111538 5607424 1017 4294967295 134512640 134702520 3221223712 3221135488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1017 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 810.01
Current children cumulated vsize (Kb) 7604
[startup+880.067 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1048 0 0 0 37992 2893 0 0 24 0 1 0 20111538 5607424 1018 4294967295 134512640 134702520 3221223712 3221131008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1018 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 819.09
Current children cumulated vsize (Kb) 7604
[startup+890.068 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1049 0 0 0 38815 2947 0 0 21 0 1 0 20111538 5607424 1019 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1019 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 827.86
Current children cumulated vsize (Kb) 7604
[startup+900.068 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1049 0 0 0 39590 3020 0 0 21 0 1 0 20111538 5607424 1019 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1369 1019 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 836.34
Current children cumulated vsize (Kb) 7604
[startup+910.069 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1049 0 0 0 40412 3081 0 0 24 0 1 0 20111538 5607424 1019 4294967295 134512640 134702520 3221223712 3221158208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1019 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 845.17
Current children cumulated vsize (Kb) 7604
[startup+920.069 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1050 0 0 0 41270 3130 0 0 22 0 1 0 20111538 5607424 1020 4294967295 134512640 134702520 3221223712 3221182208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1020 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 854.24
Current children cumulated vsize (Kb) 7604
[startup+930.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1051 0 0 0 42077 3199 0 0 22 0 1 0 20111538 5607424 1021 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1369 1021 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 863
Current children cumulated vsize (Kb) 7604
[startup+940.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1051 0 0 0 42854 3278 0 0 24 0 1 0 20111538 5607424 1021 4294967295 134512640 134702520 3221223712 3221143148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1021 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 871.56
Current children cumulated vsize (Kb) 7604
[startup+950.071 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1052 0 0 0 43694 3330 0 0 19 0 1 0 20111538 5607424 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1022 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 880.48
Current children cumulated vsize (Kb) 7604
[startup+960.072 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1053 0 0 0 44571 3372 0 0 22 0 1 0 20111538 5607424 1023 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1369 1023 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 889.67
Current children cumulated vsize (Kb) 7604
[startup+970.072 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1053 0 0 0 45355 3447 0 0 23 0 1 0 20111538 5607424 1023 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1023 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 898.26
Current children cumulated vsize (Kb) 7604
[startup+980.073 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1054 0 0 0 46156 3513 0 0 21 0 1 0 20111538 5607424 1024 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1024 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 906.93
Current children cumulated vsize (Kb) 7604
[startup+990.074 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1055 0 0 0 47010 3560 0 0 25 0 1 0 20111538 5607424 1025 4294967295 134512640 134702520 3221223712 3221013868 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1369 1025 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 915.94
Current children cumulated vsize (Kb) 7604
[startup+1000.07 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1060 0 0 0 47846 3616 0 0 22 0 1 0 20111538 5607424 1030 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1030 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 924.86
Current children cumulated vsize (Kb) 7604
[startup+1010.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1060 0 0 0 48634 3691 0 0 23 0 1 0 20111538 5607424 1030 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1030 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 933.49
Current children cumulated vsize (Kb) 7604
[startup+1020.08 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1061 0 0 0 49421 3763 0 0 19 0 1 0 20111538 5607424 1031 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1031 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (Kb) 7604
[startup+1030.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1063 0 0 0 50284 3810 0 0 25 0 1 0 20111538 5607424 1033 4294967295 134512640 134702520 3221223712 3220986668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1033 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 951.18
Current children cumulated vsize (Kb) 7604
[startup+1040.08 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1066 0 0 0 51113 3867 0 0 21 0 1 0 20111538 5607424 1036 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1036 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 960.04
Current children cumulated vsize (Kb) 7604
[startup+1050.08 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1066 0 0 0 51895 3941 0 0 22 0 1 0 20111538 5607424 1036 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1036 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 968.6
Current children cumulated vsize (Kb) 7604
[startup+1060.08 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1068 0 0 0 52677 4018 0 0 19 0 1 0 20111538 5607424 1038 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1038 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 977.19
Current children cumulated vsize (Kb) 7604
[startup+1070.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1069 0 0 0 53518 4073 0 0 25 0 1 0 20111538 5607424 1039 4294967295 134512640 134702520 3221223712 3221107168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1039 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 986.15
Current children cumulated vsize (Kb) 7604
[startup+1080.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1073 0 0 0 54359 4126 0 0 22 0 1 0 20111538 5742592 1043 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1402 1043 413 48 0 1354 0
[pid=5281] vsize: 5608
Current children cumulated CPU time (s) 995.09
Current children cumulated vsize (Kb) 7736
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1073 0 0 0 55142 4201 0 0 22 0 1 0 20111538 5742592 1043 4294967295 134512640 134702520 3221223712 3221222608 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1402 1043 413 48 0 1354 0
[pid=5281] vsize: 5608
Current children cumulated CPU time (s) 1003.67
Current children cumulated vsize (Kb) 7736
[startup+1100.08 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1075 0 0 0 55940 4272 0 0 25 0 1 0 20111538 5718016 1045 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1045 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1012.36
Current children cumulated vsize (Kb) 7712
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1077 0 0 0 56783 4323 0 0 23 0 1 0 20111538 5718016 1047 4294967295 134512640 134702520 3221223712 3221179308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1047 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1021.3
Current children cumulated vsize (Kb) 7712
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1078 0 0 0 57661 4360 0 0 25 0 1 0 20111538 5718016 1048 4294967295 134512640 134702520 3221223712 3221135968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1048 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1030.45
Current children cumulated vsize (Kb) 7712
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1079 0 0 0 58522 4406 0 0 22 0 1 0 20111538 5718016 1049 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1049 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1039.52
Current children cumulated vsize (Kb) 7712
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1079 0 0 0 59303 4483 0 0 21 0 1 0 20111538 5718016 1049 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1049 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1048.1
Current children cumulated vsize (Kb) 7712
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1079 0 0 0 60124 4542 0 0 25 0 1 0 20111538 5718016 1049 4294967295 134512640 134702520 3221223712 3221052588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1049 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1056.9
Current children cumulated vsize (Kb) 7712
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1080 0 0 0 60989 4585 0 0 25 0 1 0 20111538 5718016 1050 4294967295 134512640 134702520 3221223712 3221080588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1050 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1065.98
Current children cumulated vsize (Kb) 7712
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1082 0 0 0 61807 4648 0 0 22 0 1 0 20111538 5718016 1052 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1052 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1074.79
Current children cumulated vsize (Kb) 7712
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1082 0 0 0 62600 4721 0 0 21 0 1 0 20111538 5718016 1052 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1052 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1083.45
Current children cumulated vsize (Kb) 7712
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1082 0 0 0 63444 4771 0 0 25 0 1 0 20111538 5718016 1052 4294967295 134512640 134702520 3221223712 3221090348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1052 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1092.39
Current children cumulated vsize (Kb) 7712
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1082 0 0 0 64307 4819 0 0 25 0 1 0 20111538 5718016 1052 4294967295 134512640 134702520 3221223712 3221123808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1052 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1101.5
Current children cumulated vsize (Kb) 7712
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1083 0 0 0 65103 4890 0 0 22 0 1 0 20111538 5718016 1053 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1053 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1110.17
Current children cumulated vsize (Kb) 7712
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1083 0 0 0 65892 4959 0 0 25 0 1 0 20111538 5718016 1053 4294967295 134512640 134702520 3221223712 3221110688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1053 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1118.75
Current children cumulated vsize (Kb) 7712
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1083 0 0 0 66734 5012 0 0 19 0 1 0 20111538 5718016 1053 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1053 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1127.7
Current children cumulated vsize (Kb) 7712
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1084 0 0 0 67605 5053 0 0 24 0 1 0 20111538 5718016 1054 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1054 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1136.82
Current children cumulated vsize (Kb) 7712
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1085 0 0 0 68391 5128 0 0 23 0 1 0 20111538 5718016 1055 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1055 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1145.43
Current children cumulated vsize (Kb) 7712
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1085 0 0 0 69194 5193 0 0 25 0 1 0 20111538 5718016 1055 4294967295 134512640 134702520 3221223712 3220887648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1055 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1154.11
Current children cumulated vsize (Kb) 7712
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1085 0 0 0 69998 5256 0 0 19 0 1 0 20111538 5718016 1055 4294967295 134512640 134702520 3221223712 3221216588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1055 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1162.78
Current children cumulated vsize (Kb) 7712
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1089 0 0 0 70869 5300 0 0 23 0 1 0 20111538 5718016 1059 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1059 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1171.93
Current children cumulated vsize (Kb) 7712
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1089 0 0 0 71660 5369 0 0 21 0 1 0 20111538 5718016 1059 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1059 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1180.53
Current children cumulated vsize (Kb) 7712
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1089 0 0 0 72467 5437 0 0 23 0 1 0 20111538 5718016 1059 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1059 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1189.28
Current children cumulated vsize (Kb) 7712
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1090 0 0 0 73301 5495 0 0 24 0 1 0 20111538 5718016 1060 4294967295 134512640 134702520 3221223712 3221166668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1060 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1198.2
Current children cumulated vsize (Kb) 7712
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1093 0 0 0 74164 5543 0 0 24 0 1 0 20111538 5718016 1063 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1063 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1207.31
Current children cumulated vsize (Kb) 7712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1093 0 0 0 74164 5543 0 0 24 0 1 0 20111538 5718016 1063 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1063 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1207.31
Current children cumulated vsize (Kb) 7712
Sending SIGTERM to -5276
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5283
New process pid=5284
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
One traced child (pid=5281) exited with status: 3
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/5237/stat
open syscall for file /proc/5237/status
open syscall for file /proc/5237/cmdline
open syscall for file /proc/5237/environ
open syscall for file /proc/5275/stat
open syscall for file /proc/5275/status
open syscall for file /proc/5275/cmdline
open syscall for file /proc/5275/environ
open syscall for file /proc/5276/stat
open syscall for file /proc/5276/status
open syscall for file /proc/5276/cmdline
open syscall for file /proc/5276/environ
open syscall for file /proc/5283/stat
open syscall for file /proc/5283/status
open syscall for file /proc/5283/cmdline
open syscall for file /proc/5283/environ
open syscall for file /proc/5284/stat
open syscall for file /proc/5284/status
open syscall for file /proc/5284/cmdline
open syscall for file /proc/5284/environ
One traced child (pid=5283) exited with status: 0
One traced child (pid=5284) exited with status: 0
New process pid=5285
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=5285) exited with status: 0
New process pid=5286
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=5286) exited with status: 0
One traced child (pid=5276) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1320.58
CPU time (s): 1207.48
CPU user time (s): 1150.14
CPU system time (s): 57.3413
CPU usage (%): 91.4354
Max. virtual memory (cumulated for all children) (Kb): 7736