1:
seed: 0
Nr of vars set: 282 (#equs: 0)
Nr of vars set: 1586 (#equs: 3016)
#decisions: 182022; #end-nodes: 114952;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 253 (247)
#axs: 16502, #non-axs: 11292
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1586 (#equs: 3407)
Time taken: 6 min, 4 sec
2:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 1586 (#equs: 0)
Nr of vars set: 1586 (#equs: 1)
Interupt request received.
#decisions: 649187; #end-nodes: 485248;
#proof improvement attempts: 0; #restarts: 1519
Current batch, end-nodes: 281 / 503 (499)
#axs: 5449, #non-axs: 20180
tight: meta-meta: start: 4, end: 5; meta: start: 9, end (keep): 17
loose: meta-meta: start: 7, end: 10; meta: start: 21, end (keep): 34
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1919 (#equs: 2)
Time taken: 14 min, 2 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/6396/stat): 6396 (vallstSAT2005PB) R 6395 6396 30740 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784902527 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6396/statm): 174 3 169 147 0 27 0
[pid=6396] 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=6397
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=6397) exited with status: 0
New process pid=6398
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=6398) exited with status: 0
New process pid=6399
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/wulflinc9/normalized-par32-5.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0034 s]
Raw data (loadavg): 0.95 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 800 0 0 0 656 109 0 0 17 0 1 0 1784902534 4718592 770 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1152 770 413 48 0 1104 0
[pid=6399] vsize: 4608
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (Kb) 6736
[startup+20.0042 s]
Raw data (loadavg): 0.96 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 800 0 0 0 1286 227 0 0 19 0 1 0 1784902534 4718592 770 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1152 770 413 48 0 1104 0
[pid=6399] vsize: 4608
Current children cumulated CPU time (s) 15.15
Current children cumulated vsize (Kb) 6736
[startup+30.0059 s]
Raw data (loadavg): 0.97 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 839 0 0 0 2108 286 0 0 19 0 1 0 1784902534 7430144 809 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1814 809 413 48 0 1766 0
[pid=6399] vsize: 7256
Current children cumulated CPU time (s) 23.96
Current children cumulated vsize (Kb) 9384
[startup+40.0067 s]
Raw data (loadavg): 0.97 1.02 0.99 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 885 0 0 0 2971 332 0 0 25 0 1 0 1784902534 7548928 855 4294967295 134512640 134702520 3221223968 3221223248 134553451 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1843 855 413 48 0 1795 0
[pid=6399] vsize: 7372
Current children cumulated CPU time (s) 33.05
Current children cumulated vsize (Kb) 9500
[startup+50.0074 s]
Raw data (loadavg): 0.98 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 917 0 0 0 3728 421 0 0 17 0 1 0 1784902534 7548928 887 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1843 887 413 48 0 1795 0
[pid=6399] vsize: 7372
Current children cumulated CPU time (s) 41.51
Current children cumulated vsize (Kb) 9500
[startup+60.0081 s]
Raw data (loadavg): 0.98 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 919 0 0 0 4358 544 0 0 19 0 1 0 1784902534 7696384 889 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1879 889 413 48 0 1831 0
[pid=6399] vsize: 7516
Current children cumulated CPU time (s) 49.04
Current children cumulated vsize (Kb) 9644
[startup+70.0089 s]
Raw data (loadavg): 0.98 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 923 0 0 0 5189 602 0 0 20 0 1 0 1784902534 7639040 893 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1865 893 413 48 0 1817 0
[pid=6399] vsize: 7460
Current children cumulated CPU time (s) 57.93
Current children cumulated vsize (Kb) 9588
[startup+80.0096 s]
Raw data (loadavg): 0.98 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 936 0 0 0 6064 647 0 0 25 0 1 0 1784902534 7639040 906 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1865 906 413 48 0 1817 0
[pid=6399] vsize: 7460
Current children cumulated CPU time (s) 67.13
Current children cumulated vsize (Kb) 9588
[startup+90.0103 s]
Raw data (loadavg): 0.99 1.02 0.99 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 970 0 0 0 6951 684 0 0 25 0 1 0 1784902534 7831552 940 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 940 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 76.37
Current children cumulated vsize (Kb) 9776
[startup+100.011 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 975 0 0 0 7552 820 0 0 17 0 1 0 1784902534 7831552 945 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 945 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 83.74
Current children cumulated vsize (Kb) 9776
[startup+110.013 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 976 0 0 0 8298 907 0 0 22 0 1 0 1784902534 7831552 946 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1912 946 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 92.07
Current children cumulated vsize (Kb) 9776
[startup+120.012 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 980 0 0 0 9176 942 0 0 17 0 1 0 1784902534 7831552 950 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1912 950 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 101.2
Current children cumulated vsize (Kb) 9776
[startup+130.014 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 988 0 0 0 10065 978 0 0 17 0 1 0 1784902534 7831552 958 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1912 958 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 110.45
Current children cumulated vsize (Kb) 9776
[startup+140.015 s]
Raw data (loadavg): 0.99 1.01 0.99 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1009 0 0 0 10958 1013 0 0 25 0 1 0 1784902534 7831552 979 4294967295 134512640 134702520 3221223968 3221150464 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 979 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (Kb) 9776
[startup+150.016 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1011 0 0 0 11524 1156 0 0 17 0 1 0 1784902534 7831552 981 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1912 981 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 126.82
Current children cumulated vsize (Kb) 9776
[startup+160.016 s]
Raw data (loadavg): 0.99 1.01 0.99 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1012 0 0 0 12286 1239 0 0 23 0 1 0 1784902534 7831552 982 4294967295 134512640 134702520 3221223968 3221223248 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 982 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 135.27
Current children cumulated vsize (Kb) 9776
[startup+170.017 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1014 0 0 0 13201 1266 0 0 22 0 1 0 1784902534 7831552 984 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 984 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 144.69
Current children cumulated vsize (Kb) 9776
[startup+180.019 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1023 0 0 0 14093 1304 0 0 25 0 1 0 1784902534 7831552 993 4294967295 134512640 134702520 3221223968 3221223216 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 993 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 153.99
Current children cumulated vsize (Kb) 9776
[startup+190.02 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1030 0 0 0 14986 1342 0 0 25 0 1 0 1784902534 8015872 1000 4294967295 134512640 134702520 3221223968 3221223248 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1957 1000 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 163.3
Current children cumulated vsize (Kb) 9956
[startup+200.02 s]
Raw data (loadavg): 1.13 1.04 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1047 0 0 0 15720 1432 0 0 17 0 1 0 1784902534 8015872 1017 4294967295 134512640 134702520 3221223968 3221222836 134564366 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1957 1017 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 171.54
Current children cumulated vsize (Kb) 9956
[startup+210.021 s]
Raw data (loadavg): 1.11 1.04 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1048 0 0 0 16380 1541 0 0 21 0 1 0 1784902534 8015872 1018 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1957 1018 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 179.23
Current children cumulated vsize (Kb) 9956
[startup+220.022 s]
Raw data (loadavg): 1.09 1.03 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1048 0 0 0 17241 1585 0 0 17 0 1 0 1784902534 8015872 1018 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1957 1018 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 188.28
Current children cumulated vsize (Kb) 9956
[startup+230.023 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1051 0 0 0 18162 1611 0 0 25 0 1 0 1784902534 8015872 1021 4294967295 134512640 134702520 3221223968 3221223248 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1957 1021 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 197.75
Current children cumulated vsize (Kb) 9956
[startup+240.024 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1063 0 0 0 19051 1647 0 0 19 0 1 0 1784902534 8015872 1033 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1957 1033 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 207
Current children cumulated vsize (Kb) 9956
[startup+250.025 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1069 0 0 0 19975 1672 0 0 25 0 1 0 1784902534 8015872 1039 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1957 1039 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 216.49
Current children cumulated vsize (Kb) 9956
[startup+260.026 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1081 0 0 0 20682 1767 0 0 17 0 1 0 1784902534 8159232 1051 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1992 1051 413 48 0 1944 0
[pid=6399] vsize: 7968
Current children cumulated CPU time (s) 224.51
Current children cumulated vsize (Kb) 10096
[startup+270.026 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1082 0 0 0 21366 1870 0 0 19 0 1 0 1784902534 8159232 1052 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1992 1052 413 48 0 1944 0
[pid=6399] vsize: 7968
Current children cumulated CPU time (s) 232.38
Current children cumulated vsize (Kb) 10096
[startup+280.027 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1082 0 0 0 22235 1915 0 0 21 0 1 0 1784902534 8159232 1052 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1992 1052 413 48 0 1944 0
[pid=6399] vsize: 7968
Current children cumulated CPU time (s) 241.52
Current children cumulated vsize (Kb) 10096
[startup+290.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1105 0 0 0 23163 1943 0 0 25 0 1 0 1784902534 8159232 1075 4294967295 134512640 134702520 3221223968 3221223248 134556507 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1992 1075 413 48 0 1944 0
[pid=6399] vsize: 7968
Current children cumulated CPU time (s) 251.08
Current children cumulated vsize (Kb) 10096
[startup+300.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1176 0 0 0 24091 1967 0 0 25 0 1 0 1784902534 8556544 1146 4294967295 134512640 134702520 3221223968 3221223248 134557289 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2089 1146 413 48 0 2041 0
[pid=6399] vsize: 8356
Current children cumulated CPU time (s) 260.6
Current children cumulated vsize (Kb) 10484
[startup+310.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1245 0 0 0 25024 1991 0 0 25 0 1 0 1784902534 8740864 1215 4294967295 134512640 134702520 3221223968 3221051088 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2134 1215 413 48 0 2086 0
[pid=6399] vsize: 8536
Current children cumulated CPU time (s) 270.17
Current children cumulated vsize (Kb) 10664
[startup+320.029 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1313 0 0 0 25950 2014 0 0 17 0 1 0 1784902534 8982528 1283 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2193 1283 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 279.66
Current children cumulated vsize (Kb) 10900
[startup+330.03 s]
Raw data (loadavg): 1.15 1.05 1.01 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1313 0 0 0 26517 2158 0 0 17 0 1 0 1784902534 8982528 1283 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 2193 1283 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 286.77
Current children cumulated vsize (Kb) 10900
[startup+340.031 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1314 0 0 0 27287 2230 0 0 25 0 1 0 1784902534 8982528 1284 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2193 1284 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 295.19
Current children cumulated vsize (Kb) 10900
[startup+350.031 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1314 0 0 0 28219 2253 0 0 25 0 1 0 1784902534 8982528 1284 4294967295 134512640 134702520 3221223968 3221223088 134572157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 2193 1284 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 304.74
Current children cumulated vsize (Kb) 10900
[startup+360.032 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1316 0 0 0 29153 2277 0 0 25 0 1 0 1784902534 8982528 1286 4294967295 134512640 134702520 3221223968 3221223248 134553055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2193 1286 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 314.32
Current children cumulated vsize (Kb) 10900
[startup+370.033 s]
Raw data (loadavg): 1.07 1.04 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1318 0 0 0 30085 2301 0 0 18 0 1 0 1784902534 8982528 1288 4294967295 134512640 134702520 3221223968 3221223248 134553080 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 2193 1288 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 323.88
Current children cumulated vsize (Kb) 10900
[startup+380.035 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1340 0 0 0 31020 2324 0 0 25 0 1 0 1784902534 9175040 1310 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2240 1310 413 48 0 2192 0
[pid=6399] vsize: 8960
Current children cumulated CPU time (s) 333.46
Current children cumulated vsize (Kb) 11088
[startup+390.035 s]
Raw data (loadavg): 1.13 1.06 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1394 0 0 0 31957 2347 0 0 25 0 1 0 1784902534 9289728 1364 4294967295 134512640 134702520 3221223968 3221223224 134564337 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2268 1364 413 48 0 2220 0
[pid=6399] vsize: 9072
Current children cumulated CPU time (s) 343.06
Current children cumulated vsize (Kb) 11200
[startup+400.036 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1436 0 0 0 32796 2403 0 0 17 0 1 0 1784902534 9469952 1406 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2312 1406 413 48 0 2264 0
[pid=6399] vsize: 9248
Current children cumulated CPU time (s) 352.01
Current children cumulated vsize (Kb) 11376
[startup+410.037 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1436 0 0 0 33403 2527 0 0 19 0 1 0 1784902534 9469952 1406 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 2312 1406 413 48 0 2264 0
[pid=6399] vsize: 9248
Current children cumulated CPU time (s) 359.32
Current children cumulated vsize (Kb) 11376
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=6399) exited with status: 2
New process pid=6400
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=6400) exited with status: 0
New process pid=6401
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+420.037 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 755 0 0 0 266 34 0 0 17 0 1 0 1784944159 5091328 726 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 1243 726 413 48 0 1195 0
[pid=6401] vsize: 4972
Current children cumulated CPU time (s) 367.82
Current children cumulated vsize (Kb) 7100
[startup+430.038 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 756 0 0 0 788 189 0 0 17 0 1 0 1784944159 5091328 727 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 1243 727 413 48 0 1195 0
[pid=6401] vsize: 4972
Current children cumulated CPU time (s) 374.59
Current children cumulated vsize (Kb) 7100
[startup+440.039 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 859 0 0 0 1509 282 0 0 25 0 1 0 1784944159 9666560 830 4294967295 134512640 134702520 3221223712 3221069568 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2360 830 413 48 0 2312 0
[pid=6401] vsize: 9440
Current children cumulated CPU time (s) 382.73
Current children cumulated vsize (Kb) 11568
[startup+450.039 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 897 0 0 0 2382 326 0 0 25 0 1 0 1784944159 9666560 868 4294967295 134512640 134702520 3221223712 3221140928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2360 868 413 48 0 2312 0
[pid=6401] vsize: 9440
Current children cumulated CPU time (s) 391.9
Current children cumulated vsize (Kb) 11568
[startup+460.041 s]
Raw data (loadavg): 1.09 1.06 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 935 0 0 0 3261 368 0 0 25 0 1 0 1784944159 9760768 906 4294967295 134512640 134702520 3221223712 3221146508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2383 906 413 48 0 2335 0
[pid=6401] vsize: 9532
Current children cumulated CPU time (s) 401.11
Current children cumulated vsize (Kb) 11660
[startup+470.041 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 938 0 0 0 3713 546 0 0 17 0 1 0 1784944159 9760768 909 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2383 909 413 48 0 2335 0
[pid=6401] vsize: 9532
Current children cumulated CPU time (s) 407.41
Current children cumulated vsize (Kb) 11660
[startup+480.042 s]
Raw data (loadavg): 1.06 1.05 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 940 0 0 0 4383 652 0 0 25 0 1 0 1784944159 9822208 911 4294967295 134512640 134702520 3221223712 3221223104 134620866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 911 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 415.17
Current children cumulated vsize (Kb) 11720
[startup+490.044 s]
Raw data (loadavg): 1.05 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 941 0 0 0 5241 702 0 0 25 0 1 0 1784944159 9822208 912 4294967295 134512640 134702520 3221223712 3221205228 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 912 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 424.25
Current children cumulated vsize (Kb) 11720
[startup+500.045 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 942 0 0 0 6098 748 0 0 25 0 1 0 1784944159 9822208 913 4294967295 134512640 134702520 3221223712 3221208268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 913 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 433.28
Current children cumulated vsize (Kb) 11720
[startup+510.045 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 943 0 0 0 6507 939 0 0 16 0 1 0 1784944159 9822208 914 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 914 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 439.28
Current children cumulated vsize (Kb) 11720
[startup+520.046 s]
Raw data (loadavg): 1.03 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 944 0 0 0 7215 1033 0 0 17 0 1 0 1784944159 9822208 915 4294967295 134512640 134702520 3221223712 3221165868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 915 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 447.3
Current children cumulated vsize (Kb) 11720
[startup+530.048 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 951 0 0 0 8068 1084 0 0 19 0 1 0 1784944159 9822208 922 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 922 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 456.34
Current children cumulated vsize (Kb) 11720
[startup+540.049 s]
Raw data (loadavg): 1.16 1.07 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 957 0 0 0 8928 1129 0 0 18 0 1 0 1784944159 9822208 928 4294967295 134512640 134702520 3221223712 3221132288 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 928 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 465.39
Current children cumulated vsize (Kb) 11720
[startup+550.049 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 960 0 0 0 9313 1318 0 0 16 0 1 0 1784944159 9822208 931 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 931 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 471.13
Current children cumulated vsize (Kb) 11720
[startup+560.051 s]
Raw data (loadavg): 1.12 1.07 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 961 0 0 0 10045 1402 0 0 18 0 1 0 1784944159 9822208 932 4294967295 134512640 134702520 3221223712 3221182048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 932 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 479.29
Current children cumulated vsize (Kb) 11720
[startup+570.051 s]
Raw data (loadavg): 1.10 1.07 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 963 0 0 0 10894 1451 0 0 18 0 1 0 1784944159 9822208 934 4294967295 134512640 134702520 3221223712 3221222348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 934 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 488.27
Current children cumulated vsize (Kb) 11720
[startup+580.053 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 969 0 0 0 11745 1499 0 0 18 0 1 0 1784944159 9822208 940 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 940 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 497.26
Current children cumulated vsize (Kb) 11720
[startup+590.053 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 969 0 0 0 12251 1652 0 0 16 0 1 0 1784944159 9822208 940 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 940 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 503.85
Current children cumulated vsize (Kb) 11720
[startup+600.054 s]
Raw data (loadavg): 1.06 1.06 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 970 0 0 0 12881 1773 0 0 17 0 1 0 1784944159 9822208 941 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 941 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 511.36
Current children cumulated vsize (Kb) 11720
[startup+610.056 s]
Raw data (loadavg): 1.05 1.06 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 972 0 0 0 13727 1823 0 0 16 0 1 0 1784944159 9822208 943 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 943 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 520.32
Current children cumulated vsize (Kb) 11720
[startup+620.057 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 977 0 0 0 14632 1853 0 0 18 0 1 0 1784944159 9822208 948 4294967295 134512640 134702520 3221223712 3221111308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 948 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 529.67
Current children cumulated vsize (Kb) 11720
[startup+630.058 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 979 0 0 0 15425 1920 0 0 16 0 1 0 1784944159 9822208 950 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 950 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 538.27
Current children cumulated vsize (Kb) 11720
[startup+640.059 s]
Raw data (loadavg): 1.03 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 980 0 0 0 15816 2121 0 0 16 0 1 0 1784944159 9822208 951 4294967295 134512640 134702520 3221223712 3221222956 134548992 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 951 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 544.19
Current children cumulated vsize (Kb) 11720
[startup+650.06 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 980 0 0 0 16659 2170 0 0 16 0 1 0 1784944159 9822208 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 951 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 553.11
Current children cumulated vsize (Kb) 11720
[startup+660.061 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 980 0 0 0 17552 2205 0 0 18 0 1 0 1784944159 9822208 951 4294967295 134512640 134702520 3221223712 3221094208 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 951 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 562.39
Current children cumulated vsize (Kb) 11720
[startup+670.062 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 985 0 0 0 18412 2251 0 0 17 0 1 0 1784944159 9822208 956 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 956 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 571.45
Current children cumulated vsize (Kb) 11720
[startup+680.064 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 986 0 0 0 19056 2368 0 0 16 0 1 0 1784944159 9822208 957 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 957 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 579.06
Current children cumulated vsize (Kb) 11720
[startup+690.065 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 988 0 0 0 19583 2517 0 0 17 0 1 0 1784944159 9883648 959 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2413 959 413 48 0 2365 0
[pid=6401] vsize: 9652
Current children cumulated CPU time (s) 585.82
Current children cumulated vsize (Kb) 11780
[startup+700.066 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 991 0 0 0 20425 2569 0 0 17 0 1 0 1784944159 9883648 962 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2413 962 413 48 0 2365 0
[pid=6401] vsize: 9652
Current children cumulated CPU time (s) 594.76
Current children cumulated vsize (Kb) 11780
[startup+710.066 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1117 0 0 0 21338 2597 0 0 18 0 1 0 1784944159 10399744 1088 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2539 1088 413 48 0 2491 0
[pid=6401] vsize: 10156
Current children cumulated CPU time (s) 604.17
Current children cumulated vsize (Kb) 12284
[startup+720.067 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1198 0 0 0 22266 2623 0 0 18 0 1 0 1784944159 10399744 1169 4294967295 134512640 134702520 3221223712 3221169708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2539 1169 413 48 0 2491 0
[pid=6401] vsize: 10156
Current children cumulated CPU time (s) 613.71
Current children cumulated vsize (Kb) 12284
[startup+730.069 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1273 0 0 0 23191 2649 0 0 25 0 1 0 1784944159 11051008 1244 4294967295 134512640 134702520 3221223712 3221093408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1244 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 623.22
Current children cumulated vsize (Kb) 12920
[startup+740.07 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1276 0 0 0 23630 2837 0 0 16 0 1 0 1784944159 11051008 1247 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1247 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 629.49
Current children cumulated vsize (Kb) 12920
[startup+750.069 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1277 0 0 0 24320 2940 0 0 16 0 1 0 1784944159 11051008 1248 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2698 1248 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 637.42
Current children cumulated vsize (Kb) 12920
[startup+760.07 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1283 0 0 0 25231 2968 0 0 17 0 1 0 1784944159 11051008 1254 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1254 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 646.81
Current children cumulated vsize (Kb) 12920
[startup+770.071 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1289 0 0 0 26146 2996 0 0 17 0 1 0 1784944159 11051008 1260 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1260 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 656.24
Current children cumulated vsize (Kb) 12920
[startup+780.072 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1299 0 0 0 27073 3020 0 0 18 0 1 0 1784944159 11051008 1270 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1270 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 665.75
Current children cumulated vsize (Kb) 12920
[startup+790.072 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1357 0 0 0 28007 3044 0 0 18 0 1 0 1784944159 11186176 1328 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2731 1328 413 48 0 2683 0
[pid=6401] vsize: 10924
Current children cumulated CPU time (s) 675.33
Current children cumulated vsize (Kb) 13052
[startup+800.072 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1428 0 0 0 28878 3087 0 0 16 0 1 0 1784944159 11325440 1392 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2765 1392 413 48 0 2717 0
[pid=6401] vsize: 11060
Current children cumulated CPU time (s) 684.47
Current children cumulated vsize (Kb) 13188
[startup+810.073 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1429 0 0 0 29323 3274 0 0 16 0 1 0 1784944159 11325440 1393 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2765 1393 413 48 0 2717 0
[pid=6401] vsize: 11060
Current children cumulated CPU time (s) 690.79
Current children cumulated vsize (Kb) 13188
[startup+820.074 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1430 0 0 0 30137 3333 0 0 16 0 1 0 1784944159 11288576 1394 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2756 1394 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 699.52
Current children cumulated vsize (Kb) 13152
[startup+830.074 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1430 0 0 0 31033 3369 0 0 16 0 1 0 1784944159 11288576 1394 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1394 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 708.84
Current children cumulated vsize (Kb) 13152
[startup+840.076 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1431 0 0 0 31969 3392 0 0 16 0 1 0 1784944159 11288576 1395 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1395 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 718.43
Current children cumulated vsize (Kb) 13152
[startup+850.077 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1437 0 0 0 32920 3410 0 0 25 0 1 0 1784944159 11288576 1401 4294967295 134512640 134702520 3221223712 3221181728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1401 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 728.12
Current children cumulated vsize (Kb) 13152
[startup+860.078 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1443 0 0 0 33856 3432 0 0 25 0 1 0 1784944159 11288576 1407 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1407 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 737.7
Current children cumulated vsize (Kb) 13152
[startup+870.078 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1458 0 0 0 34791 3456 0 0 23 0 1 0 1784944159 11288576 1422 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1422 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 747.29
Current children cumulated vsize (Kb) 13152
[startup+880.079 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1479 0 0 0 35615 3512 0 0 16 0 1 0 1784944159 11943936 1443 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2916 1443 413 48 0 2868 0
[pid=6401] vsize: 11664
Current children cumulated CPU time (s) 756.09
Current children cumulated vsize (Kb) 13792
[startup+890.08 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1480 0 0 0 36058 3699 0 0 16 0 1 0 1784944159 11943936 1444 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2916 1444 413 48 0 2868 0
[pid=6401] vsize: 11664
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (Kb) 13792
[startup+900.081 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1481 0 0 0 36939 3737 0 0 25 0 1 0 1784944159 11923456 1445 4294967295 134512640 134702520 3221223712 3221047008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1445 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 771.58
Current children cumulated vsize (Kb) 13772
[startup+910.082 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1481 0 0 0 37856 3768 0 0 25 0 1 0 1784944159 11923456 1445 4294967295 134512640 134702520 3221223712 3221200448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1445 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 781.06
Current children cumulated vsize (Kb) 13772
[startup+920.083 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1482 0 0 0 38780 3792 0 0 25 0 1 0 1784944159 11923456 1446 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1446 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 790.54
Current children cumulated vsize (Kb) 13772
[startup+930.085 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1486 0 0 0 39712 3814 0 0 18 0 1 0 1784944159 11923456 1450 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2911 1450 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 800.08
Current children cumulated vsize (Kb) 13772
[startup+940.086 s]
Raw data (loadavg): 1.12 1.05 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1489 0 0 0 40642 3838 0 0 20 0 1 0 1784944159 11923456 1453 4294967295 134512640 134702520 3221223712 3221222992 134552449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1453 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 809.62
Current children cumulated vsize (Kb) 13772
[startup+950.086 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1493 0 0 0 41583 3857 0 0 16 0 1 0 1784944159 11923456 1457 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1457 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 819.22
Current children cumulated vsize (Kb) 13772
[startup+960.087 s]
Raw data (loadavg): 1.09 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1495 0 0 0 42546 3871 0 0 25 0 1 0 1784944159 11923456 1459 4294967295 134512640 134702520 3221223712 3221222800 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1459 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 828.99
Current children cumulated vsize (Kb) 13772
[startup+970.089 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1501 0 0 0 43207 3980 0 0 16 0 1 0 1784944159 11923456 1465 4294967295 134512640 134702520 3221223712 3221222608 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1465 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 836.69
Current children cumulated vsize (Kb) 13772
[startup+980.09 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1503 0 0 0 43729 4137 0 0 17 0 1 0 1784944159 11988992 1467 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1467 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 843.48
Current children cumulated vsize (Kb) 13836
[startup+990.091 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1503 0 0 0 44645 4165 0 0 18 0 1 0 1784944159 11988992 1467 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1467 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 852.92
Current children cumulated vsize (Kb) 13836
[startup+1000.09 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1503 0 0 0 45566 4192 0 0 17 0 1 0 1784944159 11988992 1467 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2927 1467 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 862.4
Current children cumulated vsize (Kb) 13836
[startup+1010.09 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1503 0 0 0 46499 4213 0 0 15 0 1 0 1784944159 11988992 1467 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1467 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 871.94
Current children cumulated vsize (Kb) 13836
[startup+1020.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1504 0 0 0 47452 4230 0 0 25 0 1 0 1784944159 11988992 1468 4294967295 134512640 134702520 3221223712 3221222992 134557206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1468 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 881.64
Current children cumulated vsize (Kb) 13836
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1506 0 0 0 48389 4252 0 0 22 0 1 0 1784944159 11988992 1470 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2927 1470 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 891.23
Current children cumulated vsize (Kb) 13836
[startup+1040.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1509 0 0 0 49320 4274 0 0 18 0 1 0 1784944159 11988992 1473 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1473 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 900.76
Current children cumulated vsize (Kb) 13836
[startup+1050.1 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1512 0 0 0 50285 4288 0 0 25 0 1 0 1784944159 11988992 1476 4294967295 134512640 134702520 3221223712 3221222972 134564336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1476 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 910.55
Current children cumulated vsize (Kb) 13836
[startup+1060.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1513 0 0 0 50856 4431 0 0 16 0 1 0 1784944159 11472896 1464 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1464 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 917.69
Current children cumulated vsize (Kb) 13332
[startup+1070.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1515 0 0 0 51470 4559 0 0 19 0 1 0 1784944159 11472896 1466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1466 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 925.11
Current children cumulated vsize (Kb) 13332
[startup+1080.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1516 0 0 0 52386 4586 0 0 18 0 1 0 1784944159 11472896 1467 4294967295 134512640 134702520 3221223712 3221222992 134557423 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1467 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 934.54
Current children cumulated vsize (Kb) 13332
[startup+1090.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1516 0 0 0 53308 4610 0 0 18 0 1 0 1784944159 11472896 1467 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1467 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 944
Current children cumulated vsize (Kb) 13332
[startup+1100.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1516 0 0 0 54227 4636 0 0 18 0 1 0 1784944159 11472896 1467 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1467 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 953.45
Current children cumulated vsize (Kb) 13332
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1518 0 0 0 55151 4662 0 0 17 0 1 0 1784944159 11472896 1469 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1469 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 962.95
Current children cumulated vsize (Kb) 13332
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1518 0 0 0 56112 4676 0 0 25 0 1 0 1784944159 11472896 1469 4294967295 134512640 134702520 3221223712 3221135648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1469 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 972.7
Current children cumulated vsize (Kb) 13332
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1520 0 0 0 57033 4704 0 0 25 0 1 0 1784944159 11472896 1471 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1471 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 982.19
Current children cumulated vsize (Kb) 13332
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1521 0 0 0 57591 4850 0 0 16 0 1 0 1784944159 11472896 1472 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1472 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 989.23
Current children cumulated vsize (Kb) 13332
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 58211 4974 0 0 18 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 996.67
Current children cumulated vsize (Kb) 13332
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 59106 5010 0 0 19 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221190028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1005.98
Current children cumulated vsize (Kb) 13332
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 60006 5043 0 0 19 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221177408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1015.31
Current children cumulated vsize (Kb) 13332
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 60903 5077 0 0 20 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221165408 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1024.62
Current children cumulated vsize (Kb) 13332
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 61804 5107 0 0 18 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221110188 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1033.93
Current children cumulated vsize (Kb) 13332
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1523 0 0 0 62711 5137 0 0 20 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1043.3
Current children cumulated vsize (Kb) 13332
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1523 0 0 0 63176 5306 0 0 16 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1049.64
Current children cumulated vsize (Kb) 13332
[startup+1220.11 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1526 0 0 0 63848 5413 0 0 16 0 1 0 1784944159 11472896 1477 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1477 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1057.43
Current children cumulated vsize (Kb) 13332
[startup+1230.12 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1527 0 0 0 64716 5459 0 0 17 0 1 0 1784944159 11472896 1478 4294967295 134512640 134702520 3221223712 3221222832 134578964 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1478 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1066.57
Current children cumulated vsize (Kb) 13332
[startup+1240.12 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1527 0 0 0 65600 5501 0 0 17 0 1 0 1784944159 11472896 1478 4294967295 134512640 134702520 3221223712 3221222992 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1478 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1075.83
Current children cumulated vsize (Kb) 13332
[startup+1250.12 s]
Raw data (loadavg): 1.12 1.04 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1527 0 0 0 66492 5539 0 0 18 0 1 0 1784944159 11472896 1478 4294967295 134512640 134702520 3221223712 3221222992 134552844 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1478 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1085.13
Current children cumulated vsize (Kb) 13332
[startup+1260.12 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1536 0 0 0 67393 5573 0 0 19 0 1 0 1784944159 11472896 1487 4294967295 134512640 134702520 3221223712 3221222832 134572622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1487 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1094.48
Current children cumulated vsize (Kb) 13332
[startup+1270.12 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1536 0 0 0 67990 5702 0 0 16 0 1 0 1784944159 11472896 1487 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1487 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1101.74
Current children cumulated vsize (Kb) 13332
[startup+1280.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 68560 5845 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1108.87
Current children cumulated vsize (Kb) 13332
[startup+1290.12 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 69444 5886 0 0 18 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221189548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1118.12
Current children cumulated vsize (Kb) 13332
[startup+1300.12 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 70299 5933 0 0 16 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1127.14
Current children cumulated vsize (Kb) 13332
[startup+1310.12 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 71178 5971 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1136.31
Current children cumulated vsize (Kb) 13332
[startup+1320.12 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 72076 6005 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222992 134552426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1145.63
Current children cumulated vsize (Kb) 13332
[startup+1330.13 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 72998 6032 0 0 16 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1155.12
Current children cumulated vsize (Kb) 13332
[startup+1340.13 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 73315 6255 0 0 15 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1160.52
Current children cumulated vsize (Kb) 13332
[startup+1350.13 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 74137 6314 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222992 134553029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1169.33
Current children cumulated vsize (Kb) 13332
[startup+1360.13 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 75022 6353 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222992 134557289 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1178.57
Current children cumulated vsize (Kb) 13332
[startup+1370.13 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 75926 6388 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222992 134552693 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1187.96
Current children cumulated vsize (Kb) 13332
[startup+1380.13 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1538 0 0 0 76834 6420 0 0 18 0 1 0 1784944159 11472896 1489 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1489 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1197.36
Current children cumulated vsize (Kb) 13332
[startup+1390.13 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1539 0 0 0 77790 6436 0 0 25 0 1 0 1784944159 11472896 1490 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1490 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1207.08
Current children cumulated vsize (Kb) 13332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1390.13 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1539 0 0 0 77790 6436 0 0 25 0 1 0 1784944159 11472896 1490 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1490 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1207.08
Current children cumulated vsize (Kb) 13332
Sending SIGTERM to -6396
Sleeping 2 seconds
New process pid=6403
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6404
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/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/1666/stat
open syscall for file /proc/1666/status
open syscall for file /proc/1666/cmdline
open syscall for file /proc/1666/environ
open syscall for file /proc/1667/stat
open syscall for file /proc/1667/status
open syscall for file /proc/1667/cmdline
open syscall for file /proc/1667/environ
open syscall for file /proc/19602/stat
open syscall for file /proc/19602/status
open syscall for file /proc/19602/cmdline
open syscall for file /proc/19602/environ
open syscall for file /proc/32385/stat
open syscall for file /proc/32385/status
open syscall for file /proc/32385/cmdline
open syscall for file /proc/32385/environ
open syscall for file /proc/32412/stat
open syscall for file /proc/32412/status
open syscall for file /proc/32412/cmdline
open syscall for file /proc/32412/environ
open syscall for file /proc/32436/stat
open syscall for file /proc/32436/status
open syscall for file /proc/32436/cmdline
open syscall for file /proc/32436/environ
open syscall for file /proc/15057/stat
open syscall for file /proc/15057/status
open syscall for file /proc/15057/cmdline
open syscall for file /proc/15057/environ
open syscall for file /proc/11130/stat
open syscall for file /proc/11130/status
open syscall for file /proc/11130/cmdline
open syscall for file /proc/11130/environ
open syscall for file /proc/12800/stat
open syscall for file /proc/12800/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/12800/cmdline
open syscall for file /proc/12800/environ
open syscall for file /proc/12836/stat
open syscall for file /proc/12836/status
open syscall for file /proc/12836/cmdline
open syscall for file /proc/12836/environ
open syscall for file /proc/30740/stat
open syscall for file /proc/30740/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/30740/cmdline
open syscall for file /proc/30740/environ
open syscall for file /proc/30741/stat
open syscall for file /proc/30741/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/30741/cmdline
open syscall for file /proc/30741/environ
open syscall for file /proc/30750/stat
open syscall for file /proc/30750/status
open syscall for file /proc/30750/cmdline
open syscall for file /proc/30750/environ
open syscall for file /proc/6359/stat
open syscall for file /proc/6359/status
open syscall for file /proc/6359/cmdline
open syscall for file /proc/6359/environ
open syscall for file /proc/6395/stat
open syscall for file /proc/6395/status
open syscall for file /proc/6395/cmdline
open syscall for file /proc/6395/environ
open syscall for file /proc/6396/stat
open syscall for file /proc/6396/status
open syscall for file /proc/6396/cmdline
open syscall for file /proc/6396/environ
open syscall for file /proc/6401/stat
open syscall for file /proc/6401/status
open syscall for file /proc/6401/cmdline
open syscall for file /proc/6401/environ
open syscall for file /proc/6403/stat
open syscall for file /proc/6403/status
open syscall for file /proc/6403/cmdline
open syscall for file /proc/6403/environ
open syscall for file /proc/6404/stat
open syscall for file /proc/6404/status
open syscall for file /proc/6404/cmdline
open syscall for file /proc/6404/environ
One traced child (pid=6403) exited with status: 0
One traced child (pid=6404) exited with status: 0
New process pid=6405
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=6405) exited with status: 0
New process pid=6406
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=6406) exited with status: 0
One traced child (pid=6396) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6401) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1390.68
CPU time (s): 842.785
CPU user time (s): 778.36
CPU system time (s): 64.4252
CPU usage (%): 60.6024
Max. virtual memory (cumulated for all children) (Kb): 13836