1:
seed: 0
Nr of vars set: 448 (#equs: 0)
Nr of vars set: 1648 (#equs: 3)
#decisions: 840137; #end-nodes: 92354;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 227 (223)
#axs: 372, #non-axs: 2098
tight: meta-meta: start: 3, end: 4; meta: start: 7, end (keep): 12
loose: meta-meta: start: 7, end: 10; meta: start: 24, end (keep): 36
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: 1652 (#equs: 3)
Time taken: 5 min, 20 sec
2:
seed: 0
Nr of vars set: 1652 (#equs: 0)
Nr of vars set: 1652 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1663 (#equs: 0)
Time taken: 14 min, 41 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (6937) - No such process
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/6932/stat): 6932 (vallstSAT2005PB) R 6931 6932 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20175191 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6932/statm): 174 3 169 147 0 27 0
[pid=6932] 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=6933
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=6933) exited with status: 0
New process pid=6934
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=6934) exited with status: 0
New process pid=6935
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/wulflinc12/normalized-mps-v2-13-7-dcmulti.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 830 0 0 0 957 11 0 0 25 0 1 0 20175198 4481024 741 4294967295 134512640 134702520 3221223952 3221223088 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1094 741 413 48 0 1046 0
[pid=6935] vsize: 4376
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (Kb) 6504
[startup+20.0039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 867 0 0 0 1920 24 0 0 25 0 1 0 20175198 6635520 778 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1620 778 413 48 0 1572 0
[pid=6935] vsize: 6480
Current children cumulated CPU time (s) 19.46
Current children cumulated vsize (Kb) 8608
[startup+30.0048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 884 0 0 0 2809 58 0 0 23 0 1 0 20175198 6660096 795 4294967295 134512640 134702520 3221223952 3221223232 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1626 795 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (Kb) 8632
[startup+40.0056 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 884 0 0 0 3676 102 0 0 22 0 1 0 20175198 6660096 795 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 795 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 37.8
Current children cumulated vsize (Kb) 8632
[startup+50.0074 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 4551 143 0 0 23 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 46.96
Current children cumulated vsize (Kb) 8632
[startup+60.0083 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 5460 173 0 0 25 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221222848 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 56.35
Current children cumulated vsize (Kb) 8632
[startup+70.0091 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 6454 175 0 0 25 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 66.31
Current children cumulated vsize (Kb) 8632
[startup+80.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 7294 229 0 0 25 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 75.25
Current children cumulated vsize (Kb) 8632
[startup+90.0108 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 8167 272 0 0 22 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 84.41
Current children cumulated vsize (Kb) 8632
[startup+100.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 894 0 0 0 9028 313 0 0 25 0 1 0 20175198 6660096 805 4294967295 134512640 134702520 3221223952 3221222976 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 805 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 93.43
Current children cumulated vsize (Kb) 8632
[startup+110.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 897 0 0 0 9930 346 0 0 25 0 1 0 20175198 6660096 808 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 808 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 102.78
Current children cumulated vsize (Kb) 8632
[startup+120.012 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 897 0 0 0 10924 348 0 0 25 0 1 0 20175198 6660096 808 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 808 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 112.74
Current children cumulated vsize (Kb) 8632
[startup+130.013 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 903 0 0 0 11771 399 0 0 25 0 1 0 20175198 6660096 814 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1626 814 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 121.72
Current children cumulated vsize (Kb) 8632
[startup+140.014 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 931 0 0 0 12661 435 0 0 25 0 1 0 20175198 6660096 842 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 842 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 130.98
Current children cumulated vsize (Kb) 8632
[startup+150.015 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 959 0 0 0 13509 487 0 0 25 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221059388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 8632
[startup+160.016 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 959 0 0 0 14417 519 0 0 25 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 149.38
Current children cumulated vsize (Kb) 8632
[startup+170.017 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 959 0 0 0 15415 520 0 0 25 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 159.37
Current children cumulated vsize (Kb) 8632
[startup+180.017 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 959 0 0 0 16256 572 0 0 23 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 168.3
Current children cumulated vsize (Kb) 8632
[startup+190.018 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 959 0 0 0 17129 615 0 0 25 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 177.46
Current children cumulated vsize (Kb) 8632
[startup+200.02 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 959 0 0 0 17979 662 0 0 23 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 186.43
Current children cumulated vsize (Kb) 8632
[startup+210.021 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 960 0 0 0 18823 709 0 0 23 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 195.34
Current children cumulated vsize (Kb) 8636
[startup+220.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 960 0 0 0 19782 723 0 0 25 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 205.07
Current children cumulated vsize (Kb) 8636
[startup+230.022 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 960 0 0 0 20719 743 0 0 23 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 214.64
Current children cumulated vsize (Kb) 8636
[startup+240.023 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 960 0 0 0 21612 777 0 0 25 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221222976 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 223.91
Current children cumulated vsize (Kb) 8636
[startup+250.024 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 960 0 0 0 22460 828 0 0 23 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 232.9
Current children cumulated vsize (Kb) 8636
[startup+260.025 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 976 0 0 0 23300 882 0 0 24 0 1 0 20175198 6664192 887 4294967295 134512640 134702520 3221223952 3221223228 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 887 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 241.84
Current children cumulated vsize (Kb) 8636
[startup+270.026 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 988 0 0 0 24156 931 0 0 25 0 1 0 20175198 6664192 899 4294967295 134512640 134702520 3221223952 3221222976 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 899 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 250.89
Current children cumulated vsize (Kb) 8636
[startup+280.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 989 0 0 0 25121 943 0 0 25 0 1 0 20175198 6664192 900 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 900 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 260.66
Current children cumulated vsize (Kb) 8636
[startup+290.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 989 0 0 0 26031 974 0 0 25 0 1 0 20175198 6664192 900 4294967295 134512640 134702520 3221223952 3221145788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 900 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 270.07
Current children cumulated vsize (Kb) 8636
[startup+300.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 989 0 0 0 26898 1017 0 0 24 0 1 0 20175198 6664192 900 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 900 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 279.17
Current children cumulated vsize (Kb) 8636
[startup+310.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 989 0 0 0 27730 1069 0 0 22 0 1 0 20175198 6664192 900 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 900 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 288.01
Current children cumulated vsize (Kb) 8636
[startup+320.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 993 0 0 0 28560 1125 0 0 23 0 1 0 20175198 6664192 904 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 904 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 296.87
Current children cumulated vsize (Kb) 8636
[startup+330.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 999 0 0 0 29437 1168 0 0 25 0 1 0 20175198 6664192 910 4294967295 134512640 134702520 3221223952 3221222976 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 910 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 306.07
Current children cumulated vsize (Kb) 8636
[startup+340.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 1000 0 0 0 30406 1180 0 0 25 0 1 0 20175198 6807552 911 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1662 911 413 48 0 1614 0
[pid=6935] vsize: 6648
Current children cumulated CPU time (s) 315.88
Current children cumulated vsize (Kb) 8776
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=6935) exited with status: 2
New process pid=6936
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=6936) exited with status: 0
New process pid=6937
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+350.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 666 0 0 0 470 21 0 0 25 0 1 0 20209670 4370432 636 4294967295 134512640 134702520 3221223712 3221222848 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1067 636 413 48 0 1019 0
[pid=6937] vsize: 4268
Current children cumulated CPU time (s) 325.49
Current children cumulated vsize (Kb) 6396
[startup+360.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 671 0 0 0 1415 38 0 0 25 0 1 0 20209670 4370432 641 4294967295 134512640 134702520 3221223712 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1067 641 413 48 0 1019 0
[pid=6937] vsize: 4268
Current children cumulated CPU time (s) 335.11
Current children cumulated vsize (Kb) 6396
[startup+370.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 726 0 0 0 2202 106 0 0 25 0 1 0 20209670 6598656 696 4294967295 134512640 134702520 3221223712 3221222736 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1611 696 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 343.66
Current children cumulated vsize (Kb) 8572
[startup+380.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 739 0 0 0 2920 197 0 0 18 0 1 0 20209670 6598656 709 4294967295 134512640 134702520 3221223712 3221222932 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1611 709 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 351.75
Current children cumulated vsize (Kb) 8572
[startup+390.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 744 0 0 0 3696 264 0 0 25 0 1 0 20209670 6598656 714 4294967295 134512640 134702520 3221223712 3221222608 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1611 714 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 360.18
Current children cumulated vsize (Kb) 8572
[startup+400.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 747 0 0 0 4644 279 0 0 25 0 1 0 20209670 6598656 717 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1611 717 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 369.81
Current children cumulated vsize (Kb) 8572
[startup+410.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 754 0 0 0 5399 358 0 0 25 0 1 0 20209670 6598656 724 4294967295 134512640 134702520 3221223712 3221222676 134550224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1611 724 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 378.15
Current children cumulated vsize (Kb) 8572
[startup+420.037 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 762 0 0 0 6131 448 0 0 18 0 1 0 20209670 6598656 732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1611 732 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 386.37
Current children cumulated vsize (Kb) 8572
[startup+430.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 767 0 0 0 6835 540 0 0 22 0 1 0 20209670 6733824 737 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1644 737 413 48 0 1596 0
[pid=6937] vsize: 6576
Current children cumulated CPU time (s) 394.33
Current children cumulated vsize (Kb) 8704
[startup+440.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 768 0 0 0 7778 560 0 0 25 0 1 0 20209670 6733824 738 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1644 738 413 48 0 1596 0
[pid=6937] vsize: 6576
Current children cumulated CPU time (s) 403.96
Current children cumulated vsize (Kb) 8704
[startup+450.039 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 769 0 0 0 8562 629 0 0 18 0 1 0 20209670 6701056 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 739 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 412.49
Current children cumulated vsize (Kb) 8672
[startup+460.04 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 774 0 0 0 9247 730 0 0 20 0 1 0 20209670 6701056 744 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 744 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 420.35
Current children cumulated vsize (Kb) 8672
[startup+470.04 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 778 0 0 0 9906 840 0 0 25 0 1 0 20209670 6701056 748 4294967295 134512640 134702520 3221223712 3221222736 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 748 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 428.04
Current children cumulated vsize (Kb) 8672
[startup+480.042 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 786 0 0 0 10696 909 0 0 25 0 1 0 20209670 6701056 756 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 756 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 436.63
Current children cumulated vsize (Kb) 8672
[startup+490.043 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 789 0 0 0 11647 926 0 0 25 0 1 0 20209670 6701056 759 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 759 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 446.31
Current children cumulated vsize (Kb) 8672
[startup+500.044 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 791 0 0 0 12342 1027 0 0 25 0 1 0 20209670 6701056 761 4294967295 134512640 134702520 3221223712 3221222736 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 761 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 454.27
Current children cumulated vsize (Kb) 8672
[startup+510.044 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 798 0 0 0 13051 1119 0 0 22 0 1 0 20209670 6701056 768 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1636 768 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (Kb) 8672
[startup+520.044 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 801 0 0 0 13745 1220 0 0 22 0 1 0 20209670 6701056 771 4294967295 134512640 134702520 3221223712 3221222736 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 771 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 470.23
Current children cumulated vsize (Kb) 8672
[startup+530.045 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 803 0 0 0 14667 1245 0 0 25 0 1 0 20209670 6860800 773 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1675 773 413 48 0 1627 0
[pid=6937] vsize: 6700
Current children cumulated CPU time (s) 479.7
Current children cumulated vsize (Kb) 8828
[startup+540.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 806 0 0 0 15491 1306 0 0 25 0 1 0 20209670 6795264 776 4294967295 134512640 134702520 3221223712 3221222736 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 776 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 488.55
Current children cumulated vsize (Kb) 8764
[startup+550.048 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 810 0 0 0 16190 1405 0 0 19 0 1 0 20209670 6795264 780 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 780 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 496.53
Current children cumulated vsize (Kb) 8764
[startup+560.049 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 813 0 0 0 16893 1501 0 0 20 0 1 0 20209670 6795264 783 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 783 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 504.52
Current children cumulated vsize (Kb) 8764
[startup+570.048 s]
Raw data (loadavg): 1.14 1.04 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 815 0 0 0 17695 1566 0 0 25 0 1 0 20209670 6795264 785 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 785 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 513.19
Current children cumulated vsize (Kb) 8764
[startup+580.049 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 816 0 0 0 18631 1586 0 0 21 0 1 0 20209670 6795264 786 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1659 786 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 522.75
Current children cumulated vsize (Kb) 8764
[startup+590.05 s]
Raw data (loadavg): 1.18 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 823 0 0 0 19324 1684 0 0 19 0 1 0 20209670 6795264 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1659 793 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 530.66
Current children cumulated vsize (Kb) 8764
[startup+600.051 s]
Raw data (loadavg): 1.23 1.07 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 835 0 0 0 20031 1781 0 0 25 0 1 0 20209670 6795264 805 4294967295 134512640 134702520 3221223712 3221222736 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 805 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 538.7
Current children cumulated vsize (Kb) 8764
[startup+610.052 s]
Raw data (loadavg): 1.27 1.08 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 837 0 0 0 20700 1888 0 0 25 0 1 0 20209670 6795264 807 4294967295 134512640 134702520 3221223712 3221041068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 807 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 546.46
Current children cumulated vsize (Kb) 8764
[startup+620.053 s]
Raw data (loadavg): 1.22 1.08 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 840 0 0 0 21618 1917 0 0 25 0 1 0 20209670 6938624 810 4294967295 134512640 134702520 3221223712 3221222548 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1694 810 413 48 0 1646 0
[pid=6937] vsize: 6776
Current children cumulated CPU time (s) 555.93
Current children cumulated vsize (Kb) 8904
[startup+630.053 s]
Raw data (loadavg): 1.19 1.08 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 846 0 0 0 22460 1970 0 0 25 0 1 0 20209670 6873088 816 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1678 816 413 48 0 1630 0
[pid=6937] vsize: 6712
Current children cumulated CPU time (s) 564.88
Current children cumulated vsize (Kb) 8840
[startup+640.054 s]
Raw data (loadavg): 1.16 1.08 1.02 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 883 0 0 0 23134 2078 0 0 18 0 1 0 20209670 6873088 853 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1678 853 413 48 0 1630 0
[pid=6937] vsize: 6712
Current children cumulated CPU time (s) 572.7
Current children cumulated vsize (Kb) 8840
[startup+650.056 s]
Raw data (loadavg): 1.14 1.07 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 909 0 0 0 23890 2156 0 0 19 0 1 0 20209670 6873088 879 4294967295 134512640 134702520 3221223712 3221223104 134603349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1678 879 413 48 0 1630 0
[pid=6937] vsize: 6712
Current children cumulated CPU time (s) 581.04
Current children cumulated vsize (Kb) 8840
[startup+660.057 s]
Raw data (loadavg): 1.11 1.07 1.02 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 928 0 0 0 24575 2256 0 0 19 0 1 0 20209670 7131136 898 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1741 898 413 48 0 1693 0
[pid=6937] vsize: 6964
Current children cumulated CPU time (s) 588.89
Current children cumulated vsize (Kb) 9092
[startup+670.058 s]
Raw data (loadavg): 1.10 1.07 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 933 0 0 0 25479 2288 0 0 25 0 1 0 20209670 7278592 903 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1777 903 413 48 0 1729 0
[pid=6937] vsize: 7108
Current children cumulated CPU time (s) 598.25
Current children cumulated vsize (Kb) 9236
[startup+680.059 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 936 0 0 0 26344 2332 0 0 18 0 1 0 20209670 7217152 906 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1762 906 413 48 0 1714 0
[pid=6937] vsize: 7048
Current children cumulated CPU time (s) 607.34
Current children cumulated vsize (Kb) 9176
[startup+690.06 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 940 0 0 0 27095 2415 0 0 19 0 1 0 20209670 7217152 910 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1762 910 413 48 0 1714 0
[pid=6937] vsize: 7048
Current children cumulated CPU time (s) 615.68
Current children cumulated vsize (Kb) 9176
[startup+700.06 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 947 0 0 0 27842 2496 0 0 25 0 1 0 20209670 7217152 917 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1762 917 413 48 0 1714 0
[pid=6937] vsize: 7048
Current children cumulated CPU time (s) 623.96
Current children cumulated vsize (Kb) 9176
[startup+710.061 s]
Raw data (loadavg): 1.12 1.07 1.02 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 950 0 0 0 28557 2588 0 0 19 0 1 0 20209670 7217152 920 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1762 920 413 48 0 1714 0
[pid=6937] vsize: 7048
Current children cumulated CPU time (s) 632.03
Current children cumulated vsize (Kb) 9176
[startup+720.062 s]
Raw data (loadavg): 1.10 1.07 1.02 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 953 0 0 0 29445 2624 0 0 25 0 1 0 20209670 7368704 923 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1799 923 413 48 0 1751 0
[pid=6937] vsize: 7196
Current children cumulated CPU time (s) 641.27
Current children cumulated vsize (Kb) 9324
[startup+730.063 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 957 0 0 0 30331 2664 0 0 19 0 1 0 20209670 7307264 927 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 927 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 650.53
Current children cumulated vsize (Kb) 9264
[startup+740.064 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 959 0 0 0 31098 2739 0 0 19 0 1 0 20209670 7307264 929 4294967295 134512640 134702520 3221223712 3221223112 134607291 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 929 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 658.95
Current children cumulated vsize (Kb) 9264
[startup+750.065 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 961 0 0 0 31815 2830 0 0 25 0 1 0 20209670 7307264 931 4294967295 134512640 134702520 3221223712 3221087168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 931 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 667.03
Current children cumulated vsize (Kb) 9264
[startup+760.065 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 967 0 0 0 32548 2920 0 0 19 0 1 0 20209670 7307264 937 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1784 937 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 675.26
Current children cumulated vsize (Kb) 9264
[startup+770.065 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 969 0 0 0 33424 2960 0 0 25 0 1 0 20209670 7307264 939 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 939 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (Kb) 9264
[startup+780.066 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 971 0 0 0 34327 2993 0 0 20 0 1 0 20209670 7307264 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1784 941 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 693.78
Current children cumulated vsize (Kb) 9264
[startup+790.067 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 977 0 0 0 35099 3070 0 0 19 0 1 0 20209670 7307264 947 4294967295 134512640 134702520 3221223712 3221223148 1074228942 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 947 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (Kb) 9264
[startup+800.068 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 990 0 0 0 35835 3153 0 0 25 0 1 0 20209670 7307264 960 4294967295 134512640 134702520 3221223712 3220984288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 960 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 710.46
Current children cumulated vsize (Kb) 9264
[startup+810.069 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 997 0 0 0 36557 3243 0 0 18 0 1 0 20209670 7307264 967 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 967 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 718.58
Current children cumulated vsize (Kb) 9264
[startup+820.068 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1000 0 0 0 37455 3274 0 0 25 0 1 0 20209670 7467008 970 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1823 970 413 48 0 1775 0
[pid=6937] vsize: 7292
Current children cumulated CPU time (s) 727.87
Current children cumulated vsize (Kb) 9420
[startup+830.07 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1002 0 0 0 38322 3318 0 0 18 0 1 0 20209670 7401472 972 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1807 972 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 736.98
Current children cumulated vsize (Kb) 9356
[startup+840.071 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1004 0 0 0 39074 3401 0 0 23 0 1 0 20209670 7401472 974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1807 974 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 745.33
Current children cumulated vsize (Kb) 9356
[startup+850.073 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1006 0 0 0 39744 3510 0 0 17 0 1 0 20209670 7401472 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 976 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 753.12
Current children cumulated vsize (Kb) 9356
[startup+860.074 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1010 0 0 0 40469 3598 0 0 19 0 1 0 20209670 7401472 980 4294967295 134512640 134702520 3221223712 3221223148 1074228931 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 980 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 761.25
Current children cumulated vsize (Kb) 9356
[startup+870.074 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1014 0 0 0 41289 3658 0 0 25 0 1 0 20209670 7401472 984 4294967295 134512640 134702520 3221223712 3221222608 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 984 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 770.05
Current children cumulated vsize (Kb) 9356
[startup+880.074 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1015 0 0 0 42217 3682 0 0 18 0 1 0 20209670 7401472 985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 985 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 779.57
Current children cumulated vsize (Kb) 9356
[startup+890.075 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1016 0 0 0 42848 3799 0 0 18 0 1 0 20209670 7401472 986 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 986 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 787.05
Current children cumulated vsize (Kb) 9356
[startup+900.076 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1017 0 0 0 43509 3910 0 0 22 0 1 0 20209670 7401472 987 4294967295 134512640 134702520 3221223712 3221146528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1807 987 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 794.77
Current children cumulated vsize (Kb) 9356
[startup+910.077 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1028 0 0 0 44197 4013 0 0 18 0 1 0 20209670 7401472 998 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 998 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 802.68
Current children cumulated vsize (Kb) 9356
[startup+920.078 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1030 0 0 0 44875 4117 0 0 25 0 1 0 20209670 7401472 1000 4294967295 134512640 134702520 3221223712 3221106508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1807 1000 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 810.5
Current children cumulated vsize (Kb) 9356
[startup+930.079 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1034 0 0 0 45790 4143 0 0 25 0 1 0 20209670 7565312 1004 4294967295 134512640 134702520 3221223712 3221222548 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1847 1004 413 48 0 1799 0
[pid=6937] vsize: 7388
Current children cumulated CPU time (s) 819.91
Current children cumulated vsize (Kb) 9516
[startup+940.079 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1035 0 0 0 46611 4200 0 0 18 0 1 0 20209670 7499776 1005 4294967295 134512640 134702520 3221223712 3221218528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1005 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 828.69
Current children cumulated vsize (Kb) 9452
[startup+950.08 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1038 0 0 0 47341 4286 0 0 18 0 1 0 20209670 7499776 1008 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1008 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 836.85
Current children cumulated vsize (Kb) 9452
[startup+960.081 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1040 0 0 0 47979 4396 0 0 19 0 1 0 20209670 7499776 1010 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1831 1010 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 844.33
Current children cumulated vsize (Kb) 9452
[startup+970.082 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1042 0 0 0 48705 4485 0 0 18 0 1 0 20209670 7499776 1012 4294967295 134512640 134702520 3221223712 3221222992 134553367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1831 1012 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 852.48
Current children cumulated vsize (Kb) 9452
[startup+980.083 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1045 0 0 0 49496 4551 0 0 25 0 1 0 20209670 7499776 1015 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1015 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 861.05
Current children cumulated vsize (Kb) 9452
[startup+990.084 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1047 0 0 0 50456 4564 0 0 25 0 1 0 20209670 7499776 1017 4294967295 134512640 134702520 3221223712 3221222608 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1017 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 870.78
Current children cumulated vsize (Kb) 9452
[startup+1000.09 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1048 0 0 0 51111 4676 0 0 18 0 1 0 20209670 7499776 1018 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1831 1018 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 878.45
Current children cumulated vsize (Kb) 9452
[startup+1010.09 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1052 0 0 0 51827 4768 0 0 25 0 1 0 20209670 7499776 1022 4294967295 134512640 134702520 3221223712 3221222736 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1022 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 886.53
Current children cumulated vsize (Kb) 9452
[startup+1020.09 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1053 0 0 0 52502 4873 0 0 18 0 1 0 20209670 7499776 1023 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1023 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 894.33
Current children cumulated vsize (Kb) 9452
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1072 0 0 0 53189 4975 0 0 25 0 1 0 20209670 7499776 1042 4294967295 134512640 134702520 3221223712 3221085068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1831 1042 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 902.22
Current children cumulated vsize (Kb) 9452
[startup+1040.09 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1075 0 0 0 54107 5002 0 0 25 0 1 0 20209670 7663616 1045 4294967295 134512640 134702520 3221223712 3221222608 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1871 1045 413 48 0 1823 0
[pid=6937] vsize: 7484
Current children cumulated CPU time (s) 911.67
Current children cumulated vsize (Kb) 9612
[startup+1050.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1076 0 0 0 54908 5068 0 0 18 0 1 0 20209670 7602176 1046 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1046 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 920.34
Current children cumulated vsize (Kb) 9552
[startup+1060.09 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1080 0 0 0 55646 5155 0 0 18 0 1 0 20209670 7602176 1050 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1050 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 928.59
Current children cumulated vsize (Kb) 9552
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1094 0 0 0 56330 5259 0 0 18 0 1 0 20209670 7602176 1064 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1856 1064 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 936.47
Current children cumulated vsize (Kb) 9552
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1097 0 0 0 57023 5359 0 0 25 0 1 0 20209670 7602176 1067 4294967295 134512640 134702520 3221223712 3221072108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1067 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 944.4
Current children cumulated vsize (Kb) 9552
[startup+1090.09 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1101 0 0 0 57710 5456 0 0 22 0 1 0 20209670 7602176 1071 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1071 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 952.24
Current children cumulated vsize (Kb) 9552
[startup+1100.1 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1102 0 0 0 58657 5474 0 0 25 0 1 0 20209670 7602176 1072 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1072 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 961.89
Current children cumulated vsize (Kb) 9552
[startup+1110.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1103 0 0 0 59379 5565 0 0 17 0 1 0 20209670 7602176 1073 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1856 1073 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 970.02
Current children cumulated vsize (Kb) 9552
[startup+1120.1 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1106 0 0 0 60096 5655 0 0 19 0 1 0 20209670 7602176 1076 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1856 1076 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 978.09
Current children cumulated vsize (Kb) 9552
[startup+1130.1 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1107 0 0 0 60768 5764 0 0 19 0 1 0 20209670 7602176 1077 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1077 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 985.9
Current children cumulated vsize (Kb) 9552
[startup+1140.1 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1111 0 0 0 61476 5856 0 0 25 0 1 0 20209670 7602176 1081 4294967295 134512640 134702520 3221223712 3221096428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1081 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 993.9
Current children cumulated vsize (Kb) 9552
[startup+1150.1 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1115 0 0 0 62208 5939 0 0 25 0 1 0 20209670 7712768 1085 4294967295 134512640 134702520 3221223712 3221222608 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1085 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (Kb) 9660
[startup+1160.1 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1117 0 0 0 63152 5959 0 0 25 0 1 0 20209670 7712768 1087 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1087 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1011.69
Current children cumulated vsize (Kb) 9660
[startup+1170.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1118 0 0 0 63918 6033 0 0 18 0 1 0 20209670 7712768 1088 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1088 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1020.09
Current children cumulated vsize (Kb) 9660
[startup+1180.1 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1120 0 0 0 64578 6140 0 0 19 0 1 0 20209670 7712768 1090 4294967295 134512640 134702520 3221223712 3221192748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1090 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1027.76
Current children cumulated vsize (Kb) 9660
[startup+1190.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1123 0 0 0 65295 6237 0 0 22 0 1 0 20209670 7712768 1093 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1093 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1035.9
Current children cumulated vsize (Kb) 9660
[startup+1200.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1123 0 0 0 65965 6343 0 0 18 0 1 0 20209670 7712768 1093 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1093 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1043.66
Current children cumulated vsize (Kb) 9660
[startup+1210.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1126 0 0 0 66793 6399 0 0 25 0 1 0 20209670 7712768 1096 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1096 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1052.5
Current children cumulated vsize (Kb) 9660
[startup+1220.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1128 0 0 0 67737 6417 0 0 21 0 1 0 20209670 7712768 1098 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1098 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (Kb) 9660
[startup+1230.11 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1130 0 0 0 68416 6518 0 0 18 0 1 0 20209670 7712768 1100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1100 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1069.92
Current children cumulated vsize (Kb) 9660
[startup+1240.11 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1132 0 0 0 69096 6617 0 0 18 0 1 0 20209670 7712768 1102 4294967295 134512640 134702520 3221223712 3221215168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1883 1102 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1077.71
Current children cumulated vsize (Kb) 9660
[startup+1250.11 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1137 0 0 0 69826 6708 0 0 18 0 1 0 20209670 7712768 1107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1107 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1085.92
Current children cumulated vsize (Kb) 9660
[startup+1260.11 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1139 0 0 0 70494 6808 0 0 18 0 1 0 20209670 7819264 1109 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1909 1109 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1093.6
Current children cumulated vsize (Kb) 9764
[startup+1270.11 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1142 0 0 0 71357 6854 0 0 25 0 1 0 20209670 7819264 1112 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1112 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1102.69
Current children cumulated vsize (Kb) 9764
[startup+1280.11 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1144 0 0 0 72279 6880 0 0 19 0 1 0 20209670 7819264 1114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1114 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1112.17
Current children cumulated vsize (Kb) 9764
[startup+1290.11 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1149 0 0 0 72949 6991 0 0 20 0 1 0 20209670 7819264 1119 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1119 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1119.98
Current children cumulated vsize (Kb) 9764
[startup+1300.11 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1154 0 0 0 73606 7102 0 0 18 0 1 0 20209670 7819264 1124 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1124 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1127.66
Current children cumulated vsize (Kb) 9764
[startup+1310.12 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1157 0 0 0 74298 7199 0 0 23 0 1 0 20209670 7819264 1127 4294967295 134512640 134702520 3221223712 3221143628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1909 1127 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1135.55
Current children cumulated vsize (Kb) 9764
[startup+1320.12 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1163 0 0 0 75003 7292 0 0 18 0 1 0 20209670 7819264 1133 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1133 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1143.53
Current children cumulated vsize (Kb) 9764
[startup+1330.12 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1165 0 0 0 75804 7358 0 0 25 0 1 0 20209670 7979008 1135 4294967295 134512640 134702520 3221223712 3221222912 134617886 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1948 1135 413 48 0 1900 0
[pid=6937] vsize: 7792
Current children cumulated CPU time (s) 1152.2
Current children cumulated vsize (Kb) 9920
[startup+1340.12 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1168 0 0 0 76761 7373 0 0 25 0 1 0 20209670 7979008 1138 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1948 1138 413 48 0 1900 0
[pid=6937] vsize: 7792
Current children cumulated CPU time (s) 1161.92
Current children cumulated vsize (Kb) 9920
[startup+1350.12 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1183 0 0 0 77448 7473 0 0 18 0 1 0 20209670 7917568 1153 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1933 1153 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1169.79
Current children cumulated vsize (Kb) 9860
[startup+1360.12 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1186 0 0 0 78121 7577 0 0 18 0 1 0 20209670 7917568 1156 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1933 1156 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1177.56
Current children cumulated vsize (Kb) 9860
[startup+1370.12 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1190 0 0 0 78840 7666 0 0 25 0 1 0 20209670 7917568 1160 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1933 1160 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1185.64
Current children cumulated vsize (Kb) 9860
[startup+1380.12 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1192 0 0 0 79557 7761 0 0 19 0 1 0 20209670 7917568 1162 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1933 1162 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1193.76
Current children cumulated vsize (Kb) 9860
[startup+1390.12 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1196 0 0 0 80377 7821 0 0 25 0 1 0 20209670 7917568 1166 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1933 1166 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1202.56
Current children cumulated vsize (Kb) 9860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1390.12 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1196 0 0 0 80377 7821 0 0 25 0 1 0 20209670 7917568 1166 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1933 1166 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1202.56
Current children cumulated vsize (Kb) 9860
Sending SIGTERM to -6932
Sleeping 2 seconds
New process pid=6939
New process pid=6940
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/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/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/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/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6893/stat
open syscall for file /proc/6893/status
open syscall for file /proc/6893/cmdline
open syscall for file /proc/6893/environ
open syscall for file /proc/6931/stat
open syscall for file /proc/6931/status
open syscall for file /proc/6931/cmdline
open syscall for file /proc/6931/environ
open syscall for file /proc/6932/stat
open syscall for file /proc/6932/status
open syscall for file /proc/6932/cmdline
open syscall for file /proc/6932/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/6937/stat
open syscall for file /proc/6937/status
open syscall for file /proc/6937/cmdline
open syscall for file /proc/6937/environ
open syscall for file /proc/6939/stat
open syscall for file /proc/6939/status
open syscall for file /proc/6939/cmdline
open syscall for file /proc/6939/environ
open syscall for file /proc/6940/stat
open syscall for file /proc/6940/status
open syscall for file /proc/6940/cmdline
open syscall for file /proc/6940/environ
One traced child (pid=6939) exited with status: 0
One traced child (pid=6937) exited with status: 3
One traced child (pid=6940) exited with status: 0
New process pid=6941
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=6941) exited with status: 0
New process pid=6942
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=6942) exited with status: 0
One traced child (pid=6932) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1390.61
CPU time (s): 1202.77
CPU user time (s): 1112.63
CPU system time (s): 90.1433
CPU usage (%): 86.4926
Max. virtual memory (cumulated for all children) (Kb): 9920