1:
seed: 0
Nr of vars set: 3240 (#equs: 0)
Nr of vars set: 4357 (#equs: 4)
#decisions: 2750000; #end-nodes: 51575;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 1089, #non-axs: 1579
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: 4872 (#equs: 8)
Time taken: 5 min, 29 sec
2:
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/4736/stat): 4736 (vallstSAT2005PB) R 4735 4736 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19619252 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4736/statm): 174 3 169 147 0 27 0
[pid=4736] 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=4737
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=4737) exited with status: 0
New process pid=4738
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=4738) exited with status: 0
New process pid=4739
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/wulflinc25/normalized-mps-v2-20-10-tr12-30.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0029 s]
Raw data (loadavg): 0.95 1.06 1.03 2/56 4739
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1635 0 0 0 910 31 0 0 25 0 1 0 19619260 8151040 1539 4294967295 134512640 134702520 3221223952 3221107948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 1990 1539 413 48 0 1942 0
[pid=4739] vsize: 7960
Current children cumulated CPU time (s) 9.43
Current children cumulated vsize (Kb) 10088
[startup+20.0046 s]
Raw data (loadavg): 0.96 1.05 1.03 2/56 4739
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1635 0 0 0 1607 129 0 0 22 0 1 0 19619260 8151040 1539 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4739/statm): 1990 1539 413 48 0 1942 0
[pid=4739] vsize: 7960
Current children cumulated CPU time (s) 17.38
Current children cumulated vsize (Kb) 10088
[startup+30.0052 s]
Raw data (loadavg): 0.96 1.05 1.03 2/56 4739
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1719 0 0 0 2226 248 0 0 25 0 1 0 19619260 11673600 1355 4294967295 134512640 134702520 3221223952 3221008048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2850 1355 413 48 0 2802 0
[pid=4739] vsize: 11400
Current children cumulated CPU time (s) 24.76
Current children cumulated vsize (Kb) 13528
[startup+40.0058 s]
Raw data (loadavg): 0.97 1.05 1.03 2/56 4739
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1742 0 0 0 2923 344 0 0 25 0 1 0 19619260 11763712 1378 4294967295 134512640 134702520 3221223952 3221126768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4739/statm): 2872 1378 413 48 0 2824 0
[pid=4739] vsize: 11488
Current children cumulated CPU time (s) 32.69
Current children cumulated vsize (Kb) 13616
[startup+50.0074 s]
Raw data (loadavg): 1.21 1.10 1.04 1/56 4794
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1745 0 0 0 3631 435 0 0 17 0 1 0 19619260 11845632 1381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2892 1381 413 48 0 2844 0
[pid=4739] vsize: 11568
Current children cumulated CPU time (s) 40.68
Current children cumulated vsize (Kb) 13696
[startup+60.008 s]
Raw data (loadavg): 1.17 1.09 1.04 1/56 4794
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1746 0 0 0 4467 485 0 0 16 0 1 0 19619260 11845632 1382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2892 1382 413 48 0 2844 0
[pid=4739] vsize: 11568
Current children cumulated CPU time (s) 49.54
Current children cumulated vsize (Kb) 13696
[startup+70.0096 s]
Raw data (loadavg): 1.15 1.09 1.04 2/56 4794
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1747 0 0 0 5236 559 0 0 25 0 1 0 19619260 11845632 1383 4294967295 134512640 134702520 3221223952 3220778428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2892 1383 413 48 0 2844 0
[pid=4739] vsize: 11568
Current children cumulated CPU time (s) 57.97
Current children cumulated vsize (Kb) 13696
[startup+80.0102 s]
Raw data (loadavg): 1.12 1.09 1.04 2/56 4794
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1747 0 0 0 5846 677 0 0 25 0 1 0 19619260 11845632 1383 4294967295 134512640 134702520 3221223952 3221037328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4739/statm): 2892 1383 413 48 0 2844 0
[pid=4739] vsize: 11568
Current children cumulated CPU time (s) 65.25
Current children cumulated vsize (Kb) 13696
[startup+90.0108 s]
Raw data (loadavg): 1.18 1.10 1.05 2/56 4794
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1749 0 0 0 6439 802 0 0 16 0 1 0 19619260 11845632 1385 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2892 1385 413 48 0 2844 0
[pid=4739] vsize: 11568
Current children cumulated CPU time (s) 72.43
Current children cumulated vsize (Kb) 13696
[startup+100.011 s]
Raw data (loadavg): 1.15 1.10 1.05 1/56 4796
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1751 0 0 0 7295 849 0 0 18 0 1 0 19619260 11845632 1387 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4739/statm): 2892 1387 413 48 0 2844 0
[pid=4739] vsize: 11568
Current children cumulated CPU time (s) 81.46
Current children cumulated vsize (Kb) 13696
[startup+110.013 s]
Raw data (loadavg): 1.13 1.09 1.04 1/56 4798
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1752 0 0 0 7843 993 0 0 17 0 1 0 19619260 11984896 1388 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2926 1388 413 48 0 2878 0
[pid=4739] vsize: 11704
Current children cumulated CPU time (s) 88.38
Current children cumulated vsize (Kb) 13832
[startup+120.014 s]
Raw data (loadavg): 1.11 1.09 1.04 1/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1753 0 0 0 8165 1213 0 0 16 0 1 0 19619260 11845632 1388 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4739/statm): 2892 1388 413 48 0 2844 0
[pid=4739] vsize: 11568
Current children cumulated CPU time (s) 93.8
Current children cumulated vsize (Kb) 13696
[startup+130.014 s]
Raw data (loadavg): 1.09 1.08 1.04 1/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1756 0 0 0 8689 1363 0 0 17 0 1 0 19619260 11845632 1391 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2892 1391 413 48 0 2844 0
[pid=4739] vsize: 11568
Current children cumulated CPU time (s) 100.54
Current children cumulated vsize (Kb) 13696
[startup+140.015 s]
Raw data (loadavg): 1.08 1.08 1.04 1/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1766 0 0 0 9577 1400 0 0 17 0 1 0 19619260 11886592 1401 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2902 1401 413 48 0 2854 0
[pid=4739] vsize: 11608
Current children cumulated CPU time (s) 109.79
Current children cumulated vsize (Kb) 13736
[startup+150.016 s]
Raw data (loadavg): 1.07 1.08 1.04 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1766 0 0 0 10200 1520 0 0 25 0 1 0 19619260 11886592 1401 4294967295 134512640 134702520 3221223952 3220969328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4739/statm): 2902 1401 413 48 0 2854 0
[pid=4739] vsize: 11608
Current children cumulated CPU time (s) 117.22
Current children cumulated vsize (Kb) 13736
[startup+160.017 s]
Raw data (loadavg): 1.06 1.08 1.04 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1768 0 0 0 10854 1631 0 0 25 0 1 0 19619260 11886592 1403 4294967295 134512640 134702520 3221223952 3221164048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2902 1403 413 48 0 2854 0
[pid=4739] vsize: 11608
Current children cumulated CPU time (s) 124.87
Current children cumulated vsize (Kb) 13736
[startup+170.019 s]
Raw data (loadavg): 1.05 1.07 1.04 1/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1769 0 0 0 11649 1702 0 0 16 0 1 0 19619260 11886592 1404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2902 1404 413 48 0 2854 0
[pid=4739] vsize: 11608
Current children cumulated CPU time (s) 133.53
Current children cumulated vsize (Kb) 13736
[startup+180.019 s]
Raw data (loadavg): 1.04 1.07 1.04 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1769 0 0 0 11942 1931 0 0 16 0 1 0 19619260 11886592 1404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2902 1404 413 48 0 2854 0
[pid=4739] vsize: 11608
Current children cumulated CPU time (s) 138.75
Current children cumulated vsize (Kb) 13736
[startup+190.02 s]
Raw data (loadavg): 1.03 1.07 1.04 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1770 0 0 0 12372 2112 0 0 25 0 1 0 19619260 11886592 1405 4294967295 134512640 134702520 3221223952 3221129488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2902 1405 413 48 0 2854 0
[pid=4739] vsize: 11608
Current children cumulated CPU time (s) 144.86
Current children cumulated vsize (Kb) 13736
[startup+200.02 s]
Raw data (loadavg): 1.11 1.08 1.04 1/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1772 0 0 0 13119 2193 0 0 17 0 1 0 19619260 11886592 1407 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2902 1407 413 48 0 2854 0
[pid=4739] vsize: 11608
Current children cumulated CPU time (s) 153.14
Current children cumulated vsize (Kb) 13736
[startup+210.021 s]
Raw data (loadavg): 1.09 1.08 1.04 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1772 0 0 0 14003 2229 0 0 25 0 1 0 19619260 11886592 1407 4294967295 134512640 134702520 3221223952 3220503388 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4739/statm): 2902 1407 413 48 0 2854 0
[pid=4739] vsize: 11608
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (Kb) 13736
[startup+220.023 s]
Raw data (loadavg): 1.08 1.08 1.04 1/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1773 0 0 0 14452 2410 0 0 17 0 1 0 19619260 12025856 1408 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2936 1408 413 48 0 2888 0
[pid=4739] vsize: 11744
Current children cumulated CPU time (s) 168.64
Current children cumulated vsize (Kb) 13872
[startup+230.023 s]
Raw data (loadavg): 1.06 1.07 1.04 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1775 0 0 0 14799 2616 0 0 16 0 1 0 19619260 11890688 1409 4294967295 134512640 134702520 3221223952 3221223232 134553826 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2903 1409 413 48 0 2855 0
[pid=4739] vsize: 11612
Current children cumulated CPU time (s) 174.17
Current children cumulated vsize (Kb) 13740
[startup+240.024 s]
Raw data (loadavg): 1.05 1.07 1.04 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1775 0 0 0 15216 2803 0 0 25 0 1 0 19619260 11890688 1409 4294967295 134512640 134702520 3221223952 3221157968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2903 1409 413 48 0 2855 0
[pid=4739] vsize: 11612
Current children cumulated CPU time (s) 180.21
Current children cumulated vsize (Kb) 13740
[startup+250.025 s]
Raw data (loadavg): 1.04 1.07 1.04 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1783 0 0 0 16042 2860 0 0 16 0 1 0 19619260 11915264 1417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2909 1417 413 48 0 2861 0
[pid=4739] vsize: 11636
Current children cumulated CPU time (s) 189.04
Current children cumulated vsize (Kb) 13764
[startup+260.026 s]
Raw data (loadavg): 1.04 1.06 1.04 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1783 0 0 0 16762 2952 0 0 25 0 1 0 19619260 11915264 1417 4294967295 134512640 134702520 3221223952 3220874928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2909 1417 413 48 0 2861 0
[pid=4739] vsize: 11636
Current children cumulated CPU time (s) 197.16
Current children cumulated vsize (Kb) 13764
[startup+270.026 s]
Raw data (loadavg): 1.03 1.06 1.03 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1797 0 0 0 17380 3077 0 0 25 0 1 0 19619260 11915264 1431 4294967295 134512640 134702520 3221223952 3221148508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2909 1431 413 48 0 2861 0
[pid=4739] vsize: 11636
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (Kb) 13764
[startup+280.026 s]
Raw data (loadavg): 1.03 1.06 1.03 1/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1797 0 0 0 18185 3139 0 0 16 0 1 0 19619260 11915264 1431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2909 1431 413 48 0 2861 0
[pid=4739] vsize: 11636
Current children cumulated CPU time (s) 213.26
Current children cumulated vsize (Kb) 13764
[startup+290.027 s]
Raw data (loadavg): 1.02 1.06 1.03 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1797 0 0 0 18965 3208 0 0 25 0 1 0 19619260 11915264 1431 4294967295 134512640 134702520 3221223952 3220810448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2909 1431 413 48 0 2861 0
[pid=4739] vsize: 11636
Current children cumulated CPU time (s) 221.75
Current children cumulated vsize (Kb) 13764
[startup+300.027 s]
Raw data (loadavg): 1.02 1.05 1.03 1/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1797 0 0 0 19427 3380 0 0 17 0 1 0 19619260 11915264 1431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2909 1431 413 48 0 2861 0
[pid=4739] vsize: 11636
Current children cumulated CPU time (s) 228.09
Current children cumulated vsize (Kb) 13764
[startup+310.028 s]
Raw data (loadavg): 1.01 1.05 1.03 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1797 0 0 0 20311 3416 0 0 25 0 1 0 19619260 11915264 1431 4294967295 134512640 134702520 3221223952 3220608192 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2909 1431 413 48 0 2861 0
[pid=4739] vsize: 11636
Current children cumulated CPU time (s) 237.29
Current children cumulated vsize (Kb) 13764
[startup+320.029 s]
Raw data (loadavg): 1.01 1.05 1.03 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1798 0 0 0 20854 3566 0 0 25 0 1 0 19619260 11915264 1432 4294967295 134512640 134702520 3221223952 3221082128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4739/statm): 2909 1432 413 48 0 2861 0
[pid=4739] vsize: 11636
Current children cumulated CPU time (s) 244.22
Current children cumulated vsize (Kb) 13764
[startup+330.029 s]
Raw data (loadavg): 1.09 1.06 1.03 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1800 0 0 0 21646 3635 0 0 17 0 1 0 19619260 12054528 1434 4294967295 134512640 134702520 3221223952 3221222848 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2943 1434 413 48 0 2895 0
[pid=4739] vsize: 11772
Current children cumulated CPU time (s) 252.83
Current children cumulated vsize (Kb) 13900
[startup+340.03 s]
Raw data (loadavg): 1.08 1.06 1.03 1/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) T 4736 4736 4004 0 -1 0 1804 0 0 0 22090 3819 0 0 17 0 1 0 19619260 11919360 1437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2910 1437 413 48 0 2862 0
[pid=4739] vsize: 11640
Current children cumulated CPU time (s) 259.11
Current children cumulated vsize (Kb) 13768
[startup+350.031 s]
Raw data (loadavg): 1.06 1.06 1.03 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1805 0 0 0 22917 3874 0 0 25 0 1 0 19619260 11919360 1438 4294967295 134512640 134702520 3221223952 3220763408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2910 1438 413 48 0 2862 0
[pid=4739] vsize: 11640
Current children cumulated CPU time (s) 267.93
Current children cumulated vsize (Kb) 13768
[startup+360.032 s]
Raw data (loadavg): 1.05 1.06 1.03 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1829 0 0 0 23699 3946 0 0 25 0 1 0 19619260 11931648 1462 4294967295 134512640 134702520 3221223952 3220968208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4739/statm): 2913 1462 413 48 0 2865 0
[pid=4739] vsize: 11652
Current children cumulated CPU time (s) 276.47
Current children cumulated vsize (Kb) 13780
[startup+370.032 s]
Raw data (loadavg): 1.04 1.05 1.03 2/56 4800
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1839 0 0 0 24603 3979 0 0 25 0 1 0 19619260 11931648 1472 4294967295 134512640 134702520 3221223952 3221014288 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2913 1472 413 48 0 2865 0
[pid=4739] vsize: 11652
Current children cumulated CPU time (s) 285.84
Current children cumulated vsize (Kb) 13780
[startup+380.032 s]
Raw data (loadavg): 1.04 1.05 1.03 2/56 4802
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1860 0 0 0 25460 4023 0 0 25 0 1 0 19619260 12005376 1493 4294967295 134512640 134702520 3221223952 3221099068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4739/statm): 2931 1493 413 48 0 2883 0
[pid=4739] vsize: 11724
Current children cumulated CPU time (s) 294.85
Current children cumulated vsize (Kb) 13852
[startup+390.033 s]
Raw data (loadavg): 1.03 1.05 1.03 2/56 4802
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1884 0 0 0 26388 4046 0 0 25 0 1 0 19619260 12009472 1517 4294967295 134512640 134702520 3221223952 3221134928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2932 1517 413 48 0 2884 0
[pid=4739] vsize: 11728
Current children cumulated CPU time (s) 304.36
Current children cumulated vsize (Kb) 13856
[startup+400.033 s]
Raw data (loadavg): 1.03 1.05 1.03 2/56 4802
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1891 0 0 0 27233 4098 0 0 18 0 1 0 19619260 12009472 1524 4294967295 134512640 134702520 3221223952 3221221488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2932 1524 413 48 0 2884 0
[pid=4739] vsize: 11728
Current children cumulated CPU time (s) 313.33
Current children cumulated vsize (Kb) 13856
[startup+410.034 s]
Raw data (loadavg): 1.02 1.05 1.03 2/56 4802
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19619252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 242 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4739/stat): 4739 (vallst) R 4736 4736 4004 0 -1 0 1892 0 0 0 28169 4118 0 0 18 0 1 0 19619260 12165120 1525 4294967295 134512640 134702520 3221223952 3221222976 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4739/statm): 2970 1525 413 48 0 2922 0
[pid=4739] vsize: 11880
Current children cumulated CPU time (s) 322.89
Current children cumulated vsize (Kb) 14008
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=4739) exited with status: 2
New process pid=4803
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=4803) exited with status: 0
New process pid=4804
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+420.035 s]
Raw data (loadavg): 1.02 1.04 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1064 0 0 0 132 5 0 0 25 0 1 0 19661121 6139904 1035 4294967295 134512640 134702520 3221223712 3221195068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 1499 1035 413 48 0 1451 0
[pid=4804] vsize: 5996
Current children cumulated CPU time (s) 330.92
Current children cumulated vsize (Kb) 8124
[startup+430.035 s]
Raw data (loadavg): 1.01 1.04 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1253 0 0 0 1069 25 0 0 25 0 1 0 19661121 7090176 1224 4294967295 134512640 134702520 3221223712 3221143888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 1731 1224 413 48 0 1683 0
[pid=4804] vsize: 6924
Current children cumulated CPU time (s) 340.49
Current children cumulated vsize (Kb) 9052
[startup+440.036 s]
Raw data (loadavg): 1.09 1.06 1.03 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1384 0 0 0 1895 82 0 0 25 0 1 0 19661121 11337728 1355 4294967295 134512640 134702520 3221223712 3221172608 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2768 1355 413 48 0 2720 0
[pid=4804] vsize: 11072
Current children cumulated CPU time (s) 349.32
Current children cumulated vsize (Kb) 13200
[startup+450.036 s]
Raw data (loadavg): 1.08 1.06 1.03 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1398 0 0 0 2767 122 0 0 18 0 1 0 19661121 11337728 1369 4294967295 134512640 134702520 3221223712 3221214528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2768 1369 413 48 0 2720 0
[pid=4804] vsize: 11072
Current children cumulated CPU time (s) 358.44
Current children cumulated vsize (Kb) 13200
[startup+460.037 s]
Raw data (loadavg): 1.06 1.05 1.03 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1402 0 0 0 3695 145 0 0 17 0 1 0 19661121 11337728 1373 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2768 1373 413 48 0 2720 0
[pid=4804] vsize: 11072
Current children cumulated CPU time (s) 367.95
Current children cumulated vsize (Kb) 13200
[startup+470.038 s]
Raw data (loadavg): 1.05 1.05 1.03 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1408 0 0 0 4639 162 0 0 22 0 1 0 19661121 11419648 1379 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2788 1379 413 48 0 2740 0
[pid=4804] vsize: 11152
Current children cumulated CPU time (s) 377.56
Current children cumulated vsize (Kb) 13280
[startup+480.038 s]
Raw data (loadavg): 1.05 1.05 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1414 0 0 0 5527 196 0 0 25 0 1 0 19661121 11419648 1385 4294967295 134512640 134702520 3221223712 3220631628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2788 1385 413 48 0 2740 0
[pid=4804] vsize: 11152
Current children cumulated CPU time (s) 386.78
Current children cumulated vsize (Kb) 13280
[startup+490.038 s]
Raw data (loadavg): 1.04 1.05 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1423 0 0 0 6413 234 0 0 25 0 1 0 19661121 11419648 1394 4294967295 134512640 134702520 3221223712 3220751168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2788 1394 413 48 0 2740 0
[pid=4804] vsize: 11152
Current children cumulated CPU time (s) 396.02
Current children cumulated vsize (Kb) 13280
[startup+500.039 s]
Raw data (loadavg): 1.03 1.05 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1430 0 0 0 7261 284 0 0 25 0 1 0 19661121 11419648 1401 4294967295 134512640 134702520 3221223712 3220874528 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2788 1401 413 48 0 2740 0
[pid=4804] vsize: 11152
Current children cumulated CPU time (s) 405
Current children cumulated vsize (Kb) 13280
[startup+510.04 s]
Raw data (loadavg): 1.03 1.04 1.02 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1432 0 0 0 7901 401 0 0 17 0 1 0 19661121 11587584 1403 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2829 1403 413 48 0 2781 0
[pid=4804] vsize: 11316
Current children cumulated CPU time (s) 412.57
Current children cumulated vsize (Kb) 13444
[startup+520.04 s]
Raw data (loadavg): 1.02 1.04 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1435 0 0 0 8630 489 0 0 25 0 1 0 19661121 11448320 1405 4294967295 134512640 134702520 3221223712 3220970528 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2795 1405 413 48 0 2747 0
[pid=4804] vsize: 11180
Current children cumulated CPU time (s) 420.74
Current children cumulated vsize (Kb) 13308
[startup+530.04 s]
Raw data (loadavg): 1.02 1.04 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1439 0 0 0 9510 529 0 0 25 0 1 0 19661121 11448320 1409 4294967295 134512640 134702520 3221223712 3221022988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2795 1409 413 48 0 2747 0
[pid=4804] vsize: 11180
Current children cumulated CPU time (s) 429.94
Current children cumulated vsize (Kb) 13308
[startup+540.041 s]
Raw data (loadavg): 1.02 1.04 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1445 0 0 0 10339 583 0 0 25 0 1 0 19661121 11448320 1415 4294967295 134512640 134702520 3221223712 3221110208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2795 1415 413 48 0 2747 0
[pid=4804] vsize: 11180
Current children cumulated CPU time (s) 438.77
Current children cumulated vsize (Kb) 13308
[startup+550.041 s]
Raw data (loadavg): 1.01 1.04 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1448 0 0 0 11211 627 0 0 25 0 1 0 19661121 11448320 1418 4294967295 134512640 134702520 3221223712 3221168608 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2795 1418 413 48 0 2747 0
[pid=4804] vsize: 11180
Current children cumulated CPU time (s) 447.93
Current children cumulated vsize (Kb) 13308
[startup+560.042 s]
Raw data (loadavg): 1.01 1.03 1.02 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1458 0 0 0 12056 676 0 0 17 0 1 0 19661121 11448320 1428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2795 1428 413 48 0 2747 0
[pid=4804] vsize: 11180
Current children cumulated CPU time (s) 456.87
Current children cumulated vsize (Kb) 13308
[startup+570.043 s]
Raw data (loadavg): 1.01 1.03 1.02 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1461 0 0 0 12983 697 0 0 18 0 1 0 19661121 11522048 1431 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2813 1431 413 48 0 2765 0
[pid=4804] vsize: 11252
Current children cumulated CPU time (s) 466.35
Current children cumulated vsize (Kb) 13380
[startup+580.043 s]
Raw data (loadavg): 1.01 1.03 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1462 0 0 0 13905 722 0 0 25 0 1 0 19661121 11522048 1432 4294967295 134512640 134702520 3221223712 3220550348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2813 1432 413 48 0 2765 0
[pid=4804] vsize: 11252
Current children cumulated CPU time (s) 475.82
Current children cumulated vsize (Kb) 13380
[startup+590.044 s]
Raw data (loadavg): 1.00 1.03 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1464 0 0 0 14421 880 0 0 17 0 1 0 19661121 11669504 1434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2849 1434 413 48 0 2801 0
[pid=4804] vsize: 11396
Current children cumulated CPU time (s) 482.56
Current children cumulated vsize (Kb) 13524
[startup+600.045 s]
Raw data (loadavg): 1.00 1.03 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1467 0 0 0 15275 931 0 0 25 0 1 0 19661121 11534336 1436 4294967295 134512640 134702520 3221223712 3220744928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2816 1436 413 48 0 2768 0
[pid=4804] vsize: 11264
Current children cumulated CPU time (s) 491.61
Current children cumulated vsize (Kb) 13392
[startup+610.046 s]
Raw data (loadavg): 1.00 1.03 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1470 0 0 0 16143 971 0 0 25 0 1 0 19661121 11534336 1439 4294967295 134512640 134702520 3221223712 3220841228 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2816 1439 413 48 0 2768 0
[pid=4804] vsize: 11264
Current children cumulated CPU time (s) 500.69
Current children cumulated vsize (Kb) 13392
[startup+620.046 s]
Raw data (loadavg): 1.00 1.03 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1473 0 0 0 17007 1013 0 0 25 0 1 0 19661121 11534336 1442 4294967295 134512640 134702520 3221223712 3220925708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2816 1442 413 48 0 2768 0
[pid=4804] vsize: 11264
Current children cumulated CPU time (s) 509.75
Current children cumulated vsize (Kb) 13392
[startup+630.046 s]
Raw data (loadavg): 1.00 1.02 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1483 0 0 0 17816 1074 0 0 25 0 1 0 19661121 11534336 1452 4294967295 134512640 134702520 3221223712 3221038208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2816 1452 413 48 0 2768 0
[pid=4804] vsize: 11264
Current children cumulated CPU time (s) 518.45
Current children cumulated vsize (Kb) 13392
[startup+640.047 s]
Raw data (loadavg): 1.00 1.02 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1486 0 0 0 18737 1099 0 0 25 0 1 0 19661121 11534336 1455 4294967295 134512640 134702520 3221223712 3221060916 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2816 1455 413 48 0 2768 0
[pid=4804] vsize: 11264
Current children cumulated CPU time (s) 527.91
Current children cumulated vsize (Kb) 13392
[startup+650.048 s]
Raw data (loadavg): 1.00 1.02 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1490 0 0 0 19614 1138 0 0 25 0 1 0 19661121 11534336 1459 4294967295 134512640 134702520 3221223712 3221119148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2816 1459 413 48 0 2768 0
[pid=4804] vsize: 11264
Current children cumulated CPU time (s) 537.07
Current children cumulated vsize (Kb) 13392
[startup+660.049 s]
Raw data (loadavg): 1.00 1.02 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1492 0 0 0 20440 1192 0 0 18 0 1 0 19661121 11681792 1461 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2852 1461 413 48 0 2804 0
[pid=4804] vsize: 11408
Current children cumulated CPU time (s) 545.87
Current children cumulated vsize (Kb) 13536
[startup+670.05 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1494 0 0 0 20971 1346 0 0 21 0 1 0 19661121 11612160 1462 4294967295 134512640 134702520 3221223712 3221199808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2835 1462 413 48 0 2787 0
[pid=4804] vsize: 11340
Current children cumulated CPU time (s) 552.72
Current children cumulated vsize (Kb) 13468
[startup+680.05 s]
Raw data (loadavg): 1.07 1.04 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1495 0 0 0 21867 1379 0 0 17 0 1 0 19661121 11612160 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2835 1463 413 48 0 2787 0
[pid=4804] vsize: 11340
Current children cumulated CPU time (s) 562.01
Current children cumulated vsize (Kb) 13468
[startup+690.051 s]
Raw data (loadavg): 1.06 1.03 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1497 0 0 0 22795 1400 0 0 17 0 1 0 19661121 11612160 1465 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2835 1465 413 48 0 2787 0
[pid=4804] vsize: 11340
Current children cumulated CPU time (s) 571.5
Current children cumulated vsize (Kb) 13468
[startup+700.051 s]
Raw data (loadavg): 1.05 1.03 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1535 0 0 0 23683 1434 0 0 25 0 1 0 19661121 11612160 1503 4294967295 134512640 134702520 3221223712 3220653888 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2835 1503 413 48 0 2787 0
[pid=4804] vsize: 11340
Current children cumulated CPU time (s) 580.72
Current children cumulated vsize (Kb) 13468
[startup+710.052 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1596 0 0 0 24512 1487 0 0 25 0 1 0 19661121 12091392 1564 4294967295 134512640 134702520 3221223712 3220830988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2952 1564 413 48 0 2904 0
[pid=4804] vsize: 11808
Current children cumulated CPU time (s) 589.54
Current children cumulated vsize (Kb) 13936
[startup+720.053 s]
Raw data (loadavg): 1.03 1.03 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1656 0 0 0 25375 1527 0 0 25 0 1 0 19661121 12091392 1624 4294967295 134512640 134702520 3221223712 3220929088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2952 1624 413 48 0 2904 0
[pid=4804] vsize: 11808
Current children cumulated CPU time (s) 598.57
Current children cumulated vsize (Kb) 13936
[startup+730.053 s]
Raw data (loadavg): 1.03 1.03 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1704 0 0 0 26223 1575 0 0 25 0 1 0 19661121 12189696 1672 4294967295 134512640 134702520 3221223712 3221034528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2976 1672 413 48 0 2928 0
[pid=4804] vsize: 11904
Current children cumulated CPU time (s) 607.53
Current children cumulated vsize (Kb) 14032
[startup+740.054 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1706 0 0 0 27000 1649 0 0 18 0 1 0 19661121 12378112 1674 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3022 1674 413 48 0 2974 0
[pid=4804] vsize: 12088
Current children cumulated CPU time (s) 616.04
Current children cumulated vsize (Kb) 14216
[startup+750.054 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1710 0 0 0 27595 1780 0 0 25 0 1 0 19661121 12238848 1677 4294967295 134512640 134702520 3221223712 3221132288 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2988 1677 413 48 0 2940 0
[pid=4804] vsize: 11952
Current children cumulated CPU time (s) 623.3
Current children cumulated vsize (Kb) 14080
[startup+760.055 s]
Raw data (loadavg): 1.07 1.04 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1717 0 0 0 28412 1837 0 0 17 0 1 0 19661121 12238848 1684 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2988 1684 413 48 0 2940 0
[pid=4804] vsize: 11952
Current children cumulated CPU time (s) 632.04
Current children cumulated vsize (Kb) 14080
[startup+770.056 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1726 0 0 0 29347 1858 0 0 17 0 1 0 19661121 12238848 1693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 2988 1693 413 48 0 2940 0
[pid=4804] vsize: 11952
Current children cumulated CPU time (s) 641.6
Current children cumulated vsize (Kb) 14080
[startup+780.057 s]
Raw data (loadavg): 1.05 1.04 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1732 0 0 0 30274 1882 0 0 25 0 1 0 19661121 12238848 1699 4294967295 134512640 134702520 3221223712 3220568608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 2988 1699 413 48 0 2940 0
[pid=4804] vsize: 11952
Current children cumulated CPU time (s) 651.11
Current children cumulated vsize (Kb) 14080
[startup+790.058 s]
Raw data (loadavg): 1.12 1.05 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1772 0 0 0 30666 2079 0 0 25 0 1 0 19661121 12795904 1739 4294967295 134512640 134702520 3221223712 3221165388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3124 1739 413 48 0 3076 0
[pid=4804] vsize: 12496
Current children cumulated CPU time (s) 657
Current children cumulated vsize (Kb) 14624
[startup+800.058 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1794 0 0 0 31538 2122 0 0 18 0 1 0 19661121 12795904 1761 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3124 1761 413 48 0 3076 0
[pid=4804] vsize: 12496
Current children cumulated CPU time (s) 666.15
Current children cumulated vsize (Kb) 14624
[startup+810.059 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1807 0 0 0 32467 2143 0 0 16 0 1 0 19661121 12865536 1774 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3141 1774 413 48 0 3093 0
[pid=4804] vsize: 12564
Current children cumulated CPU time (s) 675.65
Current children cumulated vsize (Kb) 14692
[startup+820.058 s]
Raw data (loadavg): 1.07 1.04 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1817 0 0 0 33296 2198 0 0 25 0 1 0 19661121 12865536 1784 4294967295 134512640 134702520 3221223712 3220806188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3141 1784 413 48 0 3093 0
[pid=4804] vsize: 12564
Current children cumulated CPU time (s) 684.49
Current children cumulated vsize (Kb) 14692
[startup+830.059 s]
Raw data (loadavg): 1.06 1.04 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1818 0 0 0 34233 2216 0 0 25 0 1 0 19661121 12865536 1785 4294967295 134512640 134702520 3221223712 3220783808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3141 1785 413 48 0 3093 0
[pid=4804] vsize: 12564
Current children cumulated CPU time (s) 694.04
Current children cumulated vsize (Kb) 14692
[startup+840.06 s]
Raw data (loadavg): 1.05 1.04 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1822 0 0 0 35017 2283 0 0 25 0 1 0 19661121 12894208 1788 4294967295 134512640 134702520 3221223712 3220965248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3148 1788 413 48 0 3100 0
[pid=4804] vsize: 12592
Current children cumulated CPU time (s) 702.55
Current children cumulated vsize (Kb) 14720
[startup+850.061 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1836 0 0 0 35820 2346 0 0 25 0 1 0 19661121 12894208 1802 4294967295 134512640 134702520 3221223712 3221088108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3148 1802 413 48 0 3100 0
[pid=4804] vsize: 12592
Current children cumulated CPU time (s) 711.21
Current children cumulated vsize (Kb) 14720
[startup+860.062 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1840 0 0 0 36664 2396 0 0 25 0 1 0 19661121 12894208 1806 4294967295 134512640 134702520 3221223712 3221172108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3148 1806 413 48 0 3100 0
[pid=4804] vsize: 12592
Current children cumulated CPU time (s) 720.15
Current children cumulated vsize (Kb) 14720
[startup+870.062 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1843 0 0 0 37537 2432 0 0 16 0 1 0 19661121 12894208 1809 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3148 1809 413 48 0 3100 0
[pid=4804] vsize: 12592
Current children cumulated CPU time (s) 729.24
Current children cumulated vsize (Kb) 14720
[startup+880.063 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1846 0 0 0 38464 2458 0 0 25 0 1 0 19661121 12894208 1812 4294967295 134512640 134702520 3221223712 3220532448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3148 1812 413 48 0 3100 0
[pid=4804] vsize: 12592
Current children cumulated CPU time (s) 738.77
Current children cumulated vsize (Kb) 14720
[startup+890.064 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1852 0 0 0 39285 2515 0 0 25 0 1 0 19661121 12894208 1818 4294967295 134512640 134702520 3221223712 3220800748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3148 1818 413 48 0 3100 0
[pid=4804] vsize: 12592
Current children cumulated CPU time (s) 747.55
Current children cumulated vsize (Kb) 14720
[startup+900.065 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1855 0 0 0 40084 2578 0 0 25 0 1 0 19661121 12976128 1821 4294967295 134512640 134702520 3221223712 3220979948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3168 1821 413 48 0 3120 0
[pid=4804] vsize: 12672
Current children cumulated CPU time (s) 756.17
Current children cumulated vsize (Kb) 14800
[startup+910.066 s]
Raw data (loadavg): 1.16 1.06 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1857 0 0 0 40852 2652 0 0 19 0 1 0 19661121 13131776 1823 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3206 1823 413 48 0 3158 0
[pid=4804] vsize: 12824
Current children cumulated CPU time (s) 764.59
Current children cumulated vsize (Kb) 14952
[startup+920.066 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1858 0 0 0 41556 2749 0 0 25 0 1 0 19661121 12996608 1823 4294967295 134512640 134702520 3221223712 3221048448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3173 1823 413 48 0 3125 0
[pid=4804] vsize: 12692
Current children cumulated CPU time (s) 772.6
Current children cumulated vsize (Kb) 14820
[startup+930.066 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1860 0 0 0 42461 2777 0 0 25 0 1 0 19661121 12996608 1825 4294967295 134512640 134702520 3221223712 3221090848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3173 1825 413 48 0 3125 0
[pid=4804] vsize: 12692
Current children cumulated CPU time (s) 781.93
Current children cumulated vsize (Kb) 14820
[startup+940.067 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1862 0 0 0 43291 2832 0 0 24 0 1 0 19661121 12996608 1827 4294967295 134512640 134702520 3221223712 3221179488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3173 1827 413 48 0 3125 0
[pid=4804] vsize: 12692
Current children cumulated CPU time (s) 790.78
Current children cumulated vsize (Kb) 14820
[startup+950.068 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1865 0 0 0 44179 2870 0 0 17 0 1 0 19661121 12996608 1830 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3173 1830 413 48 0 3125 0
[pid=4804] vsize: 12692
Current children cumulated CPU time (s) 800.04
Current children cumulated vsize (Kb) 14820
[startup+960.069 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1866 0 0 0 45117 2889 0 0 18 0 1 0 19661121 12996608 1831 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3173 1831 413 48 0 3125 0
[pid=4804] vsize: 12692
Current children cumulated CPU time (s) 809.61
Current children cumulated vsize (Kb) 14820
[startup+970.068 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1870 0 0 0 45991 2928 0 0 25 0 1 0 19661121 12996608 1835 4294967295 134512640 134702520 3221223712 3220698048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3173 1835 413 48 0 3125 0
[pid=4804] vsize: 12692
Current children cumulated CPU time (s) 818.74
Current children cumulated vsize (Kb) 14820
[startup+980.069 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1871 0 0 0 46804 2988 0 0 25 0 1 0 19661121 12996608 1836 4294967295 134512640 134702520 3221223712 3220896108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3173 1836 413 48 0 3125 0
[pid=4804] vsize: 12692
Current children cumulated CPU time (s) 827.47
Current children cumulated vsize (Kb) 14820
[startup+990.07 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1873 0 0 0 47535 3080 0 0 19 0 1 0 19661121 13180928 1838 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3218 1838 413 48 0 3170 0
[pid=4804] vsize: 12872
Current children cumulated CPU time (s) 835.7
Current children cumulated vsize (Kb) 15000
[startup+1000.07 s]
Raw data (loadavg): 1.17 1.07 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1876 0 0 0 48265 3166 0 0 25 0 1 0 19661121 13041664 1840 4294967295 134512640 134702520 3221223712 3220981568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3184 1840 413 48 0 3136 0
[pid=4804] vsize: 12736
Current children cumulated CPU time (s) 843.86
Current children cumulated vsize (Kb) 14864
[startup+1010.07 s]
Raw data (loadavg): 1.15 1.07 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1879 0 0 0 49145 3204 0 0 25 0 1 0 19661121 13041664 1843 4294967295 134512640 134702520 3221223712 3221045888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3184 1843 413 48 0 3136 0
[pid=4804] vsize: 12736
Current children cumulated CPU time (s) 853.04
Current children cumulated vsize (Kb) 14864
[startup+1020.07 s]
Raw data (loadavg): 1.12 1.07 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1880 0 0 0 49993 3251 0 0 25 0 1 0 19661121 13041664 1844 4294967295 134512640 134702520 3221223712 3221136608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3184 1844 413 48 0 3136 0
[pid=4804] vsize: 12736
Current children cumulated CPU time (s) 861.99
Current children cumulated vsize (Kb) 14864
[startup+1030.07 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1882 0 0 0 50812 3309 0 0 16 0 1 0 19661121 13041664 1846 4294967295 134512640 134702520 3221223712 3221223180 134657238 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3184 1846 413 48 0 3136 0
[pid=4804] vsize: 12736
Current children cumulated CPU time (s) 870.76
Current children cumulated vsize (Kb) 14864
[startup+1040.07 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1886 0 0 0 51740 3330 0 0 17 0 1 0 19661121 13041664 1850 4294967295 134512640 134702520 3221223712 3221222832 134573477 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3184 1850 413 48 0 3136 0
[pid=4804] vsize: 12736
Current children cumulated CPU time (s) 880.25
Current children cumulated vsize (Kb) 14864
[startup+1050.07 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1888 0 0 0 52649 3359 0 0 25 0 1 0 19661121 13041664 1852 4294967295 134512640 134702520 3221223712 3220627968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3184 1852 413 48 0 3136 0
[pid=4804] vsize: 12736
Current children cumulated CPU time (s) 889.63
Current children cumulated vsize (Kb) 14864
[startup+1060.07 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1891 0 0 0 53413 3430 0 0 25 0 1 0 19661121 13041664 1855 4294967295 134512640 134702520 3221223712 3220895948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3184 1855 413 48 0 3136 0
[pid=4804] vsize: 12736
Current children cumulated CPU time (s) 897.98
Current children cumulated vsize (Kb) 14864
[startup+1070.08 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1893 0 0 0 54123 3526 0 0 18 0 1 0 19661121 13238272 1857 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3232 1857 413 48 0 3184 0
[pid=4804] vsize: 12928
Current children cumulated CPU time (s) 906.04
Current children cumulated vsize (Kb) 15056
[startup+1080.08 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1894 0 0 0 54817 3623 0 0 25 0 1 0 19661121 13099008 1857 4294967295 134512640 134702520 3221223712 3221014348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3198 1857 413 48 0 3150 0
[pid=4804] vsize: 12792
Current children cumulated CPU time (s) 913.95
Current children cumulated vsize (Kb) 14920
[startup+1090.08 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1896 0 0 0 55661 3673 0 0 25 0 1 0 19661121 13099008 1859 4294967295 134512640 134702520 3221223712 3221106368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3198 1859 413 48 0 3150 0
[pid=4804] vsize: 12792
Current children cumulated CPU time (s) 922.89
Current children cumulated vsize (Kb) 14920
[startup+1100.08 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1899 0 0 0 56523 3720 0 0 25 0 1 0 19661121 13099008 1862 4294967295 134512640 134702520 3221223712 3221170828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3198 1862 413 48 0 3150 0
[pid=4804] vsize: 12792
Current children cumulated CPU time (s) 931.98
Current children cumulated vsize (Kb) 14920
[startup+1110.08 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1903 0 0 0 57386 3760 0 0 17 0 1 0 19661121 13099008 1866 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3198 1866 413 48 0 3150 0
[pid=4804] vsize: 12792
Current children cumulated CPU time (s) 941.01
Current children cumulated vsize (Kb) 14920
[startup+1120.08 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1905 0 0 0 58318 3783 0 0 19 0 1 0 19661121 13099008 1868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3198 1868 413 48 0 3150 0
[pid=4804] vsize: 12792
Current children cumulated CPU time (s) 950.56
Current children cumulated vsize (Kb) 14920
[startup+1130.08 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1907 0 0 0 59204 3825 0 0 25 0 1 0 19661121 13099008 1870 4294967295 134512640 134702520 3221223712 3220673248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3198 1870 413 48 0 3150 0
[pid=4804] vsize: 12792
Current children cumulated CPU time (s) 959.84
Current children cumulated vsize (Kb) 14920
[startup+1140.08 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1911 0 0 0 60032 3882 0 0 25 0 1 0 19661121 13099008 1874 4294967295 134512640 134702520 3221223712 3220856608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3198 1874 413 48 0 3150 0
[pid=4804] vsize: 12792
Current children cumulated CPU time (s) 968.69
Current children cumulated vsize (Kb) 14920
[startup+1150.08 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1912 0 0 0 60967 3903 0 0 25 0 1 0 19661121 13246464 1875 4294967295 134512640 134702520 3221223712 3220837888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3234 1875 413 48 0 3186 0
[pid=4804] vsize: 12936
Current children cumulated CPU time (s) 978.25
Current children cumulated vsize (Kb) 15064
[startup+1160.08 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1924 0 0 0 61770 3964 0 0 25 0 1 0 19661121 13176832 1886 4294967295 134512640 134702520 3221223712 3220986348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3217 1886 413 48 0 3169 0
[pid=4804] vsize: 12868
Current children cumulated CPU time (s) 986.89
Current children cumulated vsize (Kb) 14996
[startup+1170.08 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1925 0 0 0 62636 4006 0 0 25 0 1 0 19661121 13176832 1887 4294967295 134512640 134702520 3221223712 3221061388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3217 1887 413 48 0 3169 0
[pid=4804] vsize: 12868
Current children cumulated CPU time (s) 995.97
Current children cumulated vsize (Kb) 14996
[startup+1180.08 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1930 0 0 0 63486 4058 0 0 25 0 1 0 19661121 13176832 1892 4294967295 134512640 134702520 3221223712 3221142208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3217 1892 413 48 0 3169 0
[pid=4804] vsize: 12868
Current children cumulated CPU time (s) 1004.99
Current children cumulated vsize (Kb) 14996
[startup+1190.08 s]
Raw data (loadavg): 1.15 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1933 0 0 0 64322 4108 0 0 17 0 1 0 19661121 13176832 1895 4294967295 134512640 134702520 3221223712 3221220108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3217 1895 413 48 0 3169 0
[pid=4804] vsize: 12868
Current children cumulated CPU time (s) 1013.85
Current children cumulated vsize (Kb) 14996
[startup+1200.09 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1935 0 0 0 65248 4135 0 0 17 0 1 0 19661121 13176832 1897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3217 1897 413 48 0 3169 0
[pid=4804] vsize: 12868
Current children cumulated CPU time (s) 1023.38
Current children cumulated vsize (Kb) 14996
[startup+1210.09 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1936 0 0 0 66148 4167 0 0 25 0 1 0 19661121 13176832 1898 4294967295 134512640 134702520 3221223712 3220623328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3217 1898 413 48 0 3169 0
[pid=4804] vsize: 12868
Current children cumulated CPU time (s) 1032.7
Current children cumulated vsize (Kb) 14996
[startup+1220.09 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1939 0 0 0 66966 4227 0 0 25 0 1 0 19661121 13176832 1901 4294967295 134512640 134702520 3221223712 3220831628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3217 1901 413 48 0 3169 0
[pid=4804] vsize: 12868
Current children cumulated CPU time (s) 1041.48
Current children cumulated vsize (Kb) 14996
[startup+1230.09 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1941 0 0 0 67617 4339 0 0 18 0 1 0 19661121 13320192 1903 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3252 1903 413 48 0 3204 0
[pid=4804] vsize: 13008
Current children cumulated CPU time (s) 1049.11
Current children cumulated vsize (Kb) 15136
[startup+1240.09 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1944 0 0 0 68363 4421 0 0 25 0 1 0 19661121 13250560 1905 4294967295 134512640 134702520 3221223712 3220960108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3235 1905 413 48 0 3187 0
[pid=4804] vsize: 12940
Current children cumulated CPU time (s) 1057.39
Current children cumulated vsize (Kb) 15068
[startup+1250.09 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1947 0 0 0 69205 4473 0 0 25 0 1 0 19661121 13250560 1908 4294967295 134512640 134702520 3221223712 3221054988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3235 1908 413 48 0 3187 0
[pid=4804] vsize: 12940
Current children cumulated CPU time (s) 1066.33
Current children cumulated vsize (Kb) 15068
[startup+1260.09 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1952 0 0 0 70077 4514 0 0 25 0 1 0 19661121 13250560 1913 4294967295 134512640 134702520 3221223712 3221123968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3235 1913 413 48 0 3187 0
[pid=4804] vsize: 12940
Current children cumulated CPU time (s) 1075.46
Current children cumulated vsize (Kb) 15068
[startup+1270.09 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1955 0 0 0 70950 4557 0 0 25 0 1 0 19661121 13250560 1916 4294967295 134512640 134702520 3221223712 3221182188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3235 1916 413 48 0 3187 0
[pid=4804] vsize: 12940
Current children cumulated CPU time (s) 1084.62
Current children cumulated vsize (Kb) 15068
[startup+1280.09 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1957 0 0 0 71830 4599 0 0 17 0 1 0 19661121 13250560 1918 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3235 1918 413 48 0 3187 0
[pid=4804] vsize: 12940
Current children cumulated CPU time (s) 1093.84
Current children cumulated vsize (Kb) 15068
[startup+1290.09 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1959 0 0 0 72770 4618 0 0 18 0 1 0 19661121 13324288 1920 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3253 1920 413 48 0 3205 0
[pid=4804] vsize: 13012
Current children cumulated CPU time (s) 1103.43
Current children cumulated vsize (Kb) 15140
[startup+1300.09 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1967 0 0 0 73637 4663 0 0 25 0 1 0 19661121 13324288 1928 4294967295 134512640 134702520 3221223712 3220717228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3253 1928 413 48 0 3205 0
[pid=4804] vsize: 13012
Current children cumulated CPU time (s) 1112.55
Current children cumulated vsize (Kb) 15140
[startup+1310.09 s]
Raw data (loadavg): 1.14 1.07 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1969 0 0 0 74234 4792 0 0 18 0 1 0 19661121 13471744 1930 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3289 1930 413 48 0 3241 0
[pid=4804] vsize: 13156
Current children cumulated CPU time (s) 1119.81
Current children cumulated vsize (Kb) 15284
[startup+1320.09 s]
Raw data (loadavg): 1.12 1.07 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1970 0 0 0 75028 4857 0 0 25 0 1 0 19661121 13332480 1930 4294967295 134512640 134702520 3221223712 3220873088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3255 1930 413 48 0 3207 0
[pid=4804] vsize: 13020
Current children cumulated CPU time (s) 1128.4
Current children cumulated vsize (Kb) 15148
[startup+1330.09 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1974 0 0 0 75826 4922 0 0 25 0 1 0 19661121 13332480 1934 4294967295 134512640 134702520 3221223712 3221020108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3255 1934 413 48 0 3207 0
[pid=4804] vsize: 13020
Current children cumulated CPU time (s) 1137.03
Current children cumulated vsize (Kb) 15148
[startup+1340.09 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1977 0 0 0 76717 4957 0 0 25 0 1 0 19661121 13332480 1937 4294967295 134512640 134702520 3221223712 3221078668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3255 1937 413 48 0 3207 0
[pid=4804] vsize: 13020
Current children cumulated CPU time (s) 1146.29
Current children cumulated vsize (Kb) 15148
[startup+1350.1 s]
Raw data (loadavg): 1.15 1.08 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1981 0 0 0 77568 5007 0 0 25 0 1 0 19661121 13332480 1941 4294967295 134512640 134702520 3221223712 3221153868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3255 1941 413 48 0 3207 0
[pid=4804] vsize: 13020
Current children cumulated CPU time (s) 1155.3
Current children cumulated vsize (Kb) 15148
[startup+1360.1 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1990 0 0 0 78412 5059 0 0 17 0 1 0 19661121 13332480 1950 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3255 1950 413 48 0 3207 0
[pid=4804] vsize: 13020
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (Kb) 15148
[startup+1370.1 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1992 0 0 0 79340 5085 0 0 17 0 1 0 19661121 13332480 1952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3255 1952 413 48 0 3207 0
[pid=4804] vsize: 13020
Current children cumulated CPU time (s) 1173.8
Current children cumulated vsize (Kb) 15148
[startup+1380.1 s]
Raw data (loadavg): 1.16 1.08 1.01 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1993 0 0 0 80194 5135 0 0 25 0 1 0 19661121 13332480 1953 4294967295 134512640 134702520 3221223712 3220737708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3255 1953 413 48 0 3207 0
[pid=4804] vsize: 13020
Current children cumulated CPU time (s) 1182.84
Current children cumulated vsize (Kb) 15148
[startup+1390.1 s]
Raw data (loadavg): 1.21 1.10 1.02 1/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) T 4736 4736 4004 0 -1 0 1995 0 0 0 80813 5256 0 0 18 0 1 0 19661121 13529088 1955 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4804/statm): 3303 1955 413 48 0 3255 0
[pid=4804] vsize: 13212
Current children cumulated CPU time (s) 1190.24
Current children cumulated vsize (Kb) 15340
[startup+1400.1 s]
Raw data (loadavg): 1.18 1.09 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1996 0 0 0 81531 5339 0 0 25 0 1 0 19661121 13389824 1955 4294967295 134512640 134702520 3221223712 3220957228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3269 1955 413 48 0 3221 0
[pid=4804] vsize: 13076
Current children cumulated CPU time (s) 1198.25
Current children cumulated vsize (Kb) 15204
[startup+1410.1 s]
Raw data (loadavg): 1.15 1.09 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1998 0 0 0 82373 5388 0 0 25 0 1 0 19661121 13389824 1957 4294967295 134512640 134702520 3221223712 3221070048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3269 1957 413 48 0 3221 0
[pid=4804] vsize: 13076
Current children cumulated CPU time (s) 1207.16
Current children cumulated vsize (Kb) 15204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1410.1 s]
Raw data (loadavg): 1.15 1.09 1.02 2/56 4804
Raw data (/proc/4736/stat): 4736 (vallstSAT2005PB) S 4735 4736 4004 0 -1 0 378 2268 0 0 1 1 28738 4215 18 0 1 0 19619252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4736/statm): 532 248 485 147 0 385 0
[pid=4736] vsize: 2128
Raw data (/proc/4804/stat): 4804 (vallst) R 4736 4736 4004 0 -1 0 1998 0 0 0 82373 5388 0 0 25 0 1 0 19661121 13389824 1957 4294967295 134512640 134702520 3221223712 3221070028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4804/statm): 3269 1957 413 48 0 3221 0
[pid=4804] vsize: 13076
Current children cumulated CPU time (s) 1207.16
Current children cumulated vsize (Kb) 15204
Sending SIGTERM to -4736
Sleeping 2 seconds
New process pid=4806
New process pid=4807
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/3986/stat
open syscall for file /proc/3986/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/3986/cmdline
open syscall for file /proc/3986/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/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/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/4697/stat
open syscall for file /proc/4697/status
open syscall for file /proc/4697/cmdline
open syscall for file /proc/4697/environ
open syscall for file /proc/4735/stat
open syscall for file /proc/4735/status
open syscall for file /proc/4735/cmdline
open syscall for file /proc/4735/environ
open syscall for file /proc/4736/stat
open syscall for file /proc/4736/status
open syscall for file /proc/4736/cmdline
open syscall for file /proc/4736/environ
open syscall for file /proc/4804/stat
open syscall for file /proc/4804/status
open syscall for file /proc/4804/cmdline
open syscall for file /proc/4804/environ
open syscall for file /proc/4806/stat
open syscall for file /proc/4806/status
open syscall for file /proc/4806/cmdline
open syscall for file /proc/4806/environ
open syscall for file /proc/4807/stat
open syscall for file /proc/4807/status
open syscall for file /proc/4807/cmdline
open syscall for file /proc/4807/environ
One traced child (pid=4806) exited with status: 0
One traced child (pid=4807) exited with status: 0
New process pid=4808
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=4808) exited with status: 0
New process pid=4809
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=4809) exited with status: 0
One traced child (pid=4736) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4736
One traced child (pid=4804) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1412.11
CPU time (s): 879.631
CPU user time (s): 825.738
CPU system time (s): 53.8928
CPU usage (%): 62.292
Max. virtual memory (cumulated for all children) (Kb): 15340