1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 1880 (#equs: 1)
#decisions: 421224; #end-nodes: 161733;
#proof improvement attempts: 0; #restarts: 480
Current batch, end-nodes: 0 / 278 (199)
#axs: 1646, #non-axs: 5916
tight: meta-meta: start: 4, end: 5; meta: start: 11, end (keep): 20
loose: meta-meta: start: 7, end: 11; meta: start: 25, end (keep): 40
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2220 (#equs: 5)
Time taken: 5 min, 18 sec
2:
seed: 0
Nr of vars set: 2220 (#equs: 0)
Nr of vars set: 2228 (#equs: 0)
Interupt request received.
#decisions: 1594911; #end-nodes: 632201;
#proof improvement attempts: 0; #restarts: 1109
Current batch, end-nodes: 5832 / 7981 (397)
#axs: 1607, #non-axs: 3707
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 4, end: 5; meta: start: 6, end (keep): 8
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 6187 (#equs: 3)
Time taken: 14 min, 42 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/22420/stat): 22420 (vallstSAT2005PB) R 22419 22420 9102 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1846428791 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22420/statm): 174 3 169 147 0 27 0
[pid=22420] 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=22421
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=22421) exited with status: 0
New process pid=22422
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=22422) exited with status: 0
New process pid=22423
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/wulflinc31/normalized-mps-v2-20-10-air06.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 0.93 0.98 0.99 2/58 22423
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1164 0 0 0 900 31 0 0 25 0 1 0 1846428798 6569984 1066 4294967295 134512640 134702520 3221223952 3221223088 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 1604 1066 413 48 0 1556 0
[pid=22423] vsize: 6416
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (Kb) 8544
[startup+20.0045 s]
Raw data (loadavg): 0.94 0.98 0.99 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 1223 0 0 0 1757 79 0 0 25 0 1 0 1846428798 12443648 1125 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3038 1125 413 48 0 2990 0
[pid=22423] vsize: 12152
Current children cumulated CPU time (s) 18.38
Current children cumulated vsize (Kb) 14280
[startup+30.0054 s]
Raw data (loadavg): 0.95 0.98 0.99 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1386 0 0 0 2673 108 0 0 25 0 1 0 1846428798 12447744 1288 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3039 1288 413 48 0 2991 0
[pid=22423] vsize: 12156
Current children cumulated CPU time (s) 27.83
Current children cumulated vsize (Kb) 14284
[startup+40.0064 s]
Raw data (loadavg): 0.95 0.98 0.99 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1392 0 0 0 3584 137 0 0 25 0 1 0 1846428798 12451840 1294 4294967295 134512640 134702520 3221223952 3221113148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3040 1294 413 48 0 2992 0
[pid=22423] vsize: 12160
Current children cumulated CPU time (s) 37.23
Current children cumulated vsize (Kb) 14288
[startup+50.0083 s]
Raw data (loadavg): 1.04 1.00 1.00 1/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 1422 0 0 0 4493 167 0 0 25 0 1 0 1846428798 12611584 1324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3079 1324 413 48 0 3031 0
[pid=22423] vsize: 12316
Current children cumulated CPU time (s) 46.62
Current children cumulated vsize (Kb) 14444
[startup+60.0092 s]
Raw data (loadavg): 1.03 1.00 1.00 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 1482 0 0 0 5406 199 0 0 25 0 1 0 1846428798 12754944 1384 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3114 1384 413 48 0 3066 0
[pid=22423] vsize: 12456
Current children cumulated CPU time (s) 56.07
Current children cumulated vsize (Kb) 14584
[startup+70.0102 s]
Raw data (loadavg): 1.03 1.00 1.00 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1482 0 0 0 6280 241 0 0 25 0 1 0 1846428798 12754944 1384 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3114 1384 413 48 0 3066 0
[pid=22423] vsize: 12456
Current children cumulated CPU time (s) 65.23
Current children cumulated vsize (Kb) 14584
[startup+80.0121 s]
Raw data (loadavg): 1.02 1.00 1.00 2/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1640 0 0 0 7177 278 0 0 25 0 1 0 1846428798 12701696 1542 4294967295 134512640 134702520 3221223952 3221199728 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3101 1542 413 48 0 3053 0
[pid=22423] vsize: 12404
Current children cumulated CPU time (s) 74.57
Current children cumulated vsize (Kb) 14532
[startup+90.013 s]
Raw data (loadavg): 1.02 1.00 1.00 2/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 1658 0 0 0 8101 306 0 0 25 0 1 0 1846428798 12845056 1560 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3136 1560 413 48 0 3088 0
[pid=22423] vsize: 12544
Current children cumulated CPU time (s) 84.09
Current children cumulated vsize (Kb) 14672
[startup+100.014 s]
Raw data (loadavg): 1.02 1.00 1.00 1/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2360 0 0 0 9013 340 0 0 25 0 1 0 1846428798 12980224 2262 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3169 2262 413 48 0 3121 0
[pid=22423] vsize: 12676
Current children cumulated CPU time (s) 93.55
Current children cumulated vsize (Kb) 14804
[startup+110.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2587 0 0 0 9925 370 0 0 25 0 1 0 1846428798 12980224 2489 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3169 2489 413 48 0 3121 0
[pid=22423] vsize: 12676
Current children cumulated CPU time (s) 102.97
Current children cumulated vsize (Kb) 14804
[startup+120.017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2602 0 0 0 10851 396 0 0 25 0 1 0 1846428798 13119488 2504 4294967295 134512640 134702520 3221223952 3221223460 134592865 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3203 2504 413 48 0 3155 0
[pid=22423] vsize: 12812
Current children cumulated CPU time (s) 112.49
Current children cumulated vsize (Kb) 14940
[startup+130.018 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2609 0 0 0 11765 428 0 0 25 0 1 0 1846428798 13119488 2511 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3203 2511 413 48 0 3155 0
[pid=22423] vsize: 12812
Current children cumulated CPU time (s) 121.95
Current children cumulated vsize (Kb) 14940
[startup+140.019 s]
Raw data (loadavg): 1.08 1.02 1.00 2/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2609 0 0 0 12649 468 0 0 18 0 1 0 1846428798 13119488 2511 4294967295 134512640 134702520 3221223952 3221223072 134588433 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3203 2511 413 48 0 3155 0
[pid=22423] vsize: 12812
Current children cumulated CPU time (s) 131.19
Current children cumulated vsize (Kb) 14940
[startup+150.021 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2631 0 0 0 13567 496 0 0 25 0 1 0 1846428798 13127680 2533 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3205 2533 413 48 0 3157 0
[pid=22423] vsize: 12820
Current children cumulated CPU time (s) 140.65
Current children cumulated vsize (Kb) 14948
[startup+160.022 s]
Raw data (loadavg): 1.14 1.03 1.01 2/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2658 0 0 0 14463 533 0 0 25 0 1 0 1846428798 13127680 2560 4294967295 134512640 134702520 3221223952 3221223072 134573837 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3205 2560 413 48 0 3157 0
[pid=22423] vsize: 12820
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 14948
[startup+170.023 s]
Raw data (loadavg): 1.11 1.03 1.01 2/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2667 0 0 0 15391 559 0 0 25 0 1 0 1846428798 13262848 2569 4294967295 134512640 134702520 3221223952 3220994768 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3238 2569 413 48 0 3190 0
[pid=22423] vsize: 12952
Current children cumulated CPU time (s) 159.52
Current children cumulated vsize (Kb) 15080
[startup+180.023 s]
Raw data (loadavg): 1.10 1.03 1.01 1/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2675 0 0 0 16300 590 0 0 25 0 1 0 1846428798 13266944 2577 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3239 2577 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 168.92
Current children cumulated vsize (Kb) 15084
[startup+190.024 s]
Raw data (loadavg): 1.08 1.03 1.01 1/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2687 0 0 0 17229 615 0 0 25 0 1 0 1846428798 13266944 2589 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3239 2589 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 178.46
Current children cumulated vsize (Kb) 15084
[startup+200.026 s]
Raw data (loadavg): 1.07 1.03 1.00 1/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2690 0 0 0 18127 650 0 0 25 0 1 0 1846428798 13266944 2592 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3239 2592 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 187.79
Current children cumulated vsize (Kb) 15084
[startup+210.027 s]
Raw data (loadavg): 1.06 1.02 1.00 1/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2694 0 0 0 19021 687 0 0 25 0 1 0 1846428798 13266944 2596 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3239 2596 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 197.1
Current children cumulated vsize (Kb) 15084
[startup+220.028 s]
Raw data (loadavg): 1.04 1.02 1.00 2/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2858 0 0 0 19938 717 0 0 25 0 1 0 1846428798 13266944 2760 4294967295 134512640 134702520 3221223952 3221223232 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3239 2760 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 206.57
Current children cumulated vsize (Kb) 15084
[startup+230.029 s]
Raw data (loadavg): 1.04 1.02 1.00 2/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2877 0 0 0 20860 742 0 0 25 0 1 0 1846428798 13402112 2779 4294967295 134512640 134702520 3221223952 3221222976 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3272 2779 413 48 0 3224 0
[pid=22423] vsize: 13088
Current children cumulated CPU time (s) 216.04
Current children cumulated vsize (Kb) 15216
[startup+240.03 s]
Raw data (loadavg): 1.03 1.02 1.00 2/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2883 0 0 0 21771 775 0 0 25 0 1 0 1846428798 13402112 2785 4294967295 134512640 134702520 3221223952 3221079228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3272 2785 413 48 0 3224 0
[pid=22423] vsize: 13088
Current children cumulated CPU time (s) 225.48
Current children cumulated vsize (Kb) 15216
[startup+250.032 s]
Raw data (loadavg): 1.03 1.02 1.00 2/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2901 0 0 0 22686 804 0 0 25 0 1 0 1846428798 13402112 2803 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3272 2803 413 48 0 3224 0
[pid=22423] vsize: 13088
Current children cumulated CPU time (s) 234.92
Current children cumulated vsize (Kb) 15216
[startup+260.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2963 0 0 0 23607 831 0 0 25 0 1 0 1846428798 13537280 2865 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3305 2865 413 48 0 3257 0
[pid=22423] vsize: 13220
Current children cumulated CPU time (s) 244.4
Current children cumulated vsize (Kb) 15348
[startup+270.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2992 0 0 0 24532 854 0 0 25 0 1 0 1846428798 13541376 2894 4294967295 134512640 134702520 3221223952 3221222848 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3306 2894 413 48 0 3258 0
[pid=22423] vsize: 13224
Current children cumulated CPU time (s) 253.88
Current children cumulated vsize (Kb) 15352
[startup+280.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2992 0 0 0 25431 890 0 0 19 0 1 0 1846428798 13541376 2894 4294967295 134512640 134702520 3221223952 3221222848 134550611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3306 2894 413 48 0 3258 0
[pid=22423] vsize: 13224
Current children cumulated CPU time (s) 263.23
Current children cumulated vsize (Kb) 15352
[startup+290.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2992 0 0 0 26338 923 0 0 25 0 1 0 1846428798 13541376 2894 4294967295 134512640 134702520 3221223952 3221223232 134550624 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3306 2894 413 48 0 3258 0
[pid=22423] vsize: 13224
Current children cumulated CPU time (s) 272.63
Current children cumulated vsize (Kb) 15352
[startup+300.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2999 0 0 0 27256 950 0 0 25 0 1 0 1846428798 13553664 2901 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3309 2901 413 48 0 3261 0
[pid=22423] vsize: 13236
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (Kb) 15364
[startup+310.038 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 3013 0 0 0 28194 974 0 0 25 0 1 0 1846428798 13553664 2915 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3309 2915 413 48 0 3261 0
[pid=22423] vsize: 13236
Current children cumulated CPU time (s) 291.7
Current children cumulated vsize (Kb) 15364
[startup+320.039 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22435
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 3044 0 0 0 29119 1001 0 0 18 0 1 0 1846428798 13553664 2946 4294967295 134512640 134702520 3221223952 3221223232 134557166 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3309 2946 413 48 0 3261 0
[pid=22423] vsize: 13236
Current children cumulated CPU time (s) 301.22
Current children cumulated vsize (Kb) 15364
[startup+330.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22435
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 3059 0 0 0 30050 1026 0 0 25 0 1 0 1846428798 13709312 2961 4294967295 134512640 134702520 3221223952 3221222816 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3347 2961 413 48 0 3299 0
[pid=22423] vsize: 13388
Current children cumulated CPU time (s) 310.78
Current children cumulated vsize (Kb) 15516
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=22423) exited with status: 2
New process pid=22436
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=22436) exited with status: 0
New process pid=22437
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+340.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22437
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 837 0 0 0 72 5 0 0 23 0 1 0 1846462718 5537792 807 4294967295 134512640 134702520 3221223712 3221221968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 1352 807 413 48 0 1304 0
[pid=22437] vsize: 5408
Current children cumulated CPU time (s) 320.2
Current children cumulated vsize (Kb) 7536
[startup+350.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22437
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 990 0 0 0 997 34 0 0 25 0 1 0 1846462718 6160384 960 4294967295 134512640 134702520 3221223712 3221222848 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 1504 960 413 48 0 1456 0
[pid=22437] vsize: 6016
Current children cumulated CPU time (s) 329.74
Current children cumulated vsize (Kb) 8144
[startup+360.043 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 22437
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1145 0 0 0 1907 67 0 0 25 0 1 0 1846462718 11288576 1115 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2756 1115 413 48 0 2708 0
[pid=22437] vsize: 11024
Current children cumulated CPU time (s) 339.17
Current children cumulated vsize (Kb) 13152
[startup+370.044 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 22437
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1180 0 0 0 2832 92 0 0 25 0 1 0 1846462718 11427840 1150 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 2790 1150 413 48 0 2742 0
[pid=22437] vsize: 11160
Current children cumulated CPU time (s) 348.67
Current children cumulated vsize (Kb) 13288
[startup+380.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1239 0 0 0 3755 116 0 0 18 0 1 0 1846462718 11542528 1209 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2818 1209 413 48 0 2770 0
[pid=22437] vsize: 11272
Current children cumulated CPU time (s) 358.14
Current children cumulated vsize (Kb) 13400
[startup+390.046 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1486 0 0 0 4663 149 0 0 25 0 1 0 1846462718 11542528 1456 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 2818 1456 413 48 0 2770 0
[pid=22437] vsize: 11272
Current children cumulated CPU time (s) 367.55
Current children cumulated vsize (Kb) 13400
[startup+400.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1491 0 0 0 5578 179 0 0 22 0 1 0 1846462718 11694080 1461 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2855 1461 413 48 0 2807 0
[pid=22437] vsize: 11420
Current children cumulated CPU time (s) 377
Current children cumulated vsize (Kb) 13548
[startup+410.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1491 0 0 0 6476 213 0 0 25 0 1 0 1846462718 11669504 1461 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2849 1461 413 48 0 2801 0
[pid=22437] vsize: 11396
Current children cumulated CPU time (s) 386.32
Current children cumulated vsize (Kb) 13524
[startup+420.05 s]
Raw data (loadavg): 1.08 1.02 1.01 1/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1496 0 0 0 7386 244 0 0 25 0 1 0 1846462718 11669504 1466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2849 1466 413 48 0 2801 0
[pid=22437] vsize: 11396
Current children cumulated CPU time (s) 395.73
Current children cumulated vsize (Kb) 13524
[startup+430.052 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1501 0 0 0 8298 275 0 0 25 0 1 0 1846462718 11669504 1471 4294967295 134512640 134702520 3221223712 3221222992 134552432 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2849 1471 413 48 0 2801 0
[pid=22437] vsize: 11396
Current children cumulated CPU time (s) 405.16
Current children cumulated vsize (Kb) 13524
[startup+440.053 s]
Raw data (loadavg): 1.06 1.02 1.00 2/60 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1521 0 0 0 9194 311 0 0 25 0 1 0 1846462718 11796480 1491 4294967295 134512640 134702520 3221223712 3221223116 1074229994 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1491 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 414.48
Current children cumulated vsize (Kb) 13648
[startup+450.054 s]
Raw data (loadavg): 1.05 1.02 1.00 2/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1528 0 0 0 10123 337 0 0 25 0 1 0 1846462718 11796480 1498 4294967295 134512640 134702520 3221223712 3221222608 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1498 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 424.03
Current children cumulated vsize (Kb) 13648
[startup+460.056 s]
Raw data (loadavg): 1.04 1.02 1.00 2/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1529 0 0 0 11023 375 0 0 25 0 1 0 1846462718 11796480 1499 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1499 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 433.41
Current children cumulated vsize (Kb) 13648
[startup+470.057 s]
Raw data (loadavg): 1.03 1.02 1.00 2/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1533 0 0 0 11908 414 0 0 25 0 1 0 1846462718 11796480 1503 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1503 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 442.65
Current children cumulated vsize (Kb) 13648
[startup+480.059 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1616 0 0 0 12806 448 0 0 25 0 1 0 1846462718 11796480 1586 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1586 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 451.97
Current children cumulated vsize (Kb) 13648
[startup+490.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1620 0 0 0 13721 477 0 0 25 0 1 0 1846462718 11907072 1590 4294967295 134512640 134702520 3221223712 3221222992 134553123 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1590 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 461.41
Current children cumulated vsize (Kb) 13756
[startup+500.061 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1625 0 0 0 14610 513 0 0 18 0 1 0 1846462718 11907072 1595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1595 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 470.66
Current children cumulated vsize (Kb) 13756
[startup+510.062 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1629 0 0 0 15522 545 0 0 25 0 1 0 1846462718 11907072 1599 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1599 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 480.1
Current children cumulated vsize (Kb) 13756
[startup+520.063 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1630 0 0 0 16418 582 0 0 20 0 1 0 1846462718 11907072 1600 4294967295 134512640 134702520 3221223712 3221222992 134550624 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1600 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 489.43
Current children cumulated vsize (Kb) 13756
[startup+530.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1634 0 0 0 17302 620 0 0 25 0 1 0 1846462718 11907072 1604 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1604 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 498.65
Current children cumulated vsize (Kb) 13756
[startup+540.066 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1636 0 0 0 18214 650 0 0 25 0 1 0 1846462718 11907072 1606 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1606 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 508.07
Current children cumulated vsize (Kb) 13756
[startup+550.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1641 0 0 0 19113 684 0 0 25 0 1 0 1846462718 11907072 1611 4294967295 134512640 134702520 3221223712 3221127328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1611 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 517.4
Current children cumulated vsize (Kb) 13756
[startup+560.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1644 0 0 0 20016 721 0 0 18 0 1 0 1846462718 11907072 1614 4294967295 134512640 134702520 3221223712 3221222736 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1614 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 526.8
Current children cumulated vsize (Kb) 13756
[startup+570.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1647 0 0 0 20917 754 0 0 25 0 1 0 1846462718 12062720 1617 4294967295 134512640 134702520 3221223712 3221222912 134617910 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2945 1617 413 48 0 2897 0
[pid=22437] vsize: 11780
Current children cumulated CPU time (s) 536.14
Current children cumulated vsize (Kb) 13908
[startup+580.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1651 0 0 0 21793 798 0 0 21 0 1 0 1846462718 12013568 1621 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2933 1621 413 48 0 2885 0
[pid=22437] vsize: 11732
Current children cumulated CPU time (s) 545.34
Current children cumulated vsize (Kb) 13860
[startup+590.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1664 0 0 0 22701 828 0 0 25 0 1 0 1846462718 12013568 1634 4294967295 134512640 134702520 3221223712 3221179948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 2933 1634 413 48 0 2885 0
[pid=22437] vsize: 11732
Current children cumulated CPU time (s) 554.72
Current children cumulated vsize (Kb) 13860
[startup+600.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1723 0 0 0 23621 857 0 0 25 0 1 0 1846462718 12013568 1693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 2933 1693 413 48 0 2885 0
[pid=22437] vsize: 11732
Current children cumulated CPU time (s) 564.21
Current children cumulated vsize (Kb) 13860
[startup+610.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2361 0 0 0 24521 893 0 0 25 0 1 0 1846462718 12972032 2331 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3167 2331 413 48 0 3119 0
[pid=22437] vsize: 12668
Current children cumulated CPU time (s) 573.57
Current children cumulated vsize (Kb) 14796
[startup+620.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2667 0 0 0 25447 918 0 0 25 0 1 0 1846462718 12972032 2637 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3167 2637 413 48 0 3119 0
[pid=22437] vsize: 12668
Current children cumulated CPU time (s) 583.08
Current children cumulated vsize (Kb) 14796
[startup+630.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2713 0 0 0 26370 943 0 0 25 0 1 0 1846462718 13103104 2683 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2683 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 592.56
Current children cumulated vsize (Kb) 14924
[startup+640.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2731 0 0 0 27292 972 0 0 25 0 1 0 1846462718 13103104 2701 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2701 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 602.07
Current children cumulated vsize (Kb) 14924
[startup+650.081 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2732 0 0 0 28196 1006 0 0 23 0 1 0 1846462718 13103104 2702 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2702 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 611.45
Current children cumulated vsize (Kb) 14924
[startup+660.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2734 0 0 0 29092 1041 0 0 25 0 1 0 1846462718 13103104 2704 4294967295 134512640 134702520 3221223712 3221222968 134549067 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2704 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 620.76
Current children cumulated vsize (Kb) 14924
[startup+670.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2746 0 0 0 29999 1074 0 0 25 0 1 0 1846462718 13103104 2716 4294967295 134512640 134702520 3221223712 3221132288 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2716 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 630.16
Current children cumulated vsize (Kb) 14924
[startup+680.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2752 0 0 0 30921 1103 0 0 19 0 1 0 1846462718 13221888 2722 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2722 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (Kb) 15040
[startup+690.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2757 0 0 0 31835 1131 0 0 25 0 1 0 1846462718 13221888 2727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3228 2727 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 649.09
Current children cumulated vsize (Kb) 15040
[startup+700.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2763 0 0 0 32758 1157 0 0 25 0 1 0 1846462718 13221888 2733 4294967295 134512640 134702520 3221223712 3221222992 134552778 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2733 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 658.58
Current children cumulated vsize (Kb) 15040
[startup+710.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2768 0 0 0 33694 1180 0 0 25 0 1 0 1846462718 13221888 2738 4294967295 134512640 134702520 3221223712 3221222608 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2738 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 668.17
Current children cumulated vsize (Kb) 15040
[startup+720.089 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2769 0 0 0 34610 1209 0 0 19 0 1 0 1846462718 13221888 2739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2739 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 677.62
Current children cumulated vsize (Kb) 15040
[startup+730.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2769 0 0 0 35506 1244 0 0 25 0 1 0 1846462718 13221888 2739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2739 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 686.93
Current children cumulated vsize (Kb) 15040
[startup+740.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2771 0 0 0 36415 1275 0 0 25 0 1 0 1846462718 13221888 2741 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2741 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 696.33
Current children cumulated vsize (Kb) 15040
[startup+750.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2773 0 0 0 37336 1303 0 0 25 0 1 0 1846462718 13221888 2743 4294967295 134512640 134702520 3221223712 3221098508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2743 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 705.82
Current children cumulated vsize (Kb) 15040
[startup+760.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2776 0 0 0 38239 1334 0 0 25 0 1 0 1846462718 13221888 2746 4294967295 134512640 134702520 3221223712 3221140928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2746 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 715.16
Current children cumulated vsize (Kb) 15040
[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2792 0 0 0 39171 1360 0 0 25 0 1 0 1846462718 13340672 2762 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3257 2762 413 48 0 3209 0
[pid=22437] vsize: 13028
Current children cumulated CPU time (s) 724.74
Current children cumulated vsize (Kb) 15156
[startup+780.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2808 0 0 0 40103 1382 0 0 25 0 1 0 1846462718 13475840 2778 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2778 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 734.28
Current children cumulated vsize (Kb) 15288
[startup+790.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2812 0 0 0 41019 1410 0 0 25 0 1 0 1846462718 13475840 2782 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2782 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 743.72
Current children cumulated vsize (Kb) 15288
[startup+800.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2813 0 0 0 41935 1439 0 0 25 0 1 0 1846462718 13475840 2783 4294967295 134512640 134702520 3221223712 3221222608 134553123 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2783 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 753.17
Current children cumulated vsize (Kb) 15288
[startup+810.099 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2814 0 0 0 42841 1473 0 0 25 0 1 0 1846462718 13475840 2784 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2784 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 762.57
Current children cumulated vsize (Kb) 15288
[startup+820.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2818 0 0 0 43724 1514 0 0 25 0 1 0 1846462718 13475840 2788 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3290 2788 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 771.81
Current children cumulated vsize (Kb) 15288
[startup+830.101 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2823 0 0 0 44637 1545 0 0 25 0 1 0 1846462718 13475840 2793 4294967295 134512640 134702520 3221223712 3221222984 134557386 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2793 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 781.25
Current children cumulated vsize (Kb) 15288
[startup+840.102 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2825 0 0 0 45547 1579 0 0 25 0 1 0 1846462718 13475840 2795 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3290 2795 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 790.69
Current children cumulated vsize (Kb) 15288
[startup+850.104 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2833 0 0 0 46440 1613 0 0 25 0 1 0 1846462718 13475840 2803 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2803 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 799.96
Current children cumulated vsize (Kb) 15288
[startup+860.105 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2835 0 0 0 47363 1639 0 0 25 0 1 0 1846462718 13475840 2805 4294967295 134512640 134702520 3221223712 3220939808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2805 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 809.45
Current children cumulated vsize (Kb) 15288
[startup+870.106 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2838 0 0 0 48262 1674 0 0 25 0 1 0 1846462718 13475840 2808 4294967295 134512640 134702520 3221223712 3221153708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3290 2808 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 818.79
Current children cumulated vsize (Kb) 15288
[startup+880.107 s]
Raw data (loadavg): 1.02 1.01 1.00 3/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2842 0 0 0 49194 1697 0 0 25 0 1 0 1846462718 13619200 2812 4294967295 134512640 134702520 3221223712 3221222608 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3325 2812 413 48 0 3277 0
[pid=22437] vsize: 13300
Current children cumulated CPU time (s) 828.34
Current children cumulated vsize (Kb) 15428
[startup+890.108 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2843 0 0 0 50096 1733 0 0 25 0 1 0 1846462718 13594624 2813 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3319 2813 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 837.72
Current children cumulated vsize (Kb) 15404
[startup+900.109 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2847 0 0 0 50992 1770 0 0 25 0 1 0 1846462718 13594624 2817 4294967295 134512640 134702520 3221223712 3221020448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2817 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 847.05
Current children cumulated vsize (Kb) 15404
[startup+910.111 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2850 0 0 0 51881 1811 0 0 25 0 1 0 1846462718 13594624 2820 4294967295 134512640 134702520 3221223712 3221222992 134553465 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2820 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 856.35
Current children cumulated vsize (Kb) 15404
[startup+920.112 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2853 0 0 0 52785 1843 0 0 25 0 1 0 1846462718 13594624 2823 4294967295 134512640 134702520 3221223712 3221147948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2823 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 865.71
Current children cumulated vsize (Kb) 15404
[startup+930.113 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2853 0 0 0 53697 1873 0 0 25 0 1 0 1846462718 13594624 2823 4294967295 134512640 134702520 3221223712 3221013548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2823 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 875.13
Current children cumulated vsize (Kb) 15404
[startup+940.114 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2855 0 0 0 54600 1910 0 0 25 0 1 0 1846462718 13594624 2825 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2825 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 884.53
Current children cumulated vsize (Kb) 15404
[startup+950.115 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2859 0 0 0 55474 1953 0 0 25 0 1 0 1846462718 13594624 2829 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3319 2829 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 893.7
Current children cumulated vsize (Kb) 15404
[startup+960.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2863 0 0 0 56384 1986 0 0 25 0 1 0 1846462718 13733888 2833 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3353 2833 413 48 0 3305 0
[pid=22437] vsize: 13412
Current children cumulated CPU time (s) 903.13
Current children cumulated vsize (Kb) 15540
[startup+970.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2863 0 0 0 57287 2020 0 0 25 0 1 0 1846462718 13733888 2833 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3353 2833 413 48 0 3305 0
[pid=22437] vsize: 13412
Current children cumulated CPU time (s) 912.5
Current children cumulated vsize (Kb) 15540
[startup+980.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2863 0 0 0 58180 2059 0 0 19 0 1 0 1846462718 13684736 2833 4294967295 134512640 134702520 3221223712 3221222992 134550667 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3341 2833 413 48 0 3293 0
[pid=22437] vsize: 13364
Current children cumulated CPU time (s) 921.82
Current children cumulated vsize (Kb) 15492
[startup+990.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2869 0 0 0 59078 2094 0 0 25 0 1 0 1846462718 13684736 2839 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3341 2839 413 48 0 3293 0
[pid=22437] vsize: 13364
Current children cumulated CPU time (s) 931.15
Current children cumulated vsize (Kb) 15492
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2887 0 0 0 59989 2125 0 0 23 0 1 0 1846462718 13684736 2857 4294967295 134512640 134702520 3221223712 3221222992 134552891 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3341 2857 413 48 0 3293 0
[pid=22437] vsize: 13364
Current children cumulated CPU time (s) 940.57
Current children cumulated vsize (Kb) 15492
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2893 0 0 0 60909 2151 0 0 25 0 1 0 1846462718 13819904 2863 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3374 2863 413 48 0 3326 0
[pid=22437] vsize: 13496
Current children cumulated CPU time (s) 950.03
Current children cumulated vsize (Kb) 15624
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2900 0 0 0 61836 2175 0 0 25 0 1 0 1846462718 13819904 2870 4294967295 134512640 134702520 3221223712 3221127648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3374 2870 413 48 0 3326 0
[pid=22437] vsize: 13496
Current children cumulated CPU time (s) 959.54
Current children cumulated vsize (Kb) 15624
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2903 0 0 0 62727 2214 0 0 25 0 1 0 1846462718 13819904 2873 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3374 2873 413 48 0 3326 0
[pid=22437] vsize: 13496
Current children cumulated CPU time (s) 968.84
Current children cumulated vsize (Kb) 15624
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2910 0 0 0 63622 2251 0 0 19 0 1 0 1846462718 13819904 2880 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3374 2880 413 48 0 3326 0
[pid=22437] vsize: 13496
Current children cumulated CPU time (s) 978.16
Current children cumulated vsize (Kb) 15624
[startup+1050.13 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2924 0 0 0 64546 2275 0 0 25 0 1 0 1846462718 13946880 2894 4294967295 134512640 134702520 3221223712 3221222992 134552903 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2894 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 987.64
Current children cumulated vsize (Kb) 15748
[startup+1060.13 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2926 0 0 0 65416 2320 0 0 25 0 1 0 1846462718 13946880 2896 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2896 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 996.79
Current children cumulated vsize (Kb) 15748
[startup+1070.13 s]
Raw data (loadavg): 1.05 1.01 1.00 1/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2927 0 0 0 66311 2354 0 0 25 0 1 0 1846462718 13946880 2897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3405 2897 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1006.08
Current children cumulated vsize (Kb) 15748
[startup+1080.13 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2930 0 0 0 67213 2387 0 0 25 0 1 0 1846462718 13946880 2900 4294967295 134512640 134702520 3221223712 3221111148 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2900 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1015.43
Current children cumulated vsize (Kb) 15748
[startup+1090.13 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2932 0 0 0 68105 2424 0 0 25 0 1 0 1846462718 13946880 2902 4294967295 134512640 134702520 3221223712 3221222992 134553123 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2902 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1024.72
Current children cumulated vsize (Kb) 15748
[startup+1100.13 s]
Raw data (loadavg): 1.11 1.03 1.01 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2935 0 0 0 69008 2458 0 0 25 0 1 0 1846462718 13946880 2905 4294967295 134512640 134702520 3221223712 3221018828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2905 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1034.09
Current children cumulated vsize (Kb) 15748
[startup+1110.13 s]
Raw data (loadavg): 1.09 1.03 1.00 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2938 0 0 0 69914 2490 0 0 25 0 1 0 1846462718 13946880 2908 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2908 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1043.47
Current children cumulated vsize (Kb) 15748
[startup+1120.14 s]
Raw data (loadavg): 1.08 1.03 1.00 1/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2938 0 0 0 70808 2529 0 0 25 0 1 0 1846462718 13946880 2908 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3405 2908 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1052.8
Current children cumulated vsize (Kb) 15748
[startup+1130.14 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2938 0 0 0 71689 2570 0 0 25 0 1 0 1846462718 13946880 2908 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2908 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (Kb) 15748
[startup+1140.14 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2940 0 0 0 72584 2606 0 0 25 0 1 0 1846462718 13946880 2910 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2910 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1071.33
Current children cumulated vsize (Kb) 15748
[startup+1150.14 s]
Raw data (loadavg): 1.05 1.02 1.00 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2945 0 0 0 73470 2648 0 0 25 0 1 0 1846462718 13946880 2915 4294967295 134512640 134702520 3221223712 3221222992 134550430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2915 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1080.61
Current children cumulated vsize (Kb) 15748
[startup+1160.14 s]
Raw data (loadavg): 1.12 1.04 1.01 1/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2950 0 0 0 74374 2680 0 0 25 0 1 0 1846462718 13946880 2920 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3405 2920 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1089.97
Current children cumulated vsize (Kb) 15748
[startup+1170.14 s]
Raw data (loadavg): 1.10 1.04 1.00 2/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2972 0 0 0 75286 2709 0 0 25 0 1 0 1846462718 14082048 2942 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3438 2942 413 48 0 3390 0
[pid=22437] vsize: 13752
Current children cumulated CPU time (s) 1099.38
Current children cumulated vsize (Kb) 15880
[startup+1180.14 s]
Raw data (loadavg): 1.08 1.03 1.00 2/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2975 0 0 0 76181 2745 0 0 25 0 1 0 1846462718 14082048 2945 4294967295 134512640 134702520 3221223712 3220994508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3438 2945 413 48 0 3390 0
[pid=22437] vsize: 13752
Current children cumulated CPU time (s) 1108.69
Current children cumulated vsize (Kb) 15880
[startup+1190.14 s]
Raw data (loadavg): 1.07 1.03 1.00 2/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2979 0 0 0 77070 2782 0 0 25 0 1 0 1846462718 14082048 2949 4294967295 134512640 134702520 3221223712 3221222992 134552884 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3438 2949 413 48 0 3390 0
[pid=22437] vsize: 13752
Current children cumulated CPU time (s) 1117.95
Current children cumulated vsize (Kb) 15880
[startup+1200.15 s]
Raw data (loadavg): 1.06 1.03 1.00 1/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2985 0 0 0 77984 2815 0 0 25 0 1 0 1846462718 14082048 2955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3438 2955 413 48 0 3390 0
[pid=22437] vsize: 13752
Current children cumulated CPU time (s) 1127.42
Current children cumulated vsize (Kb) 15880
[startup+1210.15 s]
Raw data (loadavg): 1.05 1.03 1.00 2/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2987 0 0 0 78881 2851 0 0 25 0 1 0 1846462718 14200832 2957 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3467 2957 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1136.75
Current children cumulated vsize (Kb) 15996
[startup+1220.15 s]
Raw data (loadavg): 1.04 1.03 1.00 1/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2991 0 0 0 79791 2883 0 0 19 0 1 0 1846462718 14200832 2961 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2961 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1146.17
Current children cumulated vsize (Kb) 15996
[startup+1230.15 s]
Raw data (loadavg): 1.04 1.03 1.00 2/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2991 0 0 0 80690 2916 0 0 25 0 1 0 1846462718 14200832 2961 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3467 2961 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1155.49
Current children cumulated vsize (Kb) 15996
[startup+1240.15 s]
Raw data (loadavg): 1.03 1.03 1.00 1/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2993 0 0 0 81572 2955 0 0 24 0 1 0 1846462718 14200832 2963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2963 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1164.7
Current children cumulated vsize (Kb) 15996
[startup+1250.15 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2994 0 0 0 82462 2996 0 0 25 0 1 0 1846462718 14200832 2964 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3467 2964 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1174.01
Current children cumulated vsize (Kb) 15996
[startup+1260.15 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2995 0 0 0 83367 3030 0 0 25 0 1 0 1846462718 14200832 2965 4294967295 134512640 134702520 3221223712 3221063308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2965 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1183.4
Current children cumulated vsize (Kb) 15996
[startup+1270.15 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2996 0 0 0 84260 3066 0 0 25 0 1 0 1846462718 14200832 2966 4294967295 134512640 134702520 3221223712 3221088448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2966 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1192.69
Current children cumulated vsize (Kb) 15996
[startup+1280.16 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22469
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2997 0 0 0 85154 3104 0 0 25 0 1 0 1846462718 14200832 2967 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3467 2967 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1202.01
Current children cumulated vsize (Kb) 15996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.16 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22469
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2997 0 0 0 85154 3104 0 0 25 0 1 0 1846462718 14200832 2967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2967 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1202.01
Current children cumulated vsize (Kb) 15996
Sending SIGTERM to -22420
Sleeping 2 seconds
New process pid=22471
New process pid=22472
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/31081/stat
open syscall for file /proc/31081/status
open syscall for file /proc/31081/cmdline
open syscall for file /proc/31081/environ
open syscall for file /proc/11861/stat
open syscall for file /proc/11861/status
open syscall for file /proc/11861/cmdline
open syscall for file /proc/11861/environ
open syscall for file /proc/30741/stat
open syscall for file /proc/30741/status
open syscall for file /proc/30741/cmdline
open syscall for file /proc/30741/environ
open syscall for file /proc/30767/stat
open syscall for file /proc/30767/status
open syscall for file /proc/30767/cmdline
open syscall for file /proc/30767/environ
open syscall for file /proc/30794/stat
open syscall for file /proc/30794/status
open syscall for file /proc/30794/cmdline
open syscall for file /proc/30794/environ
open syscall for file /proc/12776/stat
open syscall for file /proc/12776/status
open syscall for file /proc/12776/cmdline
open syscall for file /proc/12776/environ
open syscall for file /proc/12777/stat
open syscall for file /proc/12777/status
open syscall for file /proc/12777/cmdline
open syscall for file /proc/12777/environ
open syscall for file /proc/7700/stat
open syscall for file /proc/7700/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/7700/cmdline
open syscall for file /proc/7700/environ
open syscall for file /proc/7743/stat
open syscall for file /proc/7743/status
open syscall for file /proc/7743/cmdline
open syscall for file /proc/7743/environ
open syscall for file /proc/9102/stat
open syscall for file /proc/9102/status
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/9102/cmdline
open syscall for file /proc/9102/environ
open syscall for file /proc/9103/stat
open syscall for file /proc/9103/status
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/9103/cmdline
open syscall for file /proc/9103/environ
open syscall for file /proc/9112/stat
open syscall for file /proc/9112/status
open syscall for file /proc/9112/cmdline
open syscall for file /proc/9112/environ
open syscall for file /proc/22383/stat
open syscall for file /proc/22383/status
open syscall for file /proc/22383/cmdline
open syscall for file /proc/22383/environ
open syscall for file /proc/22419/stat
open syscall for file /proc/22419/status
open syscall for file /proc/22419/cmdline
open syscall for file /proc/22419/environ
open syscall for file /proc/22420/stat
open syscall for file /proc/22420/status
open syscall for file /proc/22420/cmdline
open syscall for file /proc/22420/environ
open syscall for file /proc/22437/stat
open syscall for file /proc/22437/status
open syscall for file /proc/22437/cmdline
open syscall for file /proc/22437/environ
open syscall for file /proc/22471/stat
open syscall for file /proc/22471/status
open syscall for file /proc/22471/cmdline
open syscall for file /proc/22471/environ
open syscall for file /proc/22472/stat
open syscall for file /proc/22472/status
open syscall for file /proc/22472/cmdline
open syscall for file /proc/22472/environ
One traced child (pid=22471) exited with status: 0
One traced child (pid=22472) exited with status: 0
New process pid=22473
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=22437) exited with status: 3
One traced child (pid=22473) exited with status: 0
New process pid=22474
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=22474) exited with status: 0
One traced child (pid=22420) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.66
CPU time (s): 1202.47
CPU user time (s): 1160.68
CPU system time (s): 41.7906
CPU usage (%): 93.8947
Max. virtual memory (cumulated for all children) (Kb): 15996