1:
seed: 0
Nr of vars set: 73 (#equs: 0)
Nr of vars set: 73 (#equs: 0)
#decisions: 1059923; #end-nodes: 87715;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 223 (223)
#axs: 3226, #non-axs: 3
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 73 (#equs: 0)
Time taken: 5 min, 30 sec
2:
seed: 0
Nr of vars set: 73 (#equs: 0)
Nr of vars set: 73 (#equs: 0)
Interupt request received.
#decisions: 4684794; #end-nodes: 774316;
#proof improvement attempts: 0; #restarts: 2051
Current batch, end-nodes: 137 / 632 (632)
#axs: 3215, #non-axs: 1438
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4697 (#equs: 0)
Time taken: 14 min, 29 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) R 5561 5562 4005 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19965542 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5562/statm): 174 3 169 147 0 27 0
[pid=5562] 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=5563
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=5563) exited with status: 0
New process pid=5564
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=5564) exited with status: 0
New process pid=5565
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/wulflinc28/normalized-mps-v2-13-7-mkc.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0031 s]
Raw data (loadavg): 0.93 1.00 0.99 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 538 0 0 0 438 178 0 0 16 0 1 0 19965552 3768320 508 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 920 508 413 48 0 872 0
[pid=5565] vsize: 3680
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (Kb) 5808
[startup+20.0048 s]
Raw data (loadavg): 0.94 1.00 0.99 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 621 0 0 0 1008 316 0 0 20 0 1 0 19965552 5758976 591 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 591 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 13.25
Current children cumulated vsize (Kb) 7752
[startup+30.0055 s]
Raw data (loadavg): 0.95 1.00 0.99 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1054 0 0 0 1779 389 0 0 20 0 1 0 19965552 5758976 1024 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1024 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 21.69
Current children cumulated vsize (Kb) 7752
[startup+40.0062 s]
Raw data (loadavg): 0.95 1.00 0.99 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1054 0 0 0 2464 495 0 0 18 0 1 0 19965552 5758976 1024 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1024 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 29.6
Current children cumulated vsize (Kb) 7752
[startup+50.0068 s]
Raw data (loadavg): 1.04 1.02 0.99 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 3192 584 0 0 20 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 37.77
Current children cumulated vsize (Kb) 7752
[startup+60.0065 s]
Raw data (loadavg): 1.03 1.02 0.99 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 3896 679 0 0 18 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 45.76
Current children cumulated vsize (Kb) 7752
[startup+70.0082 s]
Raw data (loadavg): 1.03 1.01 0.99 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 4304 874 0 0 16 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 51.79
Current children cumulated vsize (Kb) 7752
[startup+80.0089 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1058 0 0 0 4978 980 0 0 20 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221222592 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 59.59
Current children cumulated vsize (Kb) 7752
[startup+90.0095 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1058 0 0 0 5737 1061 0 0 25 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223072 134572157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 67.99
Current children cumulated vsize (Kb) 7752
[startup+100.01 s]
Raw data (loadavg): 1.02 1.01 0.99 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 6488 1142 0 0 20 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 76.31
Current children cumulated vsize (Kb) 7752
[startup+110.011 s]
Raw data (loadavg): 1.01 1.01 0.99 2/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1058 0 0 0 7297 1205 0 0 25 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 85.03
Current children cumulated vsize (Kb) 7752
[startup+120.013 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 8008 1299 0 0 20 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 93.08
Current children cumulated vsize (Kb) 7752
[startup+130.013 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 8608 1432 0 0 17 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 100.41
Current children cumulated vsize (Kb) 7752
[startup+140.015 s]
Raw data (loadavg): 1.14 1.04 1.00 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 9081 1601 0 0 19 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 106.83
Current children cumulated vsize (Kb) 7752
[startup+150.016 s]
Raw data (loadavg): 1.12 1.04 1.00 2/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1058 0 0 0 9802 1695 0 0 20 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 114.98
Current children cumulated vsize (Kb) 7752
[startup+160.016 s]
Raw data (loadavg): 1.10 1.04 1.00 2/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 10542 1776 0 0 24 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 123.19
Current children cumulated vsize (Kb) 7752
[startup+170.017 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 11330 1847 0 0 24 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 131.78
Current children cumulated vsize (Kb) 7752
[startup+180.018 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1058 0 0 0 12064 1933 0 0 23 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 7752
[startup+190.019 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1058 0 0 0 12849 1999 0 0 22 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221222976 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 148.49
Current children cumulated vsize (Kb) 7752
[startup+200.02 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1058 0 0 0 13252 2192 0 0 16 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 154.45
Current children cumulated vsize (Kb) 7752
[startup+210.02 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5565
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1058 0 0 0 13862 2322 0 0 20 0 1 0 19965552 5758976 1028 4294967295 134512640 134702520 3221223952 3221223232 134552472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1028 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 161.85
Current children cumulated vsize (Kb) 7752
[startup+220.021 s]
Raw data (loadavg): 1.11 1.04 1.01 2/58 5567
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1059 0 0 0 14599 2404 0 0 21 0 1 0 19965552 5758976 1029 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1029 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 7752
[startup+230.022 s]
Raw data (loadavg): 1.17 1.06 1.01 2/56 5567
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1059 0 0 0 15403 2464 0 0 25 0 1 0 19965552 5758976 1029 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1029 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 178.68
Current children cumulated vsize (Kb) 7752
[startup+240.023 s]
Raw data (loadavg): 1.30 1.09 1.02 1/56 5567
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1059 0 0 0 16095 2567 0 0 19 0 1 0 19965552 5758976 1029 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1029 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 186.63
Current children cumulated vsize (Kb) 7752
[startup+250.023 s]
Raw data (loadavg): 1.25 1.08 1.02 2/56 5567
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1059 0 0 0 16844 2651 0 0 25 0 1 0 19965552 5758976 1029 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1029 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 194.96
Current children cumulated vsize (Kb) 7752
[startup+260.024 s]
Raw data (loadavg): 1.21 1.08 1.02 1/56 5567
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1059 0 0 0 17377 2803 0 0 16 0 1 0 19965552 5758976 1029 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1029 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 201.81
Current children cumulated vsize (Kb) 7752
[startup+270.025 s]
Raw data (loadavg): 1.18 1.08 1.02 2/56 5567
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1059 0 0 0 17903 2958 0 0 19 0 1 0 19965552 5758976 1029 4294967295 134512640 134702520 3221223952 3221222720 134550369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1406 1029 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 208.62
Current children cumulated vsize (Kb) 7752
[startup+280.025 s]
Raw data (loadavg): 1.15 1.08 1.02 1/56 5567
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1059 0 0 0 18723 3019 0 0 22 0 1 0 19965552 5758976 1029 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1029 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 217.43
Current children cumulated vsize (Kb) 7752
[startup+290.027 s]
Raw data (loadavg): 1.20 1.09 1.02 1/56 5567
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1059 0 0 0 19415 3124 0 0 22 0 1 0 19965552 5758976 1029 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1406 1029 413 48 0 1358 0
[pid=5565] vsize: 5624
Current children cumulated CPU time (s) 225.4
Current children cumulated vsize (Kb) 7752
[startup+300.028 s]
Raw data (loadavg): 1.17 1.09 1.02 1/56 5567
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1123 0 0 0 20139 3213 0 0 19 0 1 0 19965552 6000640 1093 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1093 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 233.53
Current children cumulated vsize (Kb) 7988
[startup+310.028 s]
Raw data (loadavg): 1.22 1.10 1.02 1/56 5622
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1140 0 0 0 20838 3313 0 0 18 0 1 0 19965552 6000640 1110 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1110 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 241.52
Current children cumulated vsize (Kb) 7988
[startup+320.03 s]
Raw data (loadavg): 1.18 1.10 1.02 2/56 5622
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1152 0 0 0 21598 3389 0 0 25 0 1 0 19965552 6000640 1122 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1122 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 249.88
Current children cumulated vsize (Kb) 7988
[startup+330.031 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5622
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1152 0 0 0 22278 3496 0 0 17 0 1 0 19965552 6000640 1122 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1465 1122 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 257.75
Current children cumulated vsize (Kb) 7988
[startup+340.031 s]
Raw data (loadavg): 1.21 1.10 1.03 2/56 5622
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1153 0 0 0 22732 3675 0 0 19 0 1 0 19965552 6000640 1123 4294967295 134512640 134702520 3221223952 3221222720 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1123 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 264.08
Current children cumulated vsize (Kb) 7988
[startup+350.032 s]
Raw data (loadavg): 1.18 1.10 1.02 1/56 5622
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1155 0 0 0 23461 3765 0 0 22 0 1 0 19965552 6000640 1125 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1465 1125 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 272.27
Current children cumulated vsize (Kb) 7988
[startup+360.033 s]
Raw data (loadavg): 1.15 1.10 1.02 2/56 5622
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1155 0 0 0 24250 3830 0 0 25 0 1 0 19965552 6000640 1125 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1125 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 280.81
Current children cumulated vsize (Kb) 7988
[startup+370.035 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5624
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1155 0 0 0 25079 3889 0 0 22 0 1 0 19965552 6000640 1125 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1125 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 289.69
Current children cumulated vsize (Kb) 7988
[startup+380.035 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5626
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1156 0 0 0 25818 3976 0 0 22 0 1 0 19965552 6000640 1126 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1126 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 297.95
Current children cumulated vsize (Kb) 7988
[startup+390.037 s]
Raw data (loadavg): 1.09 1.08 1.02 2/56 5626
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1156 0 0 0 26622 4042 0 0 25 0 1 0 19965552 6000640 1126 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1126 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 306.65
Current children cumulated vsize (Kb) 7988
[startup+400.038 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 5626
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) R 5562 5562 4005 0 -1 0 1159 0 0 0 27454 4096 0 0 25 0 1 0 19965552 6000640 1129 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1129 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 315.51
Current children cumulated vsize (Kb) 7988
[startup+410.038 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5626
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1165 0 0 0 27983 4244 0 0 16 0 1 0 19965552 6000640 1135 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5565/statm): 1465 1135 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 322.28
Current children cumulated vsize (Kb) 7988
[startup+420.039 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 5626
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19965542 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 242 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5565/stat): 5565 (vallst) T 5562 5562 4005 0 -1 0 1166 0 0 0 28520 4404 0 0 18 0 1 0 19965552 6000640 1136 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5565/statm): 1465 1136 413 48 0 1417 0
[pid=5565] vsize: 5860
Current children cumulated CPU time (s) 329.25
Current children cumulated vsize (Kb) 7988
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=5565) exited with status: 2
New process pid=5627
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=5627) exited with status: 0
New process pid=5628
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+430.04 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 456 0 0 0 322 147 0 0 16 0 1 0 20007763 3301376 426 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 806 426 413 48 0 758 0
[pid=5628] vsize: 3224
Current children cumulated CPU time (s) 335.58
Current children cumulated vsize (Kb) 5352
[startup+440.04 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 460 0 0 0 811 310 0 0 19 0 1 0 20007763 3301376 430 4294967295 134512640 134702520 3221223712 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 806 430 413 48 0 758 0
[pid=5628] vsize: 3224
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (Kb) 5352
[startup+450.041 s]
Raw data (loadavg): 1.16 1.10 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 872 0 0 0 1358 459 0 0 18 0 1 0 20007763 4780032 842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1167 842 413 48 0 1119 0
[pid=5628] vsize: 4668
Current children cumulated CPU time (s) 349.06
Current children cumulated vsize (Kb) 6796
[startup+460.042 s]
Raw data (loadavg): 1.20 1.11 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 884 0 0 0 1928 597 0 0 19 0 1 0 20007763 4780032 854 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1167 854 413 48 0 1119 0
[pid=5628] vsize: 4668
Current children cumulated CPU time (s) 356.14
Current children cumulated vsize (Kb) 6796
[startup+470.042 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 886 0 0 0 2418 761 0 0 16 0 1 0 20007763 4780032 856 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1167 856 413 48 0 1119 0
[pid=5628] vsize: 4668
Current children cumulated CPU time (s) 362.68
Current children cumulated vsize (Kb) 6796
[startup+480.043 s]
Raw data (loadavg): 1.15 1.10 1.03 2/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 887 0 0 0 2869 941 0 0 18 0 1 0 20007763 4780032 857 4294967295 134512640 134702520 3221223712 3221222480 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1167 857 413 48 0 1119 0
[pid=5628] vsize: 4668
Current children cumulated CPU time (s) 368.99
Current children cumulated vsize (Kb) 6796
[startup+490.045 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 892 0 0 0 3471 1067 0 0 18 0 1 0 20007763 4833280 862 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1180 862 413 48 0 1132 0
[pid=5628] vsize: 4720
Current children cumulated CPU time (s) 376.27
Current children cumulated vsize (Kb) 6848
[startup+500.045 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 894 0 0 0 4061 1200 0 0 18 0 1 0 20007763 4833280 864 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1180 864 413 48 0 1132 0
[pid=5628] vsize: 4720
Current children cumulated CPU time (s) 383.5
Current children cumulated vsize (Kb) 6848
[startup+510.046 s]
Raw data (loadavg): 1.09 1.09 1.03 2/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 895 0 0 0 4581 1354 0 0 17 0 1 0 20007763 4833280 865 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1180 865 413 48 0 1132 0
[pid=5628] vsize: 4720
Current children cumulated CPU time (s) 390.24
Current children cumulated vsize (Kb) 6848
[startup+520.047 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 895 0 0 0 4978 1558 0 0 18 0 1 0 20007763 4833280 865 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1180 865 413 48 0 1132 0
[pid=5628] vsize: 4720
Current children cumulated CPU time (s) 396.25
Current children cumulated vsize (Kb) 6848
[startup+530.047 s]
Raw data (loadavg): 1.06 1.08 1.02 2/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 898 0 0 0 5582 1681 0 0 17 0 1 0 20007763 4833280 868 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1180 868 413 48 0 1132 0
[pid=5628] vsize: 4720
Current children cumulated CPU time (s) 403.52
Current children cumulated vsize (Kb) 6848
[startup+540.048 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 899 0 0 0 6219 1800 0 0 18 0 1 0 20007763 4833280 869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1180 869 413 48 0 1132 0
[pid=5628] vsize: 4720
Current children cumulated CPU time (s) 411.08
Current children cumulated vsize (Kb) 6848
[startup+550.049 s]
Raw data (loadavg): 1.18 1.11 1.03 2/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 900 0 0 0 6828 1930 0 0 19 0 1 0 20007763 4833280 870 4294967295 134512640 134702520 3221223712 3221222992 134552719 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1180 870 413 48 0 1132 0
[pid=5628] vsize: 4720
Current children cumulated CPU time (s) 418.47
Current children cumulated vsize (Kb) 6848
[startup+560.049 s]
Raw data (loadavg): 1.15 1.11 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 902 0 0 0 7340 2091 0 0 16 0 1 0 20007763 4833280 872 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1180 872 413 48 0 1132 0
[pid=5628] vsize: 4720
Current children cumulated CPU time (s) 425.2
Current children cumulated vsize (Kb) 6848
[startup+570.051 s]
Raw data (loadavg): 1.13 1.10 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 903 0 0 0 7761 2278 0 0 19 0 1 0 20007763 4833280 873 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1180 873 413 48 0 1132 0
[pid=5628] vsize: 4720
Current children cumulated CPU time (s) 431.28
Current children cumulated vsize (Kb) 6848
[startup+580.052 s]
Raw data (loadavg): 1.11 1.10 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 904 0 0 0 8314 2422 0 0 17 0 1 0 20007763 4886528 874 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1193 874 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 438.25
Current children cumulated vsize (Kb) 6900
[startup+590.053 s]
Raw data (loadavg): 1.09 1.10 1.03 1/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 906 0 0 0 8877 2562 0 0 19 0 1 0 20007763 4886528 876 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1193 876 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 445.28
Current children cumulated vsize (Kb) 6900
[startup+600.054 s]
Raw data (loadavg): 1.08 1.09 1.03 2/56 5628
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 907 0 0 0 9563 2663 0 0 24 0 1 0 20007763 4886528 877 4294967295 134512640 134702520 3221223712 3221222992 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1193 877 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 453.15
Current children cumulated vsize (Kb) 6900
[startup+610.055 s]
Raw data (loadavg): 1.06 1.09 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 907 0 0 0 10003 2840 0 0 17 0 1 0 20007763 4886528 877 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1193 877 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 459.32
Current children cumulated vsize (Kb) 6900
[startup+620.056 s]
Raw data (loadavg): 1.05 1.08 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 909 0 0 0 10519 3002 0 0 19 0 1 0 20007763 4886528 879 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1193 879 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 466.1
Current children cumulated vsize (Kb) 6900
[startup+630.056 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 911 0 0 0 11086 3146 0 0 19 0 1 0 20007763 4886528 881 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1193 881 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 473.21
Current children cumulated vsize (Kb) 6900
[startup+640.058 s]
Raw data (loadavg): 1.04 1.08 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 914 0 0 0 11708 3276 0 0 18 0 1 0 20007763 4886528 884 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1193 884 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 480.73
Current children cumulated vsize (Kb) 6900
[startup+650.059 s]
Raw data (loadavg): 1.03 1.08 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 914 0 0 0 12237 3426 0 0 17 0 1 0 20007763 4886528 884 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1193 884 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 487.52
Current children cumulated vsize (Kb) 6900
[startup+660.059 s]
Raw data (loadavg): 1.03 1.07 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 914 0 0 0 12633 3625 0 0 18 0 1 0 20007763 4886528 884 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1193 884 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 493.47
Current children cumulated vsize (Kb) 6900
[startup+670.061 s]
Raw data (loadavg): 1.02 1.07 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 915 0 0 0 13240 3757 0 0 17 0 1 0 20007763 4886528 885 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1193 885 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 500.86
Current children cumulated vsize (Kb) 6900
[startup+680.062 s]
Raw data (loadavg): 1.02 1.07 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 917 0 0 0 13814 3894 0 0 17 0 1 0 20007763 4886528 887 4294967295 134512640 134702520 3221223712 3221222480 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1193 887 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 507.97
Current children cumulated vsize (Kb) 6900
[startup+690.062 s]
Raw data (loadavg): 1.02 1.06 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 919 0 0 0 14382 4040 0 0 17 0 1 0 20007763 4886528 889 4294967295 134512640 134702520 3221223712 3221222832 134588367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1193 889 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 515.11
Current children cumulated vsize (Kb) 6900
[startup+700.063 s]
Raw data (loadavg): 1.01 1.06 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 919 0 0 0 14839 4217 0 0 17 0 1 0 20007763 4886528 889 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1193 889 413 48 0 1145 0
[pid=5628] vsize: 4772
Current children cumulated CPU time (s) 521.45
Current children cumulated vsize (Kb) 6900
[startup+710.064 s]
Raw data (loadavg): 1.01 1.06 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 920 0 0 0 15317 4386 0 0 19 0 1 0 20007763 5029888 890 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1228 890 413 48 0 1180 0
[pid=5628] vsize: 4912
Current children cumulated CPU time (s) 527.92
Current children cumulated vsize (Kb) 7040
[startup+720.064 s]
Raw data (loadavg): 1.08 1.07 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 920 0 0 0 15970 4501 0 0 25 0 1 0 20007763 4947968 890 4294967295 134512640 134702520 3221223712 3221222932 134550179 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1208 890 413 48 0 1160 0
[pid=5628] vsize: 4832
Current children cumulated CPU time (s) 535.6
Current children cumulated vsize (Kb) 6960
[startup+730.065 s]
Raw data (loadavg): 1.07 1.07 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 920 0 0 0 16581 4627 0 0 20 0 1 0 20007763 4947968 890 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1208 890 413 48 0 1160 0
[pid=5628] vsize: 4832
Current children cumulated CPU time (s) 542.97
Current children cumulated vsize (Kb) 6960
[startup+740.067 s]
Raw data (loadavg): 1.06 1.07 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 922 0 0 0 17209 4746 0 0 21 0 1 0 20007763 4947968 892 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1208 892 413 48 0 1160 0
[pid=5628] vsize: 4832
Current children cumulated CPU time (s) 550.44
Current children cumulated vsize (Kb) 6960
[startup+750.067 s]
Raw data (loadavg): 1.13 1.08 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 922 0 0 0 17628 4937 0 0 16 0 1 0 20007763 4947968 892 4294967295 134512640 134702520 3221223712 3221222548 134549026 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1208 892 413 48 0 1160 0
[pid=5628] vsize: 4832
Current children cumulated CPU time (s) 556.54
Current children cumulated vsize (Kb) 6960
[startup+760.068 s]
Raw data (loadavg): 1.11 1.08 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 924 0 0 0 18152 5093 0 0 18 0 1 0 20007763 4947968 894 4294967295 134512640 134702520 3221223712 3221222992 134557252 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1208 894 413 48 0 1160 0
[pid=5628] vsize: 4832
Current children cumulated CPU time (s) 563.34
Current children cumulated vsize (Kb) 6960
[startup+770.069 s]
Raw data (loadavg): 1.09 1.07 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1037 0 0 0 18755 5218 0 0 18 0 1 0 20007763 5275648 1007 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1288 1007 413 48 0 1240 0
[pid=5628] vsize: 5152
Current children cumulated CPU time (s) 570.62
Current children cumulated vsize (Kb) 7280
[startup+780.069 s]
Raw data (loadavg): 1.08 1.07 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1047 0 0 0 19370 5347 0 0 18 0 1 0 20007763 5439488 1017 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1328 1017 413 48 0 1280 0
[pid=5628] vsize: 5312
Current children cumulated CPU time (s) 578.06
Current children cumulated vsize (Kb) 7440
[startup+790.071 s]
Raw data (loadavg): 1.06 1.07 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1065 0 0 0 19931 5490 0 0 17 0 1 0 20007763 5439488 1035 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1328 1035 413 48 0 1280 0
[pid=5628] vsize: 5312
Current children cumulated CPU time (s) 585.1
Current children cumulated vsize (Kb) 7440
[startup+800.072 s]
Raw data (loadavg): 1.05 1.07 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1066 0 0 0 20303 5687 0 0 17 0 1 0 20007763 5439488 1036 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1328 1036 413 48 0 1280 0
[pid=5628] vsize: 5312
Current children cumulated CPU time (s) 590.79
Current children cumulated vsize (Kb) 7440
[startup+810.072 s]
Raw data (loadavg): 1.05 1.06 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1067 0 0 0 20939 5808 0 0 19 0 1 0 20007763 5496832 1037 4294967295 134512640 134702520 3221223712 3221222992 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1342 1037 413 48 0 1294 0
[pid=5628] vsize: 5368
Current children cumulated CPU time (s) 598.36
Current children cumulated vsize (Kb) 7496
[startup+820.073 s]
Raw data (loadavg): 1.19 1.09 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1071 0 0 0 21529 5940 0 0 18 0 1 0 20007763 5496832 1041 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1342 1041 413 48 0 1294 0
[pid=5628] vsize: 5368
Current children cumulated CPU time (s) 605.58
Current children cumulated vsize (Kb) 7496
[startup+830.074 s]
Raw data (loadavg): 1.24 1.11 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1072 0 0 0 22212 6044 0 0 18 0 1 0 20007763 5496832 1042 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1342 1042 413 48 0 1294 0
[pid=5628] vsize: 5368
Current children cumulated CPU time (s) 613.45
Current children cumulated vsize (Kb) 7496
[startup+840.074 s]
Raw data (loadavg): 1.20 1.10 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1075 0 0 0 22858 6159 0 0 17 0 1 0 20007763 5496832 1045 4294967295 134512640 134702520 3221223712 3221223096 134609929 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1342 1045 413 48 0 1294 0
[pid=5628] vsize: 5368
Current children cumulated CPU time (s) 621.06
Current children cumulated vsize (Kb) 7496
[startup+850.076 s]
Raw data (loadavg): 1.17 1.10 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1089 0 0 0 23435 6297 0 0 17 0 1 0 20007763 5496832 1059 4294967295 134512640 134702520 3221223712 3221222608 134553422 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1342 1059 413 48 0 1294 0
[pid=5628] vsize: 5368
Current children cumulated CPU time (s) 628.21
Current children cumulated vsize (Kb) 7496
[startup+860.077 s]
Raw data (loadavg): 1.15 1.09 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1089 0 0 0 23836 6490 0 0 18 0 1 0 20007763 5496832 1059 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1342 1059 413 48 0 1294 0
[pid=5628] vsize: 5368
Current children cumulated CPU time (s) 634.15
Current children cumulated vsize (Kb) 7496
[startup+870.077 s]
Raw data (loadavg): 1.12 1.09 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1092 0 0 0 24453 6616 0 0 18 0 1 0 20007763 5496832 1062 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1342 1062 413 48 0 1294 0
[pid=5628] vsize: 5368
Current children cumulated CPU time (s) 641.58
Current children cumulated vsize (Kb) 7496
[startup+880.078 s]
Raw data (loadavg): 1.10 1.09 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1092 0 0 0 25121 6725 0 0 17 0 1 0 20007763 5496832 1062 4294967295 134512640 134702520 3221223712 3221223104 134603781 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1342 1062 413 48 0 1294 0
[pid=5628] vsize: 5368
Current children cumulated CPU time (s) 649.35
Current children cumulated vsize (Kb) 7496
[startup+890.079 s]
Raw data (loadavg): 1.09 1.08 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1138 0 0 0 25786 6829 0 0 20 0 1 0 20007763 5496832 1070 4294967295 134512640 134702520 3221223712 3221222592 134553196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1342 1070 413 48 0 1294 0
[pid=5628] vsize: 5368
Current children cumulated CPU time (s) 657.04
Current children cumulated vsize (Kb) 7496
[startup+900.08 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1143 0 0 0 26451 6938 0 0 20 0 1 0 20007763 5570560 1073 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1360 1073 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 664.78
Current children cumulated vsize (Kb) 7568
[startup+910.08 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1173 0 0 0 26869 7126 0 0 16 0 1 0 20007763 5570560 1073 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1073 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 670.84
Current children cumulated vsize (Kb) 7568
[startup+920.082 s]
Raw data (loadavg): 1.05 1.07 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1175 0 0 0 27402 7279 0 0 19 0 1 0 20007763 5570560 1075 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1075 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 677.7
Current children cumulated vsize (Kb) 7568
[startup+930.083 s]
Raw data (loadavg): 1.04 1.07 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1209 0 0 0 28063 7390 0 0 18 0 1 0 20007763 5570560 1077 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1077 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 685.42
Current children cumulated vsize (Kb) 7568
[startup+940.082 s]
Raw data (loadavg): 1.04 1.07 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1228 0 0 0 28746 7491 0 0 21 0 1 0 20007763 5570560 1081 4294967295 134512640 134702520 3221223712 3221222992 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1081 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 693.26
Current children cumulated vsize (Kb) 7568
[startup+950.083 s]
Raw data (loadavg): 1.03 1.07 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1230 0 0 0 29476 7579 0 0 20 0 1 0 20007763 5570560 1081 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1081 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 701.44
Current children cumulated vsize (Kb) 7568
[startup+960.084 s]
Raw data (loadavg): 1.02 1.06 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1264 0 0 0 30044 7718 0 0 17 0 1 0 20007763 5570560 1081 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1081 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 708.51
Current children cumulated vsize (Kb) 7568
[startup+970.084 s]
Raw data (loadavg): 1.10 1.08 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1264 0 0 0 30452 7914 0 0 18 0 1 0 20007763 5570560 1081 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222298933 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1081 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 714.55
Current children cumulated vsize (Kb) 7568
[startup+980.085 s]
Raw data (loadavg): 1.16 1.09 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1265 0 0 0 31064 8038 0 0 19 0 1 0 20007763 5570560 1082 4294967295 134512640 134702520 3221223712 3221223196 134603814 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1082 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 721.91
Current children cumulated vsize (Kb) 7568
[startup+990.085 s]
Raw data (loadavg): 1.14 1.09 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1265 0 0 0 31516 8214 0 0 16 0 1 0 20007763 5570560 1082 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1360 1082 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 728.19
Current children cumulated vsize (Kb) 7568
[startup+1000.09 s]
Raw data (loadavg): 1.12 1.08 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1284 0 0 0 32170 8327 0 0 19 0 1 0 20007763 5570560 1085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1085 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 735.86
Current children cumulated vsize (Kb) 7568
[startup+1010.09 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1413 0 0 0 32776 8456 0 0 18 0 1 0 20007763 5734400 1126 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1400 1126 413 48 0 1352 0
[pid=5628] vsize: 5600
Current children cumulated CPU time (s) 743.21
Current children cumulated vsize (Kb) 7728
[startup+1020.09 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1445 0 0 0 33307 8605 0 0 16 0 1 0 20007763 5570560 1086 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1360 1086 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 750.01
Current children cumulated vsize (Kb) 7568
[startup+1030.09 s]
Raw data (loadavg): 1.07 1.07 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1446 0 0 0 33757 8789 0 0 17 0 1 0 20007763 5570560 1087 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1360 1087 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 756.35
Current children cumulated vsize (Kb) 7568
[startup+1040.09 s]
Raw data (loadavg): 1.06 1.07 1.02 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1478 0 0 0 34389 8910 0 0 19 0 1 0 20007763 5570560 1088 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1360 1088 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 763.88
Current children cumulated vsize (Kb) 7568
[startup+1050.09 s]
Raw data (loadavg): 1.05 1.07 1.02 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1546 0 0 0 35140 8991 0 0 20 0 1 0 20007763 5570560 1088 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1088 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 772.2
Current children cumulated vsize (Kb) 7568
[startup+1060.09 s]
Raw data (loadavg): 1.12 1.08 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1624 0 0 0 35786 9105 0 0 18 0 1 0 20007763 5570560 1090 4294967295 134512640 134702520 3221223712 3221222480 134553315 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1090 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 779.8
Current children cumulated vsize (Kb) 7568
[startup+1070.09 s]
Raw data (loadavg): 1.18 1.10 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1652 0 0 0 36490 9200 0 0 23 0 1 0 20007763 5570560 1091 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1360 1091 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 787.79
Current children cumulated vsize (Kb) 7568
[startup+1080.09 s]
Raw data (loadavg): 1.23 1.11 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1708 0 0 0 36937 9376 0 0 16 0 1 0 20007763 5570560 1091 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1360 1091 413 48 0 1312 0
[pid=5628] vsize: 5440
Current children cumulated CPU time (s) 794.02
Current children cumulated vsize (Kb) 7568
[startup+1090.09 s]
Raw data (loadavg): 1.19 1.10 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1709 0 0 0 37461 9530 0 0 18 0 1 0 20007763 5627904 1092 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1374 1092 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 800.8
Current children cumulated vsize (Kb) 7624
[startup+1100.09 s]
Raw data (loadavg): 1.16 1.10 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1851 0 0 0 38094 9652 0 0 18 0 1 0 20007763 5627904 1093 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1374 1093 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 808.35
Current children cumulated vsize (Kb) 7624
[startup+1110.09 s]
Raw data (loadavg): 1.14 1.10 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1871 0 0 0 38749 9766 0 0 18 0 1 0 20007763 5627904 1093 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1374 1093 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 816.04
Current children cumulated vsize (Kb) 7624
[startup+1120.09 s]
Raw data (loadavg): 1.12 1.09 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1908 0 0 0 39427 9869 0 0 18 0 1 0 20007763 5627904 1094 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1374 1094 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 823.85
Current children cumulated vsize (Kb) 7624
[startup+1130.09 s]
Raw data (loadavg): 1.10 1.09 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 1984 0 0 0 40099 9968 0 0 19 0 1 0 20007763 5627904 1095 4294967295 134512640 134702520 3221223712 3221222736 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1374 1095 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 831.56
Current children cumulated vsize (Kb) 7624
[startup+1140.1 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1984 0 0 0 40481 10170 0 0 16 0 1 0 20007763 5627904 1095 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1374 1095 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 837.4
Current children cumulated vsize (Kb) 7624
[startup+1150.1 s]
Raw data (loadavg): 1.07 1.08 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 1986 0 0 0 41079 10303 0 0 19 0 1 0 20007763 5627904 1097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1374 1097 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 844.71
Current children cumulated vsize (Kb) 7624
[startup+1160.1 s]
Raw data (loadavg): 1.06 1.08 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2110 0 0 0 41740 10410 0 0 17 0 1 0 20007763 5627904 1099 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1374 1099 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 852.39
Current children cumulated vsize (Kb) 7624
[startup+1170.1 s]
Raw data (loadavg): 1.12 1.09 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2195 0 0 0 42447 10507 0 0 21 0 1 0 20007763 5627904 1099 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1374 1099 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 860.43
Current children cumulated vsize (Kb) 7624
[startup+1180.1 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2322 0 0 0 43198 10587 0 0 19 0 1 0 20007763 5955584 1158 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1454 1158 413 48 0 1406 0
[pid=5628] vsize: 5816
Current children cumulated CPU time (s) 868.74
Current children cumulated vsize (Kb) 7944
[startup+1190.1 s]
Raw data (loadavg): 1.16 1.10 1.03 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2396 0 0 0 43764 10728 0 0 17 0 1 0 20007763 5627904 1100 4294967295 134512640 134702520 3221223712 3221222608 134553465 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1374 1100 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 875.81
Current children cumulated vsize (Kb) 7624
[startup+1200.1 s]
Raw data (loadavg): 1.21 1.11 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2396 0 0 0 44147 10929 0 0 18 0 1 0 20007763 5627904 1100 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1374 1100 413 48 0 1326 0
[pid=5628] vsize: 5496
Current children cumulated CPU time (s) 881.65
Current children cumulated vsize (Kb) 7624
[startup+1210.1 s]
Raw data (loadavg): 1.18 1.11 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2447 0 0 0 44808 11042 0 0 21 0 1 0 20007763 5685248 1102 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1102 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 889.39
Current children cumulated vsize (Kb) 7680
[startup+1220.1 s]
Raw data (loadavg): 1.23 1.12 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2526 0 0 0 45487 11146 0 0 21 0 1 0 20007763 6012928 1181 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1468 1181 413 48 0 1420 0
[pid=5628] vsize: 5872
Current children cumulated CPU time (s) 897.22
Current children cumulated vsize (Kb) 8000
[startup+1230.1 s]
Raw data (loadavg): 1.20 1.12 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2632 0 0 0 46182 11241 0 0 18 0 1 0 20007763 5685248 1104 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1104 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 905.12
Current children cumulated vsize (Kb) 7680
[startup+1240.1 s]
Raw data (loadavg): 1.25 1.13 1.05 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2666 0 0 0 46851 11350 0 0 20 0 1 0 20007763 5685248 1105 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1105 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 912.9
Current children cumulated vsize (Kb) 7680
[startup+1250.1 s]
Raw data (loadavg): 1.21 1.13 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2667 0 0 0 47438 11487 0 0 16 0 1 0 20007763 5685248 1105 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1105 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 920.14
Current children cumulated vsize (Kb) 7680
[startup+1260.1 s]
Raw data (loadavg): 1.17 1.12 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2667 0 0 0 47896 11663 0 0 17 0 1 0 20007763 5685248 1105 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1105 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 926.48
Current children cumulated vsize (Kb) 7680
[startup+1270.1 s]
Raw data (loadavg): 1.22 1.13 1.05 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2667 0 0 0 48346 11842 0 0 18 0 1 0 20007763 5685248 1105 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1105 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 932.77
Current children cumulated vsize (Kb) 7680
[startup+1280.1 s]
Raw data (loadavg): 1.26 1.14 1.05 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2669 0 0 0 49150 11905 0 0 18 0 1 0 20007763 5685248 1107 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1107 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 941.44
Current children cumulated vsize (Kb) 7680
[startup+1290.1 s]
Raw data (loadavg): 1.22 1.14 1.05 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2671 0 0 0 49911 11982 0 0 20 0 1 0 20007763 5685248 1109 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1109 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 949.82
Current children cumulated vsize (Kb) 7680
[startup+1300.1 s]
Raw data (loadavg): 1.18 1.13 1.05 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2671 0 0 0 50563 12096 0 0 19 0 1 0 20007763 5685248 1109 4294967295 134512640 134702520 3221223712 3221222992 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1109 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 957.48
Current children cumulated vsize (Kb) 7680
[startup+1310.1 s]
Raw data (loadavg): 1.16 1.13 1.05 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2671 0 0 0 51253 12198 0 0 18 0 1 0 20007763 5685248 1109 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1109 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 965.4
Current children cumulated vsize (Kb) 7680
[startup+1320.11 s]
Raw data (loadavg): 1.13 1.12 1.05 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2671 0 0 0 51880 12321 0 0 16 0 1 0 20007763 5685248 1109 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1109 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 972.9
Current children cumulated vsize (Kb) 7680
[startup+1330.11 s]
Raw data (loadavg): 1.11 1.12 1.05 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2671 0 0 0 52262 12521 0 0 18 0 1 0 20007763 5685248 1109 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1109 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 978.72
Current children cumulated vsize (Kb) 7680
[startup+1340.11 s]
Raw data (loadavg): 1.09 1.12 1.05 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2672 0 0 0 52892 12644 0 0 22 0 1 0 20007763 5685248 1110 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1110 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 986.25
Current children cumulated vsize (Kb) 7680
[startup+1350.11 s]
Raw data (loadavg): 1.08 1.11 1.05 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2672 0 0 0 53663 12723 0 0 22 0 1 0 20007763 5685248 1110 4294967295 134512640 134702520 3221223712 3221189548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1110 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 994.75
Current children cumulated vsize (Kb) 7680
[startup+1360.11 s]
Raw data (loadavg): 1.07 1.11 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2673 0 0 0 54285 12847 0 0 23 0 1 0 20007763 5685248 1111 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1111 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (Kb) 7680
[startup+1370.11 s]
Raw data (loadavg): 1.06 1.10 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2674 0 0 0 54991 12938 0 0 19 0 1 0 20007763 5685248 1112 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1112 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1010.18
Current children cumulated vsize (Kb) 7680
[startup+1380.11 s]
Raw data (loadavg): 1.05 1.10 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2675 0 0 0 55721 13030 0 0 18 0 1 0 20007763 5685248 1113 4294967295 134512640 134702520 3221223712 3221222832 134584462 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1113 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1018.4
Current children cumulated vsize (Kb) 7680
[startup+1390.11 s]
Raw data (loadavg): 1.04 1.10 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2675 0 0 0 56268 13177 0 0 17 0 1 0 20007763 5685248 1113 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1113 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1025.34
Current children cumulated vsize (Kb) 7680
[startup+1400.11 s]
Raw data (loadavg): 1.03 1.09 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2675 0 0 0 56666 13374 0 0 18 0 1 0 20007763 5685248 1113 4294967295 134512640 134702520 3221223712 3221222480 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1113 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1031.29
Current children cumulated vsize (Kb) 7680
[startup+1410.11 s]
Raw data (loadavg): 1.11 1.10 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2676 0 0 0 57355 13472 0 0 19 0 1 0 20007763 5685248 1114 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1114 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1039.16
Current children cumulated vsize (Kb) 7680
[startup+1420.11 s]
Raw data (loadavg): 1.09 1.10 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2676 0 0 0 58028 13576 0 0 20 0 1 0 20007763 5685248 1114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1114 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1046.93
Current children cumulated vsize (Kb) 7680
[startup+1430.11 s]
Raw data (loadavg): 1.08 1.10 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2676 0 0 0 58693 13687 0 0 21 0 1 0 20007763 5685248 1114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1114 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1054.69
Current children cumulated vsize (Kb) 7680
[startup+1440.11 s]
Raw data (loadavg): 1.06 1.09 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2678 0 0 0 59360 13798 0 0 19 0 1 0 20007763 5685248 1116 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1116 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1062.47
Current children cumulated vsize (Kb) 7680
[startup+1450.12 s]
Raw data (loadavg): 1.13 1.11 1.05 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2678 0 0 0 59994 13916 0 0 16 0 1 0 20007763 5685248 1116 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1116 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1069.99
Current children cumulated vsize (Kb) 7680
[startup+1460.12 s]
Raw data (loadavg): 1.11 1.10 1.05 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2678 0 0 0 60405 14112 0 0 18 0 1 0 20007763 5685248 1116 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1116 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1076.06
Current children cumulated vsize (Kb) 7680
[startup+1470.12 s]
Raw data (loadavg): 1.10 1.10 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2679 0 0 0 61066 14220 0 0 17 0 1 0 20007763 5685248 1117 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1117 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1083.75
Current children cumulated vsize (Kb) 7680
[startup+1480.12 s]
Raw data (loadavg): 1.08 1.09 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2679 0 0 0 61771 14315 0 0 18 0 1 0 20007763 5685248 1117 4294967295 134512640 134702520 3221223712 3221222992 134553123 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1117 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1091.75
Current children cumulated vsize (Kb) 7680
[startup+1490.12 s]
Raw data (loadavg): 1.07 1.09 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2680 0 0 0 62499 14405 0 0 20 0 1 0 20007763 5685248 1118 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1118 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1099.93
Current children cumulated vsize (Kb) 7680
[startup+1500.12 s]
Raw data (loadavg): 1.06 1.09 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2681 0 0 0 63263 14484 0 0 20 0 1 0 20007763 5685248 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1388 1119 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1108.36
Current children cumulated vsize (Kb) 7680
[startup+1510.12 s]
Raw data (loadavg): 1.05 1.08 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2681 0 0 0 64007 14568 0 0 25 0 1 0 20007763 5685248 1119 4294967295 134512640 134702520 3221223712 3221222932 134550179 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1119 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1116.64
Current children cumulated vsize (Kb) 7680
[startup+1520.12 s]
Raw data (loadavg): 1.04 1.08 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2681 0 0 0 64507 14731 0 0 16 0 1 0 20007763 5685248 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1388 1119 413 48 0 1340 0
[pid=5628] vsize: 5552
Current children cumulated CPU time (s) 1123.27
Current children cumulated vsize (Kb) 7680
[startup+1530.12 s]
Raw data (loadavg): 1.03 1.08 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2682 0 0 0 64995 14896 0 0 19 0 1 0 20007763 5828608 1120 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1423 1120 413 48 0 1375 0
[pid=5628] vsize: 5692
Current children cumulated CPU time (s) 1129.8
Current children cumulated vsize (Kb) 7820
[startup+1540.12 s]
Raw data (loadavg): 1.03 1.07 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2682 0 0 0 65697 14991 0 0 21 0 1 0 20007763 5746688 1120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1403 1120 413 48 0 1355 0
[pid=5628] vsize: 5612
Current children cumulated CPU time (s) 1137.77
Current children cumulated vsize (Kb) 7740
[startup+1550.12 s]
Raw data (loadavg): 1.02 1.07 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2682 0 0 0 66432 15078 0 0 19 0 1 0 20007763 5746688 1120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1403 1120 413 48 0 1355 0
[pid=5628] vsize: 5612
Current children cumulated CPU time (s) 1145.99
Current children cumulated vsize (Kb) 7740
[startup+1560.12 s]
Raw data (loadavg): 1.02 1.07 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2682 0 0 0 67188 15161 0 0 21 0 1 0 20007763 5746688 1120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1403 1120 413 48 0 1355 0
[pid=5628] vsize: 5612
Current children cumulated CPU time (s) 1154.38
Current children cumulated vsize (Kb) 7740
[startup+1570.12 s]
Raw data (loadavg): 1.09 1.08 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2682 0 0 0 67910 15254 0 0 22 0 1 0 20007763 5746688 1120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1403 1120 413 48 0 1355 0
[pid=5628] vsize: 5612
Current children cumulated CPU time (s) 1162.53
Current children cumulated vsize (Kb) 7740
[startup+1580.12 s]
Raw data (loadavg): 1.07 1.08 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2851 0 0 0 68623 15348 0 0 17 0 1 0 20007763 6074368 1190 4294967295 134512640 134702520 3221223712 3221222992 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1483 1190 413 48 0 1435 0
[pid=5628] vsize: 5932
Current children cumulated CPU time (s) 1170.6
Current children cumulated vsize (Kb) 8060
[startup+1590.12 s]
Raw data (loadavg): 1.06 1.08 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) R 5562 5562 4005 0 -1 0 2923 0 0 0 69060 15531 0 0 16 0 1 0 20007763 5746688 1121 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1403 1121 413 48 0 1355 0
[pid=5628] vsize: 5612
Current children cumulated CPU time (s) 1176.8
Current children cumulated vsize (Kb) 7740
[startup+1600.12 s]
Raw data (loadavg): 1.05 1.07 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2925 0 0 0 69611 15675 0 0 20 0 1 0 20007763 5746688 1123 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1403 1123 413 48 0 1355 0
[pid=5628] vsize: 5612
Current children cumulated CPU time (s) 1183.75
Current children cumulated vsize (Kb) 7740
[startup+1610.13 s]
Raw data (loadavg): 1.04 1.07 1.04 2/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 2957 0 0 0 70340 15763 0 0 21 0 1 0 20007763 5746688 1126 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5628/statm): 1403 1126 413 48 0 1355 0
[pid=5628] vsize: 5612
Current children cumulated CPU time (s) 1191.92
Current children cumulated vsize (Kb) 7740
[startup+1620.13 s]
Raw data (loadavg): 1.04 1.07 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 3033 0 0 0 71149 15825 0 0 20 0 1 0 20007763 5746688 1126 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1403 1126 413 48 0 1355 0
[pid=5628] vsize: 5612
Current children cumulated CPU time (s) 1200.63
Current children cumulated vsize (Kb) 7740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1620.13 s]
Raw data (loadavg): 1.04 1.07 1.04 1/56 5630
Raw data (/proc/5562/stat): 5562 (vallstSAT2005PB) S 5561 5562 4005 0 -1 0 378 1542 0 0 1 2 28657 4429 17 0 1 0 19965542 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5562/statm): 532 248 485 147 0 385 0
[pid=5562] vsize: 2128
Raw data (/proc/5628/stat): 5628 (vallst) T 5562 5562 4005 0 -1 0 3033 0 0 0 71149 15825 0 0 20 0 1 0 20007763 5746688 1126 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5628/statm): 1403 1126 413 48 0 1355 0
[pid=5628] vsize: 5612
Current children cumulated CPU time (s) 1200.63
Current children cumulated vsize (Kb) 7740
Sending SIGTERM to -5562
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5632
New process pid=5633
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/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/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/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5523/stat
open syscall for file /proc/5523/status
open syscall for file /proc/5523/cmdline
open syscall for file /proc/5523/environ
open syscall for file /proc/5561/stat
open syscall for file /proc/5561/status
open syscall for file /proc/5561/cmdline
open syscall for file /proc/5561/environ
open syscall for file /proc/5562/stat
open syscall for file /proc/5562/status
open syscall for file /proc/5562/cmdline
open syscall for file /proc/5562/environ
open syscall for file /proc/5628/stat
open syscall for file /proc/5628/status
open syscall for file /proc/5628/cmdline
open syscall for file /proc/5628/environ
open syscall for file /proc/5632/stat
open syscall for file /proc/5632/status
open syscall for file /proc/5632/cmdline
open syscall for file /proc/5632/environ
open syscall for file /proc/5633/stat
open syscall for file /proc/5633/status
open syscall for file /proc/5633/cmdline
open syscall for file /proc/5633/environ
One traced child (pid=5632) exited with status: 0
One traced child (pid=5633) exited with status: 0
New process pid=5634
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5628) exited with status: 3
One traced child (pid=5634) exited with status: 0
New process pid=5635
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=5635) exited with status: 0
One traced child (pid=5562) 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): 1620.62
CPU time (s): 1200.95
CPU user time (s): 998.283
CPU system time (s): 202.663
CPU usage (%): 74.104
Max. virtual memory (cumulated for all children) (Kb): 8060