1:
seed: 0
Nr of vars set: 282 (#equs: 0)
Nr of vars set: 1572 (#equs: 3131)
#decisions: 153573; #end-nodes: 92775;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 225 (223)
#axs: 16497, #non-axs: 10515
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: 1572 (#equs: 3471)
Time taken: 5 min, 5 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: 1572 (#equs: 0)
Nr of vars set: 1572 (#equs: 0)
Interupt request received.
#decisions: 713526; #end-nodes: 531084;
#proof improvement attempts: 0; #restarts: 1601
Current batch, end-nodes: 140 / 535 (520)
#axs: 5308, #non-axs: 20643
tight: meta-meta: start: 4, end: 5; meta: start: 8, end (keep): 14
loose: meta-meta: start: 6, end: 8; meta: start: 19, end (keep): 31
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2078 (#equs: 1)
Time taken: 15 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/8735/stat): 8735 (vallstSAT2005PB) R 8734 8735 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784876332 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 174 3 169 147 0 27 0
[pid=8735] 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=8736
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=8736) exited with status: 0
New process pid=8737
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=8737) exited with status: 0
New process pid=8738
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc5/normalized-par32-2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0039 s]
Raw data (loadavg): 0.92 0.98 0.99 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 799 0 0 0 627 119 0 0 17 0 1 0 1784876342 4714496 769 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1151 769 413 48 0 1103 0
[pid=8738] vsize: 4604
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (Kb) 6732
[startup+20.0046 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 799 0 0 0 1293 233 0 0 21 0 1 0 1784876342 4714496 769 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1151 769 413 48 0 1103 0
[pid=8738] vsize: 4604
Current children cumulated CPU time (s) 15.28
Current children cumulated vsize (Kb) 6732
[startup+30.0054 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 839 0 0 0 2131 288 0 0 22 0 1 0 1784876342 7536640 809 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1840 809 413 48 0 1792 0
[pid=8738] vsize: 7360
Current children cumulated CPU time (s) 24.21
Current children cumulated vsize (Kb) 9488
[startup+40.0071 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 878 0 0 0 3030 325 0 0 25 0 1 0 1784876342 7536640 848 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1840 848 413 48 0 1792 0
[pid=8738] vsize: 7360
Current children cumulated CPU time (s) 33.57
Current children cumulated vsize (Kb) 9488
[startup+50.0079 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 908 0 0 0 3858 384 0 0 18 0 1 0 1784876342 7536640 878 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1840 878 413 48 0 1792 0
[pid=8738] vsize: 7360
Current children cumulated CPU time (s) 42.44
Current children cumulated vsize (Kb) 9488
[startup+60.0076 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 909 0 0 0 4452 522 0 0 22 0 1 0 1784876342 7680000 879 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1875 879 413 48 0 1827 0
[pid=8738] vsize: 7500
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 9628
[startup+70.0093 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 912 0 0 0 5297 573 0 0 25 0 1 0 1784876342 7622656 882 4294967295 134512640 134702520 3221223968 3221167084 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1861 882 413 48 0 1813 0
[pid=8738] vsize: 7444
Current children cumulated CPU time (s) 58.72
Current children cumulated vsize (Kb) 9572
[startup+80.0101 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 921 0 0 0 6188 608 0 0 25 0 1 0 1784876342 7622656 891 4294967295 134512640 134702520 3221223968 3221002764 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1861 891 413 48 0 1813 0
[pid=8738] vsize: 7444
Current children cumulated CPU time (s) 67.98
Current children cumulated vsize (Kb) 9572
[startup+90.0108 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 950 0 0 0 7075 648 0 0 23 0 1 0 1784876342 7622656 920 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1861 920 413 48 0 1813 0
[pid=8738] vsize: 7444
Current children cumulated CPU time (s) 77.25
Current children cumulated vsize (Kb) 9572
[startup+100.012 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 970 0 0 0 7821 727 0 0 17 0 1 0 1784876342 7798784 940 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1904 940 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 85.5
Current children cumulated vsize (Kb) 9744
[startup+110.012 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 972 0 0 0 8466 847 0 0 22 0 1 0 1784876342 7798784 942 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1904 942 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 93.15
Current children cumulated vsize (Kb) 9744
[startup+120.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 974 0 0 0 9320 894 0 0 22 0 1 0 1784876342 7798784 944 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1904 944 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (Kb) 9744
[startup+130.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 983 0 0 0 10212 932 0 0 22 0 1 0 1784876342 7798784 953 4294967295 134512640 134702520 3221223968 3221223248 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1904 953 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 111.46
Current children cumulated vsize (Kb) 9744
[startup+140.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1004 0 0 0 11128 961 0 0 23 0 1 0 1784876342 7798784 974 4294967295 134512640 134702520 3221223968 3221222864 134552441 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1904 974 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 120.91
Current children cumulated vsize (Kb) 9744
[startup+150.015 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1023 0 0 0 11907 1032 0 0 18 0 1 0 1784876342 7983104 993 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 993 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 129.41
Current children cumulated vsize (Kb) 9924
[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1025 0 0 0 12528 1157 0 0 17 0 1 0 1784876342 7983104 995 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 995 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 136.87
Current children cumulated vsize (Kb) 9924
[startup+170.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1026 0 0 0 13405 1197 0 0 25 0 1 0 1784876342 7983104 996 4294967295 134512640 134702520 3221223968 3221040204 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 996 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 146.04
Current children cumulated vsize (Kb) 9924
[startup+180.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1028 0 0 0 14298 1235 0 0 25 0 1 0 1784876342 7983104 998 4294967295 134512640 134702520 3221223968 3221223088 134572664 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 998 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 155.35
Current children cumulated vsize (Kb) 9924
[startup+190.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1037 0 0 0 15193 1269 0 0 24 0 1 0 1784876342 7983104 1007 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 1007 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 164.64
Current children cumulated vsize (Kb) 9924
[startup+200.019 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1054 0 0 0 16116 1295 0 0 25 0 1 0 1784876342 8126464 1024 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1024 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 174.13
Current children cumulated vsize (Kb) 10064
[startup+210.019 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1058 0 0 0 16755 1414 0 0 18 0 1 0 1784876342 8126464 1028 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1028 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 181.71
Current children cumulated vsize (Kb) 10064
[startup+220.02 s]
Raw data (loadavg): 1.08 1.01 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1060 0 0 0 17492 1501 0 0 21 0 1 0 1784876342 8126464 1030 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1030 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 10064
[startup+230.02 s]
Raw data (loadavg): 1.07 1.01 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1064 0 0 0 18403 1533 0 0 25 0 1 0 1784876342 8126464 1034 4294967295 134512640 134702520 3221223968 3221223248 134552857 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1034 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 199.38
Current children cumulated vsize (Kb) 10064
[startup+240.021 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1075 0 0 0 19323 1560 0 0 22 0 1 0 1784876342 8126464 1045 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1045 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 208.85
Current children cumulated vsize (Kb) 10064
[startup+250.023 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1078 0 0 0 20236 1592 0 0 25 0 1 0 1784876342 8126464 1048 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1048 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 218.3
Current children cumulated vsize (Kb) 10064
[startup+260.023 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1094 0 0 0 21170 1615 0 0 25 0 1 0 1784876342 8126464 1064 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1064 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 227.87
Current children cumulated vsize (Kb) 10064
[startup+270.024 s]
Raw data (loadavg): 1.11 1.03 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1099 0 0 0 21832 1729 0 0 18 0 1 0 1784876342 8126464 1069 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1069 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 235.63
Current children cumulated vsize (Kb) 10064
[startup+280.025 s]
Raw data (loadavg): 1.09 1.02 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1100 0 0 0 22555 1819 0 0 23 0 1 0 1784876342 8126464 1070 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1070 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 243.76
Current children cumulated vsize (Kb) 10064
[startup+290.027 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1100 0 0 0 23468 1850 0 0 25 0 1 0 1784876342 8126464 1070 4294967295 134512640 134702520 3221223968 3221223248 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1070 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 253.2
Current children cumulated vsize (Kb) 10064
[startup+300.027 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1145 0 0 0 24401 1873 0 0 25 0 1 0 1784876342 8458240 1115 4294967295 134512640 134702520 3221223968 3221223248 134550360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2065 1115 413 48 0 2017 0
[pid=8738] vsize: 8260
Current children cumulated CPU time (s) 262.76
Current children cumulated vsize (Kb) 10388
[startup+310.028 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1221 0 0 0 25332 1897 0 0 25 0 1 0 1784876342 8646656 1191 4294967295 134512640 134702520 3221223968 3221196368 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2111 1191 413 48 0 2063 0
[pid=8738] vsize: 8444
Current children cumulated CPU time (s) 272.31
Current children cumulated vsize (Kb) 10572
[startup+320.029 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1283 0 0 0 26261 1925 0 0 25 0 1 0 1784876342 8945664 1253 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2184 1253 413 48 0 2136 0
[pid=8738] vsize: 8736
Current children cumulated CPU time (s) 281.88
Current children cumulated vsize (Kb) 10864
[startup+330.029 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1344 0 0 0 27174 1955 0 0 17 0 1 0 1784876342 9080832 1314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2217 1314 413 48 0 2169 0
[pid=8738] vsize: 8868
Current children cumulated CPU time (s) 291.31
Current children cumulated vsize (Kb) 10996
[startup+340.03 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1344 0 0 0 27776 2091 0 0 18 0 1 0 1784876342 9080832 1314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2217 1314 413 48 0 2169 0
[pid=8738] vsize: 8868
Current children cumulated CPU time (s) 298.69
Current children cumulated vsize (Kb) 10996
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=8738) exited with status: 2
New process pid=8739
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=8739) exited with status: 0
New process pid=8740
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+350.031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 715 0 0 0 135 3 0 0 25 0 1 0 1784911199 4898816 686 4294967295 134512640 134702520 3221223712 3221113628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 1196 686 413 48 0 1148 0
[pid=8740] vsize: 4784
Current children cumulated CPU time (s) 307.35
Current children cumulated vsize (Kb) 6912
[startup+360.032 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 743 0 0 0 582 180 0 0 17 0 1 0 1784911199 5033984 714 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 1229 714 413 48 0 1181 0
[pid=8740] vsize: 4916
Current children cumulated CPU time (s) 313.59
Current children cumulated vsize (Kb) 7044
[startup+370.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 849 0 0 0 1261 286 0 0 18 0 1 0 1784911199 9412608 820 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2298 820 413 48 0 2250 0
[pid=8740] vsize: 9192
Current children cumulated CPU time (s) 321.44
Current children cumulated vsize (Kb) 11320
[startup+380.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 892 0 0 0 2134 329 0 0 25 0 1 0 1784911199 9412608 863 4294967295 134512640 134702520 3221223712 3221124448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2298 863 413 48 0 2250 0
[pid=8740] vsize: 9192
Current children cumulated CPU time (s) 330.6
Current children cumulated vsize (Kb) 11320
[startup+390.035 s]
Raw data (loadavg): 1.09 1.03 1.01 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 932 0 0 0 2996 378 0 0 23 0 1 0 1784911199 9543680 903 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 903 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 339.71
Current children cumulated vsize (Kb) 11448
[startup+400.036 s]
Raw data (loadavg): 1.16 1.05 1.01 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 933 0 0 0 3425 562 0 0 16 0 1 0 1784911199 9543680 904 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2330 904 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 345.84
Current children cumulated vsize (Kb) 11448
[startup+410.036 s]
Raw data (loadavg): 1.13 1.04 1.01 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 935 0 0 0 4139 654 0 0 25 0 1 0 1784911199 9543680 906 4294967295 134512640 134702520 3221223712 3221135632 134611845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2330 906 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 353.9
Current children cumulated vsize (Kb) 11448
[startup+420.036 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 938 0 0 0 5010 698 0 0 25 0 1 0 1784911199 9543680 909 4294967295 134512640 134702520 3221223712 3221198828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 909 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 363.05
Current children cumulated vsize (Kb) 11448
[startup+430.038 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 951 0 0 0 5868 744 0 0 25 0 1 0 1784911199 9543680 922 4294967295 134512640 134702520 3221223712 3220978028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 922 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 372.09
Current children cumulated vsize (Kb) 11448
[startup+440.039 s]
Raw data (loadavg): 1.08 1.04 1.01 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 954 0 0 0 6326 923 0 0 17 0 1 0 1784911199 9543680 925 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 925 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 378.46
Current children cumulated vsize (Kb) 11448
[startup+450.039 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 955 0 0 0 7000 1025 0 0 25 0 1 0 1784911199 9543680 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2330 926 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 386.22
Current children cumulated vsize (Kb) 11448
[startup+460.04 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 955 0 0 0 7848 1076 0 0 24 0 1 0 1784911199 9543680 926 4294967295 134512640 134702520 3221223712 3221188448 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2330 926 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 395.21
Current children cumulated vsize (Kb) 11448
[startup+470.041 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 958 0 0 0 8701 1123 0 0 25 0 1 0 1784911199 9543680 929 4294967295 134512640 134702520 3221223712 3221222992 134557229 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 929 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 404.21
Current children cumulated vsize (Kb) 11448
[startup+480.042 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 961 0 0 0 9190 1291 0 0 16 0 1 0 1784911199 9543680 932 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 932 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 410.78
Current children cumulated vsize (Kb) 11448
[startup+490.043 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 962 0 0 0 9831 1411 0 0 24 0 1 0 1784911199 9601024 933 4294967295 134512640 134702520 3221223712 3221222992 134553080 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 933 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 418.39
Current children cumulated vsize (Kb) 11504
[startup+500.044 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 963 0 0 0 10684 1461 0 0 25 0 1 0 1784911199 9601024 934 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 934 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 427.42
Current children cumulated vsize (Kb) 11504
[startup+510.045 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 970 0 0 0 11545 1504 0 0 20 0 1 0 1784911199 9601024 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 941 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 436.46
Current children cumulated vsize (Kb) 11504
[startup+520.046 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 970 0 0 0 12221 1609 0 0 17 0 1 0 1784911199 9601024 941 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 941 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 444.27
Current children cumulated vsize (Kb) 11504
[startup+530.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 972 0 0 0 12728 1770 0 0 25 0 1 0 1784911199 9601024 943 4294967295 134512640 134702520 3221223712 3221222992 134554409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 943 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 450.95
Current children cumulated vsize (Kb) 11504
[startup+540.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 972 0 0 0 13576 1820 0 0 25 0 1 0 1784911199 9601024 943 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 943 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 459.93
Current children cumulated vsize (Kb) 11504
[startup+550.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 974 0 0 0 14434 1869 0 0 22 0 1 0 1784911199 9601024 945 4294967295 134512640 134702520 3221223712 3221222832 134578546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 945 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 469
Current children cumulated vsize (Kb) 11504
[startup+560.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 977 0 0 0 15335 1901 0 0 25 0 1 0 1784911199 9601024 948 4294967295 134512640 134702520 3221223712 3220906828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 948 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 478.33
Current children cumulated vsize (Kb) 11504
[startup+570.049 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 978 0 0 0 15795 2078 0 0 17 0 1 0 1784911199 9601024 949 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 949 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 484.7
Current children cumulated vsize (Kb) 11504
[startup+580.05 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 979 0 0 0 16479 2181 0 0 23 0 1 0 1784911199 9601024 950 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 950 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 492.57
Current children cumulated vsize (Kb) 11504
[startup+590.051 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 983 0 0 0 17382 2214 0 0 25 0 1 0 1784911199 9601024 954 4294967295 134512640 134702520 3221223712 3220978848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 954 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 501.93
Current children cumulated vsize (Kb) 11504
[startup+600.053 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 984 0 0 0 18238 2261 0 0 25 0 1 0 1784911199 9601024 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 955 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 510.96
Current children cumulated vsize (Kb) 11504
[startup+610.053 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 993 0 0 0 19152 2290 0 0 25 0 1 0 1784911199 9601024 964 4294967295 134512640 134702520 3221223712 3221005548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 964 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 520.39
Current children cumulated vsize (Kb) 11504
[startup+620.054 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 995 0 0 0 19558 2486 0 0 16 0 1 0 1784911199 9601024 966 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 966 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 526.41
Current children cumulated vsize (Kb) 11504
[startup+630.055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 996 0 0 0 20288 2572 0 0 25 0 1 0 1784911199 9670656 967 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2361 967 413 48 0 2313 0
[pid=8740] vsize: 9444
Current children cumulated CPU time (s) 534.57
Current children cumulated vsize (Kb) 11572
[startup+640.057 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1078 0 0 0 21193 2606 0 0 25 0 1 0 1784911199 10162176 1049 4294967295 134512640 134702520 3221223712 3220978028 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2481 1049 413 48 0 2433 0
[pid=8740] vsize: 9924
Current children cumulated CPU time (s) 543.96
Current children cumulated vsize (Kb) 12052
[startup+650.057 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1154 0 0 0 22069 2646 0 0 19 0 1 0 1784911199 10162176 1125 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2481 1125 413 48 0 2433 0
[pid=8740] vsize: 9924
Current children cumulated CPU time (s) 553.12
Current children cumulated vsize (Kb) 12052
[startup+660.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1253 0 0 0 22990 2675 0 0 25 0 1 0 1784911199 10788864 1224 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2634 1224 413 48 0 2586 0
[pid=8740] vsize: 10536
Current children cumulated CPU time (s) 562.62
Current children cumulated vsize (Kb) 12664
[startup+670.06 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1336 0 0 0 23843 2724 0 0 16 0 1 0 1784911199 10924032 1307 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2667 1307 413 48 0 2619 0
[pid=8740] vsize: 10668
Current children cumulated CPU time (s) 571.64
Current children cumulated vsize (Kb) 12796
[startup+680.061 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1337 0 0 0 24250 2917 0 0 16 0 1 0 1784911199 10924032 1308 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2667 1308 413 48 0 2619 0
[pid=8740] vsize: 10668
Current children cumulated CPU time (s) 577.64
Current children cumulated vsize (Kb) 12796
[startup+690.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1338 0 0 0 25091 2969 0 0 25 0 1 0 1784911199 10887168 1309 4294967295 134512640 134702520 3221223712 3221222992 134552731 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2658 1309 413 48 0 2610 0
[pid=8740] vsize: 10632
Current children cumulated CPU time (s) 586.57
Current children cumulated vsize (Kb) 12760
[startup+700.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1347 0 0 0 26002 3000 0 0 25 0 1 0 1784911199 10887168 1318 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2658 1318 413 48 0 2610 0
[pid=8740] vsize: 10632
Current children cumulated CPU time (s) 595.99
Current children cumulated vsize (Kb) 12760
[startup+710.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1355 0 0 0 26914 3030 0 0 25 0 1 0 1784911199 10887168 1326 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2658 1326 413 48 0 2610 0
[pid=8740] vsize: 10632
Current children cumulated CPU time (s) 605.41
Current children cumulated vsize (Kb) 12760
[startup+720.063 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1364 0 0 0 27839 3056 0 0 25 0 1 0 1784911199 10887168 1335 4294967295 134512640 134702520 3221223712 3221222832 134573733 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2658 1335 413 48 0 2610 0
[pid=8740] vsize: 10632
Current children cumulated CPU time (s) 614.92
Current children cumulated vsize (Kb) 12760
[startup+730.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1391 0 0 0 28767 3082 0 0 25 0 1 0 1784911199 10997760 1362 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2685 1362 413 48 0 2637 0
[pid=8740] vsize: 10740
Current children cumulated CPU time (s) 624.46
Current children cumulated vsize (Kb) 12868
[startup+740.065 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1448 0 0 0 29605 3137 0 0 17 0 1 0 1784911199 11489280 1419 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2805 1419 413 48 0 2757 0
[pid=8740] vsize: 11220
Current children cumulated CPU time (s) 633.39
Current children cumulated vsize (Kb) 13348
[startup+750.066 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1449 0 0 0 30024 3325 0 0 16 0 1 0 1784911199 11628544 1420 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2839 1420 413 48 0 2791 0
[pid=8740] vsize: 11356
Current children cumulated CPU time (s) 639.46
Current children cumulated vsize (Kb) 13484
[startup+760.066 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1450 0 0 0 30887 3370 0 0 18 0 1 0 1784911199 11571200 1421 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1421 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 648.54
Current children cumulated vsize (Kb) 13428
[startup+770.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1450 0 0 0 31794 3400 0 0 19 0 1 0 1784911199 11571200 1421 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2825 1421 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 657.91
Current children cumulated vsize (Kb) 13428
[startup+780.068 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1454 0 0 0 32746 3418 0 0 22 0 1 0 1784911199 11571200 1425 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2825 1425 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 667.61
Current children cumulated vsize (Kb) 13428
[startup+790.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1456 0 0 0 33680 3442 0 0 25 0 1 0 1784911199 11571200 1427 4294967295 134512640 134702520 3221223712 3221089548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1427 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 677.19
Current children cumulated vsize (Kb) 13428
[startup+800.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1462 0 0 0 34611 3467 0 0 25 0 1 0 1784911199 11571200 1433 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1433 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 686.75
Current children cumulated vsize (Kb) 13428
[startup+810.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1466 0 0 0 35546 3489 0 0 25 0 1 0 1784911199 11571200 1437 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1437 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 696.32
Current children cumulated vsize (Kb) 13428
[startup+820.073 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1475 0 0 0 36394 3539 0 0 17 0 1 0 1784911199 11571200 1446 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1446 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 705.3
Current children cumulated vsize (Kb) 13428
[startup+830.074 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1476 0 0 0 36818 3729 0 0 16 0 1 0 1784911199 11718656 1447 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2861 1447 413 48 0 2813 0
[pid=8740] vsize: 11444
Current children cumulated CPU time (s) 711.44
Current children cumulated vsize (Kb) 13572
[startup+840.075 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1477 0 0 0 37677 3776 0 0 19 0 1 0 1784911199 11661312 1448 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1448 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 720.5
Current children cumulated vsize (Kb) 13516
[startup+850.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1479 0 0 0 38616 3797 0 0 25 0 1 0 1784911199 11661312 1450 4294967295 134512640 134702520 3221223712 3221190348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1450 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 730.1
Current children cumulated vsize (Kb) 13516
[startup+860.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1480 0 0 0 39535 3824 0 0 25 0 1 0 1784911199 11661312 1451 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1451 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 739.56
Current children cumulated vsize (Kb) 13516
[startup+870.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1486 0 0 0 40467 3848 0 0 25 0 1 0 1784911199 11661312 1457 4294967295 134512640 134702520 3221223712 3221222972 134548988 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1457 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 749.12
Current children cumulated vsize (Kb) 13516
[startup+880.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1489 0 0 0 41401 3871 0 0 25 0 1 0 1784911199 11661312 1460 4294967295 134512640 134702520 3221223712 3221222980 134551293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1460 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 758.69
Current children cumulated vsize (Kb) 13516
[startup+890.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1492 0 0 0 42333 3897 0 0 25 0 1 0 1784911199 11661312 1463 4294967295 134512640 134702520 3221223712 3221222992 134557712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2847 1463 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 768.27
Current children cumulated vsize (Kb) 13516
[startup+900.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1498 0 0 0 43299 3910 0 0 25 0 1 0 1784911199 11661312 1469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1469 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 778.06
Current children cumulated vsize (Kb) 13516
[startup+910.081 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1500 0 0 0 43845 4057 0 0 17 0 1 0 1784911199 11169792 1440 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2727 1440 413 48 0 2679 0
[pid=8740] vsize: 10908
Current children cumulated CPU time (s) 784.99
Current children cumulated vsize (Kb) 13036
[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1502 0 0 0 44495 4175 0 0 25 0 1 0 1784911199 11243520 1442 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1442 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 792.67
Current children cumulated vsize (Kb) 13108
[startup+930.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1502 0 0 0 45420 4204 0 0 25 0 1 0 1784911199 11243520 1442 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1442 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 802.21
Current children cumulated vsize (Kb) 13108
[startup+940.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1502 0 0 0 46339 4230 0 0 25 0 1 0 1784911199 11243520 1442 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1442 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 811.66
Current children cumulated vsize (Kb) 13108
[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1502 0 0 0 47264 4256 0 0 25 0 1 0 1784911199 11243520 1442 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1442 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 821.17
Current children cumulated vsize (Kb) 13108
[startup+960.085 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1507 0 0 0 48196 4279 0 0 22 0 1 0 1784911199 11243520 1447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1447 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 830.72
Current children cumulated vsize (Kb) 13108
[startup+970.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1508 0 0 0 49155 4293 0 0 25 0 1 0 1784911199 11243520 1448 4294967295 134512640 134702520 3221223712 3221218528 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1448 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 840.45
Current children cumulated vsize (Kb) 13108
[startup+980.088 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1514 0 0 0 50086 4315 0 0 25 0 1 0 1784911199 11243520 1454 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1454 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 849.98
Current children cumulated vsize (Kb) 13108
[startup+990.088 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1517 0 0 0 50846 4392 0 0 17 0 1 0 1784911199 11243520 1457 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1457 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 858.35
Current children cumulated vsize (Kb) 13108
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1519 0 0 0 51279 4582 0 0 19 0 1 0 1784911199 11243520 1459 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1459 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 864.58
Current children cumulated vsize (Kb) 13108
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1519 0 0 0 52179 4615 0 0 25 0 1 0 1784911199 11243520 1459 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1459 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 873.91
Current children cumulated vsize (Kb) 13108
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1519 0 0 0 53086 4647 0 0 25 0 1 0 1784911199 11243520 1459 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1459 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 883.3
Current children cumulated vsize (Kb) 13108
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 54006 4675 0 0 23 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222992 134557255 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 892.78
Current children cumulated vsize (Kb) 13108
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 54920 4705 0 0 22 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 902.22
Current children cumulated vsize (Kb) 13108
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1520 0 0 0 55859 4726 0 0 19 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 911.82
Current children cumulated vsize (Kb) 13108
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 56798 4747 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221102988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 921.42
Current children cumulated vsize (Kb) 13108
[startup+1070.1 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1520 0 0 0 57287 4909 0 0 17 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 927.93
Current children cumulated vsize (Kb) 13108
[startup+1080.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 57975 5011 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222832 134573218 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 935.83
Current children cumulated vsize (Kb) 13108
[startup+1090.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 58871 5044 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 945.12
Current children cumulated vsize (Kb) 13108
[startup+1100.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 59780 5077 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221221088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 954.54
Current children cumulated vsize (Kb) 13108
[startup+1110.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 60681 5110 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221147168 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 963.88
Current children cumulated vsize (Kb) 13108
[startup+1120.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 61593 5142 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 973.32
Current children cumulated vsize (Kb) 13108
[startup+1130.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 62508 5171 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 982.76
Current children cumulated vsize (Kb) 13108
[startup+1140.1 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 63120 5297 0 0 16 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 990.14
Current children cumulated vsize (Kb) 13108
[startup+1150.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 63678 5440 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 997.15
Current children cumulated vsize (Kb) 13108
[startup+1160.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 64561 5478 0 0 23 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1006.36
Current children cumulated vsize (Kb) 13108
[startup+1170.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 65405 5528 0 0 24 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1015.3
Current children cumulated vsize (Kb) 13108
[startup+1180.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 66294 5567 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1024.58
Current children cumulated vsize (Kb) 13108
[startup+1190.11 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 67186 5605 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1033.88
Current children cumulated vsize (Kb) 13108
[startup+1200.11 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 67792 5731 0 0 16 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1041.2
Current children cumulated vsize (Kb) 13108
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 68370 5871 0 0 19 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1048.38
Current children cumulated vsize (Kb) 13108
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 69266 5905 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221106828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1057.68
Current children cumulated vsize (Kb) 13108
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 70104 5955 0 0 22 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1066.56
Current children cumulated vsize (Kb) 13108
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 70987 5996 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1075.8
Current children cumulated vsize (Kb) 13108
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1528 0 0 0 71881 6032 0 0 25 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1085.1
Current children cumulated vsize (Kb) 13108
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1528 0 0 0 72611 6117 0 0 16 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1093.25
Current children cumulated vsize (Kb) 13108
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1528 0 0 0 73063 6303 0 0 25 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1099.63
Current children cumulated vsize (Kb) 13108
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1528 0 0 0 73936 6346 0 0 25 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1108.79
Current children cumulated vsize (Kb) 13108
[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1528 0 0 0 74824 6384 0 0 25 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1118.05
Current children cumulated vsize (Kb) 13108
[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1530 0 0 0 75725 6418 0 0 25 0 1 0 1784911199 11243520 1470 4294967295 134512640 134702520 3221223712 3221222992 134552766 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1470 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1127.4
Current children cumulated vsize (Kb) 13108
[startup+1310.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1530 0 0 0 76638 6447 0 0 25 0 1 0 1784911199 11243520 1470 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1470 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1136.82
Current children cumulated vsize (Kb) 13108
[startup+1320.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1534 0 0 0 77595 6464 0 0 25 0 1 0 1784911199 11243520 1474 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1474 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1146.56
Current children cumulated vsize (Kb) 13108
[startup+1330.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1535 0 0 0 78553 6478 0 0 25 0 1 0 1784911199 11243520 1475 4294967295 134512640 134702520 3221223712 3221131008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1475 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1156.28
Current children cumulated vsize (Kb) 13108
[startup+1340.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1535 0 0 0 78958 6670 0 0 17 0 1 0 1784911199 11243520 1475 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1475 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1162.25
Current children cumulated vsize (Kb) 13108
[startup+1350.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1536 0 0 0 79735 6743 0 0 25 0 1 0 1784911199 11243520 1476 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1476 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1170.75
Current children cumulated vsize (Kb) 13108
[startup+1360.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1536 0 0 0 80632 6775 0 0 25 0 1 0 1784911199 11243520 1476 4294967295 134512640 134702520 3221223712 3221222972 134564368 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1476 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1180.04
Current children cumulated vsize (Kb) 13108
[startup+1370.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1536 0 0 0 81542 6805 0 0 25 0 1 0 1784911199 11243520 1476 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1476 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1189.44
Current children cumulated vsize (Kb) 13108
[startup+1380.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1538 0 0 0 82460 6833 0 0 25 0 1 0 1784911199 11243520 1478 4294967295 134512640 134702520 3221223712 3221222992 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1478 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1198.9
Current children cumulated vsize (Kb) 13108
[startup+1390.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1539 0 0 0 83367 6864 0 0 24 0 1 0 1784911199 11243520 1479 4294967295 134512640 134702520 3221223712 3221222992 134557446 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1479 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1208.28
Current children cumulated vsize (Kb) 13108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1390.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1539 0 0 0 83367 6864 0 0 24 0 1 0 1784911199 11243520 1479 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1479 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1208.28
Current children cumulated vsize (Kb) 13108
Sending SIGTERM to -8735
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=8742
New process pid=8743
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/8698/stat
open syscall for file /proc/8698/status
open syscall for file /proc/8698/cmdline
open syscall for file /proc/8698/environ
open syscall for file /proc/8734/stat
open syscall for file /proc/8734/status
open syscall for file /proc/8734/cmdline
open syscall for file /proc/8734/environ
open syscall for file /proc/8735/stat
open syscall for file /proc/8735/status
open syscall for file /proc/8735/cmdline
open syscall for file /proc/8735/environ
open syscall for file /proc/8740/stat
open syscall for file /proc/8740/status
open syscall for file /proc/8740/cmdline
open syscall for file /proc/8740/environ
open syscall for file /proc/8742/stat
open syscall for file /proc/8742/status
open syscall for file /proc/8742/cmdline
open syscall for file /proc/8742/environ
open syscall for file /proc/8743/stat
open syscall for file /proc/8743/status
open syscall for file /proc/8743/cmdline
open syscall for file /proc/8743/environ
One traced child (pid=8742) exited with status: 0
One traced child (pid=8743) exited with status: 0
New process pid=8744
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=8744) exited with status: 0
New process pid=8745
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=8745) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=8735) ended because it received signal 15 (SIGTERM)
One traced child (pid=8740) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1390.63
CPU time (s): 902.794
CPU user time (s): 834.092
CPU system time (s): 68.7016
CPU usage (%): 64.9195
Max. virtual memory (cumulated for all children) (Kb): 13572