1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 1443 (#equs: 4)
#decisions: 545280; #end-nodes: 249454;
#proof improvement attempts: 0; #restarts: 480
Current batch, end-nodes: 0 / 1603 (199)
#axs: 1652, #non-axs: 5855
tight: meta-meta: start: 4, end: 5; meta: start: 12, end (keep): 23
loose: meta-meta: start: 8, end: 12; meta: start: 27, end (keep): 45
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: 1543 (#equs: 5)
Time taken: 6 min, 41 sec
2:
seed: 0
Nr of vars set: 1543 (#equs: 0)
Nr of vars set: 1543 (#equs: 0)
Interupt request received.
#decisions: 1397786; #end-nodes: 706529;
#proof improvement attempts: 0; #restarts: 651
Current batch, end-nodes: 19319 / 19946 (282)
#axs: 1628, #non-axs: 3380
tight: meta-meta: start: 3, end: 4; meta: start: 5, end (keep): 7
loose: meta-meta: start: 6, end: 8; meta: start: 16, end (keep): 24
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 6442 (#equs: 0)
Time taken: 13 min, 26 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/16360/stat): 16360 (vallstSAT2005PB) R 16359 16360 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788244006 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16360/statm): 174 3 169 147 0 27 0
[pid=16360] 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=16361
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=16361) exited with status: 0
New process pid=16362
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=16362) exited with status: 0
New process pid=16363
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/wulflinc5/normalized-mps-v2-20-10-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 0.88 0.93 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 1156 0 0 0 893 40 0 0 25 0 1 0 1788244012 6635520 1055 4294967295 134512640 134702520 3221223952 3221223088 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 1620 1055 413 48 0 1572 0
[pid=16363] vsize: 6480
Current children cumulated CPU time (s) 9.34
Current children cumulated vsize (Kb) 8608
[startup+20.0044 s]
Raw data (loadavg): 0.90 0.93 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 1208 0 0 0 1767 84 0 0 23 0 1 0 1788244012 12681216 1107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3096 1107 413 48 0 3048 0
[pid=16363] vsize: 12384
Current children cumulated CPU time (s) 18.52
Current children cumulated vsize (Kb) 14512
[startup+30.0061 s]
Raw data (loadavg): 0.91 0.94 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 1477 0 0 0 2671 114 0 0 25 0 1 0 1788244012 12771328 1376 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3118 1376 413 48 0 3070 0
[pid=16363] vsize: 12472
Current children cumulated CPU time (s) 27.86
Current children cumulated vsize (Kb) 14600
[startup+40.0069 s]
Raw data (loadavg): 0.93 0.94 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2105 0 0 0 3578 148 0 0 25 0 1 0 1788244012 13041664 2004 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3184 2004 413 48 0 3136 0
[pid=16363] vsize: 12736
Current children cumulated CPU time (s) 37.27
Current children cumulated vsize (Kb) 14864
[startup+50.0076 s]
Raw data (loadavg): 0.94 0.94 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2462 0 0 0 4497 176 0 0 25 0 1 0 1788244012 13312000 2361 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3250 2361 413 48 0 3202 0
[pid=16363] vsize: 13000
Current children cumulated CPU time (s) 46.74
Current children cumulated vsize (Kb) 15128
[startup+60.0084 s]
Raw data (loadavg): 0.95 0.94 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2485 0 0 0 5410 208 0 0 25 0 1 0 1788244012 13475840 2384 4294967295 134512640 134702520 3221223952 3221109168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3290 2384 413 48 0 3242 0
[pid=16363] vsize: 13160
Current children cumulated CPU time (s) 56.19
Current children cumulated vsize (Kb) 15288
[startup+70.0091 s]
Raw data (loadavg): 0.95 0.94 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2601 0 0 0 6318 238 0 0 25 0 1 0 1788244012 13475840 2500 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3290 2500 413 48 0 3242 0
[pid=16363] vsize: 13160
Current children cumulated CPU time (s) 65.57
Current children cumulated vsize (Kb) 15288
[startup+80.0099 s]
Raw data (loadavg): 0.96 0.94 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2603 0 0 0 7224 272 0 0 25 0 1 0 1788244012 13475840 2502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3290 2502 413 48 0 3242 0
[pid=16363] vsize: 13160
Current children cumulated CPU time (s) 74.97
Current children cumulated vsize (Kb) 15288
[startup+90.0106 s]
Raw data (loadavg): 0.97 0.94 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2606 0 0 0 8122 307 0 0 25 0 1 0 1788244012 13475840 2505 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3290 2505 413 48 0 3242 0
[pid=16363] vsize: 13160
Current children cumulated CPU time (s) 84.3
Current children cumulated vsize (Kb) 15288
[startup+100.011 s]
Raw data (loadavg): 0.97 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2619 0 0 0 9032 338 0 0 25 0 1 0 1788244012 13479936 2518 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3291 2518 413 48 0 3243 0
[pid=16363] vsize: 13164
Current children cumulated CPU time (s) 93.71
Current children cumulated vsize (Kb) 15292
[startup+110.012 s]
Raw data (loadavg): 0.97 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2626 0 0 0 9949 364 0 0 25 0 1 0 1788244012 13635584 2525 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2525 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 103.14
Current children cumulated vsize (Kb) 15444
[startup+120.013 s]
Raw data (loadavg): 0.98 0.95 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2628 0 0 0 10859 395 0 0 25 0 1 0 1788244012 13635584 2527 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2527 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 112.55
Current children cumulated vsize (Kb) 15444
[startup+130.015 s]
Raw data (loadavg): 0.98 0.95 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2633 0 0 0 11772 427 0 0 25 0 1 0 1788244012 13635584 2532 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2532 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 122
Current children cumulated vsize (Kb) 15444
[startup+140.015 s]
Raw data (loadavg): 0.98 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2634 0 0 0 12685 457 0 0 25 0 1 0 1788244012 13635584 2533 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3329 2533 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 131.43
Current children cumulated vsize (Kb) 15444
[startup+150.016 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2639 0 0 0 13586 492 0 0 25 0 1 0 1788244012 13635584 2538 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2538 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 140.79
Current children cumulated vsize (Kb) 15444
[startup+160.017 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2644 0 0 0 14503 521 0 0 19 0 1 0 1788244012 13635584 2543 4294967295 134512640 134702520 3221223952 3221223232 134554277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3329 2543 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 150.25
Current children cumulated vsize (Kb) 15444
[startup+170.018 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2647 0 0 0 15413 551 0 0 25 0 1 0 1788244012 13635584 2546 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2546 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (Kb) 15444
[startup+180.018 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2655 0 0 0 16316 584 0 0 25 0 1 0 1788244012 13635584 2554 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2554 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 169.01
Current children cumulated vsize (Kb) 15444
[startup+190.019 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2661 0 0 0 17232 613 0 0 25 0 1 0 1788244012 13783040 2560 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3365 2560 413 48 0 3317 0
[pid=16363] vsize: 13460
Current children cumulated CPU time (s) 178.46
Current children cumulated vsize (Kb) 15588
[startup+200.019 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2663 0 0 0 18141 647 0 0 25 0 1 0 1788244012 13754368 2562 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3358 2562 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 187.89
Current children cumulated vsize (Kb) 15560
[startup+210.02 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2665 0 0 0 19053 678 0 0 25 0 1 0 1788244012 13754368 2564 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3358 2564 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 197.32
Current children cumulated vsize (Kb) 15560
[startup+220.02 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2793 0 0 0 19955 714 0 0 25 0 1 0 1788244012 13754368 2692 4294967295 134512640 134702520 3221223952 3221223264 1073947957 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3358 2692 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 206.7
Current children cumulated vsize (Kb) 15560
[startup+230.021 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2800 0 0 0 20872 740 0 0 25 0 1 0 1788244012 13754368 2699 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3358 2699 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 216.13
Current children cumulated vsize (Kb) 15560
[startup+240.022 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2808 0 0 0 21789 771 0 0 25 0 1 0 1788244012 13754368 2707 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3358 2707 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 225.61
Current children cumulated vsize (Kb) 15560
[startup+250.023 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2824 0 0 0 22704 802 0 0 25 0 1 0 1788244012 13889536 2723 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3391 2723 413 48 0 3343 0
[pid=16363] vsize: 13564
Current children cumulated CPU time (s) 235.07
Current children cumulated vsize (Kb) 15692
[startup+260.023 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2828 0 0 0 23621 832 0 0 25 0 1 0 1788244012 13889536 2727 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3391 2727 413 48 0 3343 0
[pid=16363] vsize: 13564
Current children cumulated CPU time (s) 244.54
Current children cumulated vsize (Kb) 15692
[startup+270.024 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2828 0 0 0 24532 865 0 0 25 0 1 0 1788244012 13889536 2727 4294967295 134512640 134702520 3221223952 3221106768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3391 2727 413 48 0 3343 0
[pid=16363] vsize: 13564
Current children cumulated CPU time (s) 253.98
Current children cumulated vsize (Kb) 15692
[startup+280.025 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2875 0 0 0 25442 898 0 0 25 0 1 0 1788244012 13889536 2774 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3391 2774 413 48 0 3343 0
[pid=16363] vsize: 13564
Current children cumulated CPU time (s) 263.41
Current children cumulated vsize (Kb) 15692
[startup+290.025 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3167 0 0 0 26365 925 0 0 25 0 1 0 1788244012 14159872 3066 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3457 3066 413 48 0 3409 0
[pid=16363] vsize: 13828
Current children cumulated CPU time (s) 272.91
Current children cumulated vsize (Kb) 15956
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3263 0 0 0 27278 956 0 0 25 0 1 0 1788244012 14983168 3162 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3658 3162 413 48 0 3610 0
[pid=16363] vsize: 14632
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (Kb) 16760
[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3316 0 0 0 28211 979 0 0 25 0 1 0 1788244012 15118336 3215 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3691 3215 413 48 0 3643 0
[pid=16363] vsize: 14764
Current children cumulated CPU time (s) 291.91
Current children cumulated vsize (Kb) 16892
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3404 0 0 0 29144 1003 0 0 25 0 1 0 1788244012 15118336 3303 4294967295 134512640 134702520 3221223952 3221025472 134612230 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3691 3303 413 48 0 3643 0
[pid=16363] vsize: 14764
Current children cumulated CPU time (s) 301.48
Current children cumulated vsize (Kb) 16892
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3448 0 0 0 30072 1027 0 0 25 0 1 0 1788244012 15257600 3347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3725 3347 413 48 0 3677 0
[pid=16363] vsize: 14900
Current children cumulated CPU time (s) 311
Current children cumulated vsize (Kb) 17028
[startup+340.029 s]
Raw data (loadavg): 1.07 0.99 0.96 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3544 0 0 0 31001 1052 0 0 25 0 1 0 1788244012 16216064 3443 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3959 3443 413 48 0 3911 0
[pid=16363] vsize: 15836
Current children cumulated CPU time (s) 320.54
Current children cumulated vsize (Kb) 17964
[startup+350.029 s]
Raw data (loadavg): 1.06 0.99 0.96 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3638 0 0 0 31925 1076 0 0 25 0 1 0 1788244012 16351232 3537 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3992 3537 413 48 0 3944 0
[pid=16363] vsize: 15968
Current children cumulated CPU time (s) 330.02
Current children cumulated vsize (Kb) 18096
[startup+360.03 s]
Raw data (loadavg): 1.05 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3695 0 0 0 32864 1097 0 0 25 0 1 0 1788244012 16502784 3594 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 4029 3594 413 48 0 3981 0
[pid=16363] vsize: 16116
Current children cumulated CPU time (s) 339.62
Current children cumulated vsize (Kb) 18244
[startup+370.03 s]
Raw data (loadavg): 1.04 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3731 0 0 0 33799 1121 0 0 25 0 1 0 1788244012 16637952 3630 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 4062 3630 413 48 0 4014 0
[pid=16363] vsize: 16248
Current children cumulated CPU time (s) 349.21
Current children cumulated vsize (Kb) 18376
[startup+380.031 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3807 0 0 0 34730 1145 0 0 25 0 1 0 1788244012 17461248 3706 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 4263 3706 413 48 0 4215 0
[pid=16363] vsize: 17052
Current children cumulated CPU time (s) 358.76
Current children cumulated vsize (Kb) 19180
[startup+390.032 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3871 0 0 0 35680 1162 0 0 25 0 1 0 1788244012 17596416 3770 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 4296 3770 413 48 0 4248 0
[pid=16363] vsize: 17184
Current children cumulated CPU time (s) 368.43
Current children cumulated vsize (Kb) 19312
[startup+400.032 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3935 0 0 0 36631 1179 0 0 25 0 1 0 1788244012 17731584 3834 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 4329 3834 413 48 0 4281 0
[pid=16363] vsize: 17316
Current children cumulated CPU time (s) 378.11
Current children cumulated vsize (Kb) 19444
[startup+410.032 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3978 0 0 0 37571 1199 0 0 25 0 1 0 1788244012 17731584 3877 4294967295 134512640 134702520 3221223952 3221222976 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 4329 3877 413 48 0 4281 0
[pid=16363] vsize: 17316
Current children cumulated CPU time (s) 387.71
Current children cumulated vsize (Kb) 19444
[startup+420.033 s]
Raw data (loadavg): 1.02 0.99 0.96 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3981 0 0 0 38490 1228 0 0 25 0 1 0 1788244012 17731584 3880 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 4329 3880 413 48 0 4281 0
[pid=16363] vsize: 17316
Current children cumulated CPU time (s) 397.19
Current children cumulated vsize (Kb) 19444
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=16363) exited with status: 2
New process pid=16364
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=16364) exited with status: 0
New process pid=16365
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+430.035 s]
Raw data (loadavg): 1.01 0.99 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 1027 0 0 0 482 17 0 0 25 0 1 0 1788286489 6254592 997 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 1527 997 413 48 0 1479 0
[pid=16365] vsize: 6108
Current children cumulated CPU time (s) 406.68
Current children cumulated vsize (Kb) 8236
[startup+440.036 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 1033 0 0 0 1411 42 0 0 25 0 1 0 1788286489 6418432 1003 4294967295 134512640 134702520 3221223712 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 1567 1003 413 48 0 1519 0
[pid=16365] vsize: 6268
Current children cumulated CPU time (s) 416.22
Current children cumulated vsize (Kb) 8396
[startup+450.035 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2396 0 0 0 2321 75 0 0 25 0 1 0 1788286489 12009472 2366 4294967295 134512640 134702520 3221223712 3221222992 134557529 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 2932 2366 413 48 0 2884 0
[pid=16365] vsize: 11728
Current children cumulated CPU time (s) 425.65
Current children cumulated vsize (Kb) 13856
[startup+460.036 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2515 0 0 0 3236 106 0 0 25 0 1 0 1788286489 12279808 2485 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16365/statm): 2998 2485 413 48 0 2950 0
[pid=16365] vsize: 11992
Current children cumulated CPU time (s) 435.11
Current children cumulated vsize (Kb) 14120
[startup+470.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2547 0 0 0 4153 134 0 0 25 0 1 0 1788286489 12414976 2517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3031 2517 413 48 0 2983 0
[pid=16365] vsize: 12124
Current children cumulated CPU time (s) 444.56
Current children cumulated vsize (Kb) 14252
[startup+480.038 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2585 0 0 0 5066 163 0 0 25 0 1 0 1788286489 12414976 2555 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3031 2555 413 48 0 2983 0
[pid=16365] vsize: 12124
Current children cumulated CPU time (s) 453.98
Current children cumulated vsize (Kb) 14252
[startup+490.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2612 0 0 0 5973 195 0 0 25 0 1 0 1788286489 12550144 2582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3064 2582 413 48 0 3016 0
[pid=16365] vsize: 12256
Current children cumulated CPU time (s) 463.37
Current children cumulated vsize (Kb) 14384
[startup+500.039 s]
Raw data (loadavg): 1.08 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2619 0 0 0 6871 227 0 0 25 0 1 0 1788286489 12550144 2589 4294967295 134512640 134702520 3221223712 3221222832 134572061 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3064 2589 413 48 0 3016 0
[pid=16365] vsize: 12256
Current children cumulated CPU time (s) 472.67
Current children cumulated vsize (Kb) 14384
[startup+510.04 s]
Raw data (loadavg): 1.06 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2635 0 0 0 7780 258 0 0 25 0 1 0 1788286489 12685312 2605 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3097 2605 413 48 0 3049 0
[pid=16365] vsize: 12388
Current children cumulated CPU time (s) 482.07
Current children cumulated vsize (Kb) 14516
[startup+520.04 s]
Raw data (loadavg): 1.05 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2635 0 0 0 8697 288 0 0 25 0 1 0 1788286489 12685312 2605 4294967295 134512640 134702520 3221223712 3221222608 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3097 2605 413 48 0 3049 0
[pid=16365] vsize: 12388
Current children cumulated CPU time (s) 491.54
Current children cumulated vsize (Kb) 14516
[startup+530.041 s]
Raw data (loadavg): 1.04 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2678 0 0 0 9600 324 0 0 25 0 1 0 1788286489 12820480 2648 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3130 2648 413 48 0 3082 0
[pid=16365] vsize: 12520
Current children cumulated CPU time (s) 500.93
Current children cumulated vsize (Kb) 14648
[startup+540.042 s]
Raw data (loadavg): 1.04 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2681 0 0 0 10503 356 0 0 25 0 1 0 1788286489 12820480 2651 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3130 2651 413 48 0 3082 0
[pid=16365] vsize: 12520
Current children cumulated CPU time (s) 510.28
Current children cumulated vsize (Kb) 14648
[startup+550.043 s]
Raw data (loadavg): 1.03 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2694 0 0 0 11393 394 0 0 23 0 1 0 1788286489 12955648 2664 4294967295 134512640 134702520 3221223712 3221222992 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3163 2664 413 48 0 3115 0
[pid=16365] vsize: 12652
Current children cumulated CPU time (s) 519.56
Current children cumulated vsize (Kb) 14780
[startup+560.044 s]
Raw data (loadavg): 1.03 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2701 0 0 0 12281 433 0 0 25 0 1 0 1788286489 12955648 2671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3163 2671 413 48 0 3115 0
[pid=16365] vsize: 12652
Current children cumulated CPU time (s) 528.83
Current children cumulated vsize (Kb) 14780
[startup+570.044 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2729 0 0 0 13185 463 0 0 19 0 1 0 1788286489 13094912 2699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3197 2699 413 48 0 3149 0
[pid=16365] vsize: 12788
Current children cumulated CPU time (s) 538.17
Current children cumulated vsize (Kb) 14916
[startup+580.045 s]
Raw data (loadavg): 1.02 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2790 0 0 0 14112 490 0 0 25 0 1 0 1788286489 13377536 2760 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3266 2760 413 48 0 3218 0
[pid=16365] vsize: 13064
Current children cumulated CPU time (s) 547.71
Current children cumulated vsize (Kb) 15192
[startup+590.046 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2793 0 0 0 15033 516 0 0 25 0 1 0 1788286489 13377536 2763 4294967295 134512640 134702520 3221223712 3221222576 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3266 2763 413 48 0 3218 0
[pid=16365] vsize: 13064
Current children cumulated CPU time (s) 557.18
Current children cumulated vsize (Kb) 15192
[startup+600.046 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2793 0 0 0 15929 552 0 0 25 0 1 0 1788286489 13348864 2763 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3259 2763 413 48 0 3211 0
[pid=16365] vsize: 13036
Current children cumulated CPU time (s) 566.5
Current children cumulated vsize (Kb) 15164
[startup+610.046 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2805 0 0 0 16820 592 0 0 25 0 1 0 1788286489 13348864 2775 4294967295 134512640 134702520 3221223712 3221222992 134552277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3259 2775 413 48 0 3211 0
[pid=16365] vsize: 13036
Current children cumulated CPU time (s) 575.81
Current children cumulated vsize (Kb) 15164
[startup+620.047 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2821 0 0 0 17723 623 0 0 25 0 1 0 1788286489 13348864 2791 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3259 2791 413 48 0 3211 0
[pid=16365] vsize: 13036
Current children cumulated CPU time (s) 585.15
Current children cumulated vsize (Kb) 15164
[startup+630.049 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2822 0 0 0 18628 656 0 0 25 0 1 0 1788286489 13479936 2792 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3291 2792 413 48 0 3243 0
[pid=16365] vsize: 13164
Current children cumulated CPU time (s) 594.53
Current children cumulated vsize (Kb) 15292
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2831 0 0 0 19529 688 0 0 25 0 1 0 1788286489 13479936 2801 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3291 2801 413 48 0 3243 0
[pid=16365] vsize: 13164
Current children cumulated CPU time (s) 603.86
Current children cumulated vsize (Kb) 15292
[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2859 0 0 0 20427 723 0 0 25 0 1 0 1788286489 13615104 2829 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3324 2829 413 48 0 3276 0
[pid=16365] vsize: 13296
Current children cumulated CPU time (s) 613.19
Current children cumulated vsize (Kb) 15424
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2879 0 0 0 21329 755 0 0 25 0 1 0 1788286489 13615104 2849 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3324 2849 413 48 0 3276 0
[pid=16365] vsize: 13296
Current children cumulated CPU time (s) 622.53
Current children cumulated vsize (Kb) 15424
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2906 0 0 0 22257 781 0 0 19 0 1 0 1788286489 13750272 2876 4294967295 134512640 134702520 3221223712 3221217868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3357 2876 413 48 0 3309 0
[pid=16365] vsize: 13428
Current children cumulated CPU time (s) 632.07
Current children cumulated vsize (Kb) 15556
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2911 0 0 0 23174 811 0 0 25 0 1 0 1788286489 13889536 2881 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3391 2881 413 48 0 3343 0
[pid=16365] vsize: 13564
Current children cumulated CPU time (s) 641.54
Current children cumulated vsize (Kb) 15692
[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2911 0 0 0 24077 844 0 0 25 0 1 0 1788286489 13828096 2881 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3376 2881 413 48 0 3328 0
[pid=16365] vsize: 13504
Current children cumulated CPU time (s) 650.9
Current children cumulated vsize (Kb) 15632
[startup+700.053 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2917 0 0 0 24967 882 0 0 19 0 1 0 1788286489 13828096 2887 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3376 2887 413 48 0 3328 0
[pid=16365] vsize: 13504
Current children cumulated CPU time (s) 660.18
Current children cumulated vsize (Kb) 15632
[startup+710.054 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2953 0 0 0 25872 916 0 0 25 0 1 0 1788286489 13828096 2923 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3376 2923 413 48 0 3328 0
[pid=16365] vsize: 13504
Current children cumulated CPU time (s) 669.57
Current children cumulated vsize (Kb) 15632
[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3041 0 0 0 26783 947 0 0 25 0 1 0 1788286489 14565376 3011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3556 3011 413 48 0 3508 0
[pid=16365] vsize: 14224
Current children cumulated CPU time (s) 678.99
Current children cumulated vsize (Kb) 16352
[startup+730.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3141 0 0 0 27697 977 0 0 25 0 1 0 1788286489 14700544 3111 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3589 3111 413 48 0 3541 0
[pid=16365] vsize: 14356
Current children cumulated CPU time (s) 688.43
Current children cumulated vsize (Kb) 16484
[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3165 0 0 0 28613 1006 0 0 25 0 1 0 1788286489 14700544 3135 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3589 3135 413 48 0 3541 0
[pid=16365] vsize: 14356
Current children cumulated CPU time (s) 697.88
Current children cumulated vsize (Kb) 16484
[startup+750.058 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3254 0 0 0 29542 1031 0 0 25 0 1 0 1788286489 15572992 3224 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3802 3224 413 48 0 3754 0
[pid=16365] vsize: 15208
Current children cumulated CPU time (s) 707.42
Current children cumulated vsize (Kb) 17336
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3339 0 0 0 30467 1060 0 0 25 0 1 0 1788286489 15572992 3309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3802 3309 413 48 0 3754 0
[pid=16365] vsize: 15208
Current children cumulated CPU time (s) 716.96
Current children cumulated vsize (Kb) 17336
[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3377 0 0 0 31397 1084 0 0 25 0 1 0 1788286489 15708160 3347 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3835 3347 413 48 0 3787 0
[pid=16365] vsize: 15340
Current children cumulated CPU time (s) 726.5
Current children cumulated vsize (Kb) 17468
[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3402 0 0 0 32315 1112 0 0 25 0 1 0 1788286489 15708160 3372 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3835 3372 413 48 0 3787 0
[pid=16365] vsize: 15340
Current children cumulated CPU time (s) 735.96
Current children cumulated vsize (Kb) 17468
[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3465 0 0 0 33254 1134 0 0 25 0 1 0 1788286489 15843328 3435 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3868 3435 413 48 0 3820 0
[pid=16365] vsize: 15472
Current children cumulated CPU time (s) 745.57
Current children cumulated vsize (Kb) 17600
[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3491 0 0 0 34183 1161 0 0 25 0 1 0 1788286489 15843328 3461 4294967295 134512640 134702520 3221223712 3221222832 134573381 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3868 3461 413 48 0 3820 0
[pid=16365] vsize: 15472
Current children cumulated CPU time (s) 755.13
Current children cumulated vsize (Kb) 17600
[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3504 0 0 0 35108 1188 0 0 25 0 1 0 1788286489 15978496 3474 4294967295 134512640 134702520 3221223712 3221222832 134584579 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3901 3474 413 48 0 3853 0
[pid=16365] vsize: 15604
Current children cumulated CPU time (s) 764.65
Current children cumulated vsize (Kb) 17732
[startup+820.061 s]
Raw data (loadavg): 1.08 1.02 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3559 0 0 0 36035 1214 0 0 25 0 1 0 1788286489 16715776 3529 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4081 3529 413 48 0 4033 0
[pid=16365] vsize: 16324
Current children cumulated CPU time (s) 774.18
Current children cumulated vsize (Kb) 18452
[startup+830.062 s]
Raw data (loadavg): 1.07 1.02 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3611 0 0 0 36967 1237 0 0 25 0 1 0 1788286489 16850944 3581 4294967295 134512640 134702520 3221223712 3221222736 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4114 3581 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 783.73
Current children cumulated vsize (Kb) 18584
[startup+840.062 s]
Raw data (loadavg): 1.06 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3614 0 0 0 37889 1264 0 0 25 0 1 0 1788286489 16850944 3584 4294967295 134512640 134702520 3221223712 3221222608 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4114 3584 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 793.22
Current children cumulated vsize (Kb) 18584
[startup+850.063 s]
Raw data (loadavg): 1.05 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3614 0 0 0 38792 1298 0 0 25 0 1 0 1788286489 16850944 3584 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4114 3584 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 802.59
Current children cumulated vsize (Kb) 18584
[startup+860.064 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3619 0 0 0 39709 1328 0 0 25 0 1 0 1788286489 16850944 3589 4294967295 134512640 134702520 3221223712 3221222992 134552666 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4114 3589 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 812.06
Current children cumulated vsize (Kb) 18584
[startup+870.065 s]
Raw data (loadavg): 1.03 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3626 0 0 0 40647 1349 0 0 25 0 1 0 1788286489 16850944 3596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4114 3596 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 821.65
Current children cumulated vsize (Kb) 18584
[startup+880.065 s]
Raw data (loadavg): 1.03 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3626 0 0 0 41545 1382 0 0 25 0 1 0 1788286489 16850944 3596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4114 3596 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 830.96
Current children cumulated vsize (Kb) 18584
[startup+890.066 s]
Raw data (loadavg): 1.02 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3645 0 0 0 42477 1409 0 0 25 0 1 0 1788286489 16986112 3615 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4147 3615 413 48 0 4099 0
[pid=16365] vsize: 16588
Current children cumulated CPU time (s) 840.55
Current children cumulated vsize (Kb) 18716
[startup+900.067 s]
Raw data (loadavg): 1.02 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3656 0 0 0 43423 1426 0 0 25 0 1 0 1788286489 16986112 3626 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4147 3626 413 48 0 4099 0
[pid=16365] vsize: 16588
Current children cumulated CPU time (s) 850.18
Current children cumulated vsize (Kb) 18716
[startup+910.068 s]
Raw data (loadavg): 1.02 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3660 0 0 0 44341 1455 0 0 25 0 1 0 1788286489 16986112 3630 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4147 3630 413 48 0 4099 0
[pid=16365] vsize: 16588
Current children cumulated CPU time (s) 859.65
Current children cumulated vsize (Kb) 18716
[startup+920.067 s]
Raw data (loadavg): 1.01 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3665 0 0 0 45265 1481 0 0 25 0 1 0 1788286489 17121280 3635 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4180 3635 413 48 0 4132 0
[pid=16365] vsize: 16720
Current children cumulated CPU time (s) 869.15
Current children cumulated vsize (Kb) 18848
[startup+930.069 s]
Raw data (loadavg): 1.01 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3671 0 0 0 46180 1509 0 0 25 0 1 0 1788286489 17121280 3641 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4180 3641 413 48 0 4132 0
[pid=16365] vsize: 16720
Current children cumulated CPU time (s) 878.58
Current children cumulated vsize (Kb) 18848
[startup+940.071 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3687 0 0 0 47101 1537 0 0 25 0 1 0 1788286489 17121280 3657 4294967295 134512640 134702520 3221223712 3221222832 134572986 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4180 3657 413 48 0 4132 0
[pid=16365] vsize: 16720
Current children cumulated CPU time (s) 888.07
Current children cumulated vsize (Kb) 18848
[startup+950.071 s]
Raw data (loadavg): 1.01 1.00 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3695 0 0 0 48033 1561 0 0 25 0 1 0 1788286489 17121280 3665 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4180 3665 413 48 0 4132 0
[pid=16365] vsize: 16720
Current children cumulated CPU time (s) 897.63
Current children cumulated vsize (Kb) 18848
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3706 0 0 0 48952 1586 0 0 25 0 1 0 1788286489 17256448 3676 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4213 3676 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 907.07
Current children cumulated vsize (Kb) 18980
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3714 0 0 0 49884 1612 0 0 25 0 1 0 1788286489 17256448 3684 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3684 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 916.65
Current children cumulated vsize (Kb) 18980
[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3721 0 0 0 50809 1638 0 0 25 0 1 0 1788286489 17256448 3691 4294967295 134512640 134702520 3221223712 3221222992 134550691 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4213 3691 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 926.16
Current children cumulated vsize (Kb) 18980
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3725 0 0 0 51733 1665 0 0 25 0 1 0 1788286489 17256448 3695 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3695 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 935.67
Current children cumulated vsize (Kb) 18980
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3729 0 0 0 52654 1692 0 0 25 0 1 0 1788286489 17256448 3699 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3699 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 945.15
Current children cumulated vsize (Kb) 18980
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3729 0 0 0 53559 1725 0 0 25 0 1 0 1788286489 17256448 3699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3699 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 954.53
Current children cumulated vsize (Kb) 18980
[startup+1020.08 s]
Raw data (loadavg): 1.08 1.02 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3729 0 0 0 54461 1759 0 0 25 0 1 0 1788286489 17256448 3699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3699 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 963.89
Current children cumulated vsize (Kb) 18980
[startup+1030.08 s]
Raw data (loadavg): 1.07 1.02 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3733 0 0 0 55381 1786 0 0 25 0 1 0 1788286489 17395712 3703 4294967295 134512640 134702520 3221223712 3221222736 134557504 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4247 3703 413 48 0 4199 0
[pid=16365] vsize: 16988
Current children cumulated CPU time (s) 973.36
Current children cumulated vsize (Kb) 19116
[startup+1040.08 s]
Raw data (loadavg): 1.06 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3734 0 0 0 56278 1822 0 0 25 0 1 0 1788286489 17362944 3704 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3704 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 982.69
Current children cumulated vsize (Kb) 19084
[startup+1050.08 s]
Raw data (loadavg): 1.05 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3735 0 0 0 57188 1853 0 0 25 0 1 0 1788286489 17362944 3705 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3705 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 992.1
Current children cumulated vsize (Kb) 19084
[startup+1060.08 s]
Raw data (loadavg): 1.12 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3735 0 0 0 58093 1887 0 0 25 0 1 0 1788286489 17362944 3705 4294967295 134512640 134702520 3221223712 3221223268 134592929 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3705 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1001.49
Current children cumulated vsize (Kb) 19084
[startup+1070.08 s]
Raw data (loadavg): 1.10 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3739 0 0 0 59004 1919 0 0 25 0 1 0 1788286489 17362944 3709 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3709 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1010.92
Current children cumulated vsize (Kb) 19084
[startup+1080.08 s]
Raw data (loadavg): 1.08 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3742 0 0 0 59899 1954 0 0 25 0 1 0 1788286489 17362944 3712 4294967295 134512640 134702520 3221223712 3221222992 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3712 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1020.22
Current children cumulated vsize (Kb) 19084
[startup+1090.08 s]
Raw data (loadavg): 1.07 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3747 0 0 0 60808 1986 0 0 25 0 1 0 1788286489 17362944 3717 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3717 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1029.63
Current children cumulated vsize (Kb) 19084
[startup+1100.08 s]
Raw data (loadavg): 1.06 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3747 0 0 0 61728 2015 0 0 25 0 1 0 1788286489 17362944 3717 4294967295 134512640 134702520 3221223712 3221222576 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3717 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1039.12
Current children cumulated vsize (Kb) 19084
[startup+1110.08 s]
Raw data (loadavg): 1.05 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3750 0 0 0 62631 2047 0 0 25 0 1 0 1788286489 17362944 3720 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3720 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1048.47
Current children cumulated vsize (Kb) 19084
[startup+1120.09 s]
Raw data (loadavg): 1.04 1.02 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3752 0 0 0 63530 2083 0 0 24 0 1 0 1788286489 17362944 3722 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3722 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1057.82
Current children cumulated vsize (Kb) 19084
[startup+1130.09 s]
Raw data (loadavg): 1.04 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3756 0 0 0 64460 2109 0 0 25 0 1 0 1788286489 17362944 3726 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3726 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1067.38
Current children cumulated vsize (Kb) 19084
[startup+1140.09 s]
Raw data (loadavg): 1.03 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3758 0 0 0 65377 2138 0 0 25 0 1 0 1788286489 17362944 3728 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3728 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1076.84
Current children cumulated vsize (Kb) 19084
[startup+1150.09 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3766 0 0 0 66309 2159 0 0 25 0 1 0 1788286489 17498112 3736 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4272 3736 413 48 0 4224 0
[pid=16365] vsize: 17088
Current children cumulated CPU time (s) 1086.37
Current children cumulated vsize (Kb) 19216
[startup+1160.1 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3777 0 0 0 67216 2193 0 0 25 0 1 0 1788286489 17498112 3747 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4272 3747 413 48 0 4224 0
[pid=16365] vsize: 17088
Current children cumulated CPU time (s) 1095.78
Current children cumulated vsize (Kb) 19216
[startup+1170.1 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3784 0 0 0 68118 2228 0 0 25 0 1 0 1788286489 17498112 3754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4272 3754 413 48 0 4224 0
[pid=16365] vsize: 17088
Current children cumulated CPU time (s) 1105.15
Current children cumulated vsize (Kb) 19216
[startup+1180.1 s]
Raw data (loadavg): 1.01 1.02 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3790 0 0 0 69028 2258 0 0 25 0 1 0 1788286489 17502208 3760 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4273 3760 413 48 0 4225 0
[pid=16365] vsize: 17092
Current children cumulated CPU time (s) 1114.55
Current children cumulated vsize (Kb) 19220
[startup+1190.1 s]
Raw data (loadavg): 1.09 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3790 0 0 0 69919 2295 0 0 25 0 1 0 1788286489 17502208 3760 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4273 3760 413 48 0 4225 0
[pid=16365] vsize: 17092
Current children cumulated CPU time (s) 1123.83
Current children cumulated vsize (Kb) 19220
[startup+1200.1 s]
Raw data (loadavg): 1.08 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3795 0 0 0 70823 2328 0 0 25 0 1 0 1788286489 17502208 3765 4294967295 134512640 134702520 3221223712 3221048128 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4273 3765 413 48 0 4225 0
[pid=16365] vsize: 17092
Current children cumulated CPU time (s) 1133.2
Current children cumulated vsize (Kb) 19220
[startup+1210.1 s]
Raw data (loadavg): 1.06 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3802 0 0 0 71727 2360 0 0 25 0 1 0 1788286489 17616896 3772 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4301 3772 413 48 0 4253 0
[pid=16365] vsize: 17204
Current children cumulated CPU time (s) 1142.56
Current children cumulated vsize (Kb) 19332
[startup+1220.1 s]
Raw data (loadavg): 1.05 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3805 0 0 0 72649 2384 0 0 25 0 1 0 1788286489 17616896 3775 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4301 3775 413 48 0 4253 0
[pid=16365] vsize: 17204
Current children cumulated CPU time (s) 1152.02
Current children cumulated vsize (Kb) 19332
[startup+1230.1 s]
Raw data (loadavg): 1.05 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3812 0 0 0 73537 2423 0 0 25 0 1 0 1788286489 17616896 3782 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4301 3782 413 48 0 4253 0
[pid=16365] vsize: 17204
Current children cumulated CPU time (s) 1161.29
Current children cumulated vsize (Kb) 19332
[startup+1240.1 s]
Raw data (loadavg): 1.04 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3822 0 0 0 74434 2458 0 0 25 0 1 0 1788286489 17616896 3792 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4301 3792 413 48 0 4253 0
[pid=16365] vsize: 17204
Current children cumulated CPU time (s) 1170.61
Current children cumulated vsize (Kb) 19332
[startup+1250.1 s]
Raw data (loadavg): 1.03 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3837 0 0 0 75354 2488 0 0 25 0 1 0 1788286489 17752064 3807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4334 3807 413 48 0 4286 0
[pid=16365] vsize: 17336
Current children cumulated CPU time (s) 1180.11
Current children cumulated vsize (Kb) 19464
[startup+1260.11 s]
Raw data (loadavg): 1.03 1.02 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3846 0 0 0 76253 2523 0 0 20 0 1 0 1788286489 17752064 3816 4294967295 134512640 134702520 3221223712 3221222932 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4334 3816 413 48 0 4286 0
[pid=16365] vsize: 17336
Current children cumulated CPU time (s) 1189.45
Current children cumulated vsize (Kb) 19464
[startup+1270.11 s]
Raw data (loadavg): 1.02 1.02 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3857 0 0 0 77158 2556 0 0 25 0 1 0 1788286489 17752064 3827 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4334 3827 413 48 0 4286 0
[pid=16365] vsize: 17336
Current children cumulated CPU time (s) 1198.83
Current children cumulated vsize (Kb) 19464
[startup+1280.11 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3863 0 0 0 78070 2589 0 0 25 0 1 0 1788286489 17887232 3833 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4367 3833 413 48 0 4319 0
[pid=16365] vsize: 17468
Current children cumulated CPU time (s) 1208.28
Current children cumulated vsize (Kb) 19596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.11 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3863 0 0 0 78070 2589 0 0 25 0 1 0 1788286489 17887232 3833 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4367 3833 413 48 0 4319 0
[pid=16365] vsize: 17468
Current children cumulated CPU time (s) 1208.28
Current children cumulated vsize (Kb) 19596
Sending SIGTERM to -16360
Sleeping 2 seconds
New process pid=16367
New process pid=16368
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/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/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/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/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/16323/stat
open syscall for file /proc/16323/status
open syscall for file /proc/16323/cmdline
open syscall for file /proc/16323/environ
open syscall for file /proc/16359/stat
open syscall for file /proc/16359/status
open syscall for file /proc/16359/cmdline
open syscall for file /proc/16359/environ
open syscall for file /proc/16360/stat
open syscall for file /proc/16360/status
open syscall for file /proc/16360/cmdline
open syscall for file /proc/16360/environ
open syscall for file /proc/16365/stat
open syscall for file /proc/16365/status
open syscall for file /proc/16365/cmdline
open syscall for file /proc/16365/environ
open syscall for file /proc/16367/stat
open syscall for file /proc/16367/status
open syscall for file /proc/16367/cmdline
open syscall for file /proc/16367/environ
open syscall for file /proc/16368/stat
open syscall for file /proc/16368/status
open syscall for file /proc/16368/cmdline
open syscall for file /proc/16368/environ
One traced child (pid=16367) exited with status: 0
One traced child (pid=16368) exited with status: 0
New process pid=16369
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=16365) exited with status: 3
One traced child (pid=16369) exited with status: 0
New process pid=16370
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=16370) exited with status: 0
One traced child (pid=16360) 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.61
CPU time (s): 1208.78
CPU user time (s): 1170.29
CPU system time (s): 38.4921
CPU usage (%): 94.3906
Max. virtual memory (cumulated for all children) (Kb): 19596