1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 43951; #end-nodes: 14705;
#proof improvement attempts: 0; #restarts: 142
Current batch, end-nodes: 65 / 117 (115)
#axs: 1070, #non-axs: 4791
tight: meta-meta: start: 5, end: 7; meta: start: 8, end (keep): 13
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 138 (116:>=*);
#decisions: 1686736; #end-nodes: 737734;
#proof improvement attempts: 0; #restarts: 2050
Current batch, end-nodes: 490 / 609 (592)
#axs: 1090, #non-axs: 38515
tight: meta-meta: start: 3, end: 4; meta: start: 5, end (keep): 7
loose: meta-meta: start: 7, end: 10; meta: start: 19, end (keep): 29
Model found with constant: 139 (115:>=*);
#decisions: 357428; #end-nodes: 117716;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 277 (247)
#axs: 1108, #non-axs: 521
tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10; meta: start: 19, end (keep): 29
Model found with constant:
(pushed:) 139 (115:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1 (#equs: 38)
Time taken: 10 min, 34 sec
2:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 1 (#equs: 0)
#decisions: 2132971; #end-nodes: 886779;
#proof improvement attempts: 0; #restarts: 2112
Current batch, end-nodes: 0 / 668 (647)
#axs: 1026, #non-axs: 3399
tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5
loose: meta-meta: start: 4, end: 4; meta: start: 6, end (keep): 6
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: 1 (#equs: 33)
Time taken: 8 min, 19 sec
3:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 1 (#equs: 0)
Interupt request received.
#decisions: 300363; #end-nodes: 107167;
#proof improvement attempts: 0; #restarts: 457
Current batch, end-nodes: 241 / 303 (274)
#axs: 935, #non-axs: 795
tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5
loose: meta-meta: start: 4, end: 4; meta: start: 6, end (keep): 6
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: 168 (#equs: 8)
Time taken in seconds: 66
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/4830/stat): 4830 (vallstSAT2005PB) R 4829 4830 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19530522 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4830/statm): 174 9 169 147 0 27 0
[pid=4830] 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=4831
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=4831) exited with status: 0
New process pid=4832
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=4832) exited with status: 0
New process pid=4833
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/wulflinc14/normalized-mps-v2-20-10-neos16.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0029 s]
Raw data (loadavg): 0.65 0.91 0.89 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 302 0 0 0 386 196 0 0 15 0 1 0 19530531 2801664 272 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 684 272 413 48 0 636 0
[pid=4833] vsize: 2736
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (Kb) 4864
[startup+20.0035 s]
Raw data (loadavg): 0.70 0.91 0.89 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 365 0 0 0 934 343 0 0 16 0 1 0 19530531 3104768 335 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 758 335 413 48 0 710 0
[pid=4833] vsize: 3032
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (Kb) 5160
[startup+30.0052 s]
Raw data (loadavg): 0.82 0.93 0.89 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 367 0 0 0 1410 512 0 0 16 0 1 0 19530531 3108864 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 337 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 19.23
Current children cumulated vsize (Kb) 5164
[startup+40.0059 s]
Raw data (loadavg): 1.00 0.97 0.90 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 367 0 0 0 1972 662 0 0 16 0 1 0 19530531 3108864 337 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 337 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 26.35
Current children cumulated vsize (Kb) 5164
[startup+50.0066 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 367 0 0 0 2412 839 0 0 16 0 1 0 19530531 3108864 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 337 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 32.52
Current children cumulated vsize (Kb) 5164
[startup+60.0073 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 368 0 0 0 2933 994 0 0 16 0 1 0 19530531 3108864 338 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 338 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 39.28
Current children cumulated vsize (Kb) 5164
[startup+70.0079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 368 0 0 0 3378 1170 0 0 16 0 1 0 19530531 3108864 338 4294967295 134512640 134702520 3221223952 3221223232 134552222 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 338 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 45.49
Current children cumulated vsize (Kb) 5164
[startup+80.0086 s]
Raw data (loadavg): 1.08 0.99 0.91 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 369 0 0 0 3904 1326 0 0 16 0 1 0 19530531 3108864 339 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 339 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 52.31
Current children cumulated vsize (Kb) 5164
[startup+90.0093 s]
Raw data (loadavg): 1.07 0.99 0.91 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 370 0 0 0 4363 1509 0 0 16 0 1 0 19530531 3108864 340 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 340 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 58.73
Current children cumulated vsize (Kb) 5164
[startup+100.009 s]
Raw data (loadavg): 1.14 1.00 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 372 0 0 0 4889 1665 0 0 16 0 1 0 19530531 3108864 342 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 342 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 65.55
Current children cumulated vsize (Kb) 5164
[startup+110.01 s]
Raw data (loadavg): 1.11 1.00 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 373 0 0 0 5384 1828 0 0 16 0 1 0 19530531 3108864 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 343 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 72.13
Current children cumulated vsize (Kb) 5164
[startup+120.01 s]
Raw data (loadavg): 1.18 1.02 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 375 0 0 0 5944 1978 0 0 16 0 1 0 19530531 3108864 345 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 345 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 79.23
Current children cumulated vsize (Kb) 5164
[startup+130.011 s]
Raw data (loadavg): 1.15 1.02 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 378 0 0 0 6409 2151 0 0 16 0 1 0 19530531 3108864 348 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 348 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 85.61
Current children cumulated vsize (Kb) 5164
[startup+140.012 s]
Raw data (loadavg): 1.13 1.02 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 379 0 0 0 7009 2281 0 0 16 0 1 0 19530531 3108864 349 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 349 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 92.91
Current children cumulated vsize (Kb) 5164
[startup+150.012 s]
Raw data (loadavg): 1.11 1.01 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 380 0 0 0 7481 2454 0 0 16 0 1 0 19530531 3108864 350 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 350 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 99.36
Current children cumulated vsize (Kb) 5164
[startup+160.013 s]
Raw data (loadavg): 1.09 1.01 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 382 0 0 0 8080 2588 0 0 16 0 1 0 19530531 3108864 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 352 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 106.69
Current children cumulated vsize (Kb) 5164
[startup+170.014 s]
Raw data (loadavg): 1.08 1.01 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 382 0 0 0 8552 2760 0 0 16 0 1 0 19530531 3108864 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 352 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 113.13
Current children cumulated vsize (Kb) 5164
[startup+180.014 s]
Raw data (loadavg): 1.06 1.01 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 384 0 0 0 9158 2892 0 0 15 0 1 0 19530531 3108864 354 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 354 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 120.51
Current children cumulated vsize (Kb) 5164
[startup+190.015 s]
Raw data (loadavg): 1.05 1.01 0.92 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 386 0 0 0 9726 3041 0 0 15 0 1 0 19530531 3108864 356 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 356 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 127.68
Current children cumulated vsize (Kb) 5164
[startup+200.016 s]
Raw data (loadavg): 1.20 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 387 0 0 0 10285 3179 0 0 16 0 1 0 19530531 3108864 357 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 357 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 134.65
Current children cumulated vsize (Kb) 5164
[startup+210.017 s]
Raw data (loadavg): 1.17 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 388 0 0 0 10933 3297 0 0 16 0 1 0 19530531 3108864 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 358 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 142.31
Current children cumulated vsize (Kb) 5164
[startup+220.018 s]
Raw data (loadavg): 1.14 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 388 0 0 0 11408 3470 0 0 16 0 1 0 19530531 3108864 358 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 358 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 148.79
Current children cumulated vsize (Kb) 5164
[startup+230.018 s]
Raw data (loadavg): 1.12 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 389 0 0 0 12049 3588 0 0 16 0 1 0 19530531 3108864 359 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 359 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 156.38
Current children cumulated vsize (Kb) 5164
[startup+240.018 s]
Raw data (loadavg): 1.10 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 390 0 0 0 12655 3718 0 0 16 0 1 0 19530531 3108864 360 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 360 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 163.74
Current children cumulated vsize (Kb) 5164
[startup+250.019 s]
Raw data (loadavg): 1.16 1.05 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 390 0 0 0 13166 3884 0 0 16 0 1 0 19530531 3108864 360 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 360 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 170.51
Current children cumulated vsize (Kb) 5164
[startup+260.02 s]
Raw data (loadavg): 1.21 1.06 0.95 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 392 0 0 0 13803 4001 0 0 15 0 1 0 19530531 3108864 362 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 362 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 178.05
Current children cumulated vsize (Kb) 5164
[startup+270.02 s]
Raw data (loadavg): 1.18 1.06 0.95 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 393 0 0 0 14262 4171 0 0 15 0 1 0 19530531 3108864 363 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 363 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 184.34
Current children cumulated vsize (Kb) 5164
[startup+280.02 s]
Raw data (loadavg): 1.15 1.06 0.95 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 394 0 0 0 14911 4285 0 0 15 0 1 0 19530531 3108864 364 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 364 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 191.97
Current children cumulated vsize (Kb) 5164
[startup+290.021 s]
Raw data (loadavg): 1.13 1.06 0.95 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 394 0 0 0 15557 4403 0 0 16 0 1 0 19530531 3108864 364 4294967295 134512640 134702520 3221223952 3221223232 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 364 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 199.61
Current children cumulated vsize (Kb) 5164
[startup+300.021 s]
Raw data (loadavg): 1.19 1.07 0.95 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 394 0 0 0 16029 4576 0 0 16 0 1 0 19530531 3108864 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 364 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 206.06
Current children cumulated vsize (Kb) 5164
[startup+310.023 s]
Raw data (loadavg): 1.23 1.08 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 394 0 0 0 16667 4694 0 0 16 0 1 0 19530531 3108864 364 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 364 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 213.62
Current children cumulated vsize (Kb) 5164
[startup+320.024 s]
Raw data (loadavg): 1.20 1.08 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 396 0 0 0 17329 4812 0 0 16 0 1 0 19530531 3108864 366 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 366 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (Kb) 5164
[startup+330.023 s]
Raw data (loadavg): 1.17 1.08 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 396 0 0 0 17807 4984 0 0 16 0 1 0 19530531 3108864 366 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 366 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 227.92
Current children cumulated vsize (Kb) 5164
[startup+340.024 s]
Raw data (loadavg): 1.14 1.08 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 397 0 0 0 18455 5104 0 0 16 0 1 0 19530531 3108864 367 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 367 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 235.6
Current children cumulated vsize (Kb) 5164
[startup+350.025 s]
Raw data (loadavg): 1.12 1.07 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 399 0 0 0 19125 5211 0 0 16 0 1 0 19530531 3108864 369 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 369 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 243.37
Current children cumulated vsize (Kb) 5164
[startup+360.025 s]
Raw data (loadavg): 1.10 1.07 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 399 0 0 0 19605 5384 0 0 16 0 1 0 19530531 3108864 369 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 369 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 249.9
Current children cumulated vsize (Kb) 5164
[startup+370.027 s]
Raw data (loadavg): 1.08 1.07 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 399 0 0 0 20243 5504 0 0 16 0 1 0 19530531 3108864 369 4294967295 134512640 134702520 3221223952 3221223204 134549066 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 369 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 257.48
Current children cumulated vsize (Kb) 5164
[startup+380.027 s]
Raw data (loadavg): 1.07 1.06 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 401 0 0 0 20921 5608 0 0 16 0 1 0 19530531 3108864 371 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 371 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 265.3
Current children cumulated vsize (Kb) 5164
[startup+390.027 s]
Raw data (loadavg): 1.06 1.06 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 401 0 0 0 21402 5773 0 0 16 0 1 0 19530531 3108864 371 4294967295 134512640 134702520 3221223952 3221223232 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 371 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 271.76
Current children cumulated vsize (Kb) 5164
[startup+400.028 s]
Raw data (loadavg): 1.05 1.06 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 403 0 0 0 22076 5883 0 0 16 0 1 0 19530531 3108864 373 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 373 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (Kb) 5164
[startup+410.03 s]
Raw data (loadavg): 1.04 1.06 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 408 0 0 0 22727 5999 0 0 16 0 1 0 19530531 3108864 378 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 378 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 287.27
Current children cumulated vsize (Kb) 5164
[startup+420.03 s]
Raw data (loadavg): 1.03 1.05 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 409 0 0 0 23222 6165 0 0 16 0 1 0 19530531 3108864 379 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 379 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 293.88
Current children cumulated vsize (Kb) 5164
[startup+430.031 s]
Raw data (loadavg): 1.03 1.05 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 409 0 0 0 23886 6278 0 0 16 0 1 0 19530531 3108864 379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 379 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 301.65
Current children cumulated vsize (Kb) 5164
[startup+440.032 s]
Raw data (loadavg): 1.10 1.07 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 410 0 0 0 24573 6384 0 0 16 0 1 0 19530531 3108864 380 4294967295 134512640 134702520 3221223952 3221223232 134552819 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 380 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 309.58
Current children cumulated vsize (Kb) 5164
[startup+450.032 s]
Raw data (loadavg): 1.24 1.10 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 412 0 0 0 25195 6506 0 0 15 0 1 0 19530531 3108864 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 382 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 317.02
Current children cumulated vsize (Kb) 5164
[startup+460.033 s]
Raw data (loadavg): 1.20 1.09 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 412 0 0 0 25747 6653 0 0 16 0 1 0 19530531 3108864 382 4294967295 134512640 134702520 3221223952 3221223232 134552372 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 382 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 324.01
Current children cumulated vsize (Kb) 5164
[startup+470.034 s]
Raw data (loadavg): 1.17 1.09 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 413 0 0 0 26436 6754 0 0 16 0 1 0 19530531 3108864 383 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 383 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 331.91
Current children cumulated vsize (Kb) 5164
[startup+480.034 s]
Raw data (loadavg): 1.14 1.09 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 413 0 0 0 27137 6855 0 0 16 0 1 0 19530531 3108864 383 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 383 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 339.93
Current children cumulated vsize (Kb) 5164
[startup+490.035 s]
Raw data (loadavg): 1.12 1.08 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 414 0 0 0 27622 7022 0 0 16 0 1 0 19530531 3108864 384 4294967295 134512640 134702520 3221223952 3221223232 134553035 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 384 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 346.45
Current children cumulated vsize (Kb) 5164
[startup+500.036 s]
Raw data (loadavg): 1.10 1.08 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 415 0 0 0 28307 7125 0 0 16 0 1 0 19530531 3108864 385 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 385 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 354.33
Current children cumulated vsize (Kb) 5164
[startup+510.036 s]
Raw data (loadavg): 1.09 1.08 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 421 0 0 0 29006 7224 0 0 16 0 1 0 19530531 3108864 391 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 391 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 362.31
Current children cumulated vsize (Kb) 5164
[startup+520.037 s]
Raw data (loadavg): 1.07 1.07 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 421 0 0 0 29630 7349 0 0 16 0 1 0 19530531 3108864 391 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 391 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 369.8
Current children cumulated vsize (Kb) 5164
[startup+530.037 s]
Raw data (loadavg): 1.06 1.07 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 446 0 0 0 30191 7494 0 0 16 0 1 0 19530531 3293184 416 4294967295 134512640 134702520 3221223952 3221223380 1074229889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 804 416 413 48 0 756 0
[pid=4833] vsize: 3216
Current children cumulated CPU time (s) 376.86
Current children cumulated vsize (Kb) 5344
[startup+540.037 s]
Raw data (loadavg): 1.05 1.07 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 775 0 0 0 30984 7565 0 0 16 0 1 0 19530531 4653056 745 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1136 745 413 48 0 1088 0
[pid=4833] vsize: 4544
Current children cumulated CPU time (s) 385.5
Current children cumulated vsize (Kb) 6672
[startup+550.038 s]
Raw data (loadavg): 1.04 1.06 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1015 0 0 0 31821 7624 0 0 16 0 1 0 19530531 5545984 985 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1354 985 413 48 0 1306 0
[pid=4833] vsize: 5416
Current children cumulated CPU time (s) 394.46
Current children cumulated vsize (Kb) 7544
[startup+560.039 s]
Raw data (loadavg): 1.04 1.06 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1185 0 0 0 32676 7670 0 0 17 0 1 0 19530531 6320128 1155 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1543 1155 413 48 0 1495 0
[pid=4833] vsize: 6172
Current children cumulated CPU time (s) 403.47
Current children cumulated vsize (Kb) 8300
[startup+570.039 s]
Raw data (loadavg): 1.03 1.06 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1323 0 0 0 33564 7707 0 0 17 0 1 0 19530531 6901760 1293 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1685 1293 413 48 0 1637 0
[pid=4833] vsize: 6740
Current children cumulated CPU time (s) 412.72
Current children cumulated vsize (Kb) 8868
[startup+580.04 s]
Raw data (loadavg): 1.02 1.06 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1458 0 0 0 34435 7752 0 0 16 0 1 0 19530531 7499776 1428 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 1831 1428 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 421.88
Current children cumulated vsize (Kb) 9452
[startup+590.04 s]
Raw data (loadavg): 1.02 1.05 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1458 0 0 0 35023 7892 0 0 16 0 1 0 19530531 7499776 1428 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 1831 1428 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 429.16
Current children cumulated vsize (Kb) 9452
[startup+600.041 s]
Raw data (loadavg): 1.02 1.05 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1474 0 0 0 35867 7946 0 0 17 0 1 0 19530531 7499776 1444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1831 1444 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 438.14
Current children cumulated vsize (Kb) 9452
[startup+610.042 s]
Raw data (loadavg): 1.01 1.05 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1474 0 0 0 36765 7982 0 0 16 0 1 0 19530531 7499776 1444 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1831 1444 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 447.48
Current children cumulated vsize (Kb) 9452
[startup+620.042 s]
Raw data (loadavg): 1.01 1.05 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1475 0 0 0 37668 8014 0 0 18 0 1 0 19530531 7499776 1445 4294967295 134512640 134702520 3221223952 3221223232 134557712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 1831 1445 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 456.83
Current children cumulated vsize (Kb) 9452
[startup+630.042 s]
Raw data (loadavg): 1.01 1.05 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1478 0 0 0 38561 8051 0 0 17 0 1 0 19530531 7499776 1448 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 1831 1448 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 466.13
Current children cumulated vsize (Kb) 9452
[startup+640.043 s]
Raw data (loadavg): 1.01 1.04 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1531 0 0 0 39482 8079 0 0 16 0 1 0 19530531 7655424 1501 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1869 1501 413 48 0 1821 0
[pid=4833] vsize: 7476
Current children cumulated CPU time (s) 475.62
Current children cumulated vsize (Kb) 9604
[startup+650.043 s]
Raw data (loadavg): 1.01 1.04 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1624 0 0 0 40416 8101 0 0 19 0 1 0 19530531 8134656 1594 4294967295 134512640 134702520 3221223952 3221223232 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1986 1594 413 48 0 1938 0
[pid=4833] vsize: 7944
Current children cumulated CPU time (s) 485.18
Current children cumulated vsize (Kb) 10072
[startup+660.044 s]
Raw data (loadavg): 1.00 1.04 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1705 0 0 0 41334 8131 0 0 17 0 1 0 19530531 8458240 1675 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2065 1675 413 48 0 2017 0
[pid=4833] vsize: 8260
Current children cumulated CPU time (s) 494.66
Current children cumulated vsize (Kb) 10388
[startup+670.045 s]
Raw data (loadavg): 1.00 1.04 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1790 0 0 0 42281 8149 0 0 22 0 1 0 19530531 8785920 1760 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2145 1760 413 48 0 2097 0
[pid=4833] vsize: 8580
Current children cumulated CPU time (s) 504.31
Current children cumulated vsize (Kb) 10708
[startup+680.044 s]
Raw data (loadavg): 1.00 1.04 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 43159 8194 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 513.54
Current children cumulated vsize (Kb) 10860
[startup+690.045 s]
Raw data (loadavg): 1.00 1.04 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 43772 8323 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 520.96
Current children cumulated vsize (Kb) 10860
[startup+700.046 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 44649 8366 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 530.16
Current children cumulated vsize (Kb) 10860
[startup+710.046 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 45552 8396 0 0 18 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 539.49
Current children cumulated vsize (Kb) 10860
[startup+720.047 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 46335 8469 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 548.05
Current children cumulated vsize (Kb) 10860
[startup+730.048 s]
Raw data (loadavg): 1.00 1.03 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 46833 8631 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 554.65
Current children cumulated vsize (Kb) 10860
[startup+740.048 s]
Raw data (loadavg): 1.00 1.03 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 47269 8815 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223232 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 560.85
Current children cumulated vsize (Kb) 10860
[startup+750.048 s]
Raw data (loadavg): 1.08 1.04 0.98 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 47718 8993 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 567.12
Current children cumulated vsize (Kb) 10860
[startup+760.049 s]
Raw data (loadavg): 1.07 1.04 0.98 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 48219 9160 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 573.8
Current children cumulated vsize (Kb) 10860
[startup+770.05 s]
Raw data (loadavg): 1.14 1.06 0.98 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 48652 9350 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 580.03
Current children cumulated vsize (Kb) 10860
[startup+780.05 s]
Raw data (loadavg): 1.11 1.05 0.98 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 49212 9488 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 587.01
Current children cumulated vsize (Kb) 10860
[startup+790.051 s]
Raw data (loadavg): 1.10 1.05 0.98 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 49630 9678 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 593.09
Current children cumulated vsize (Kb) 10860
[startup+800.052 s]
Raw data (loadavg): 1.16 1.07 0.99 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 50173 9828 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 600.02
Current children cumulated vsize (Kb) 10860
[startup+810.053 s]
Raw data (loadavg): 1.14 1.06 0.99 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 50618 10007 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 606.26
Current children cumulated vsize (Kb) 10860
[startup+820.053 s]
Raw data (loadavg): 1.11 1.06 0.99 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 51182 10150 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 613.33
Current children cumulated vsize (Kb) 10860
[startup+830.068 s]
Raw data (loadavg): 1.17 1.07 0.99 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 51660 10316 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 619.77
Current children cumulated vsize (Kb) 10860
[startup+840.069 s]
Raw data (loadavg): 1.22 1.09 1.00 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 52198 10467 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 626.66
Current children cumulated vsize (Kb) 10860
[startup+850.069 s]
Raw data (loadavg): 1.26 1.10 1.00 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 52726 10622 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 633.49
Current children cumulated vsize (Kb) 10860
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=4833) exited with status: 2
New process pid=4834
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=4834) exited with status: 0
New process pid=4835
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+860.071 s]
Raw data (loadavg): 1.22 1.10 1.00 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 250 0 0 0 257 151 0 0 16 0 1 0 19615816 2596864 220 4294967295 134512640 134702520 3221223712 3221222992 134554263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 634 220 413 48 0 586 0
[pid=4835] vsize: 2536
Current children cumulated CPU time (s) 639.04
Current children cumulated vsize (Kb) 4664
[startup+870.072 s]
Raw data (loadavg): 1.18 1.09 1.00 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 262 0 0 0 770 312 0 0 16 0 1 0 19615816 2727936 232 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 232 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 645.78
Current children cumulated vsize (Kb) 4792
[startup+880.071 s]
Raw data (loadavg): 1.16 1.09 1.00 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 263 0 0 0 1201 500 0 0 15 0 1 0 19615816 2727936 233 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 233 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 651.97
Current children cumulated vsize (Kb) 4792
[startup+890.072 s]
Raw data (loadavg): 1.20 1.10 1.01 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 268 0 0 0 1703 663 0 0 16 0 1 0 19615816 2727936 238 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 238 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 658.62
Current children cumulated vsize (Kb) 4792
[startup+900.072 s]
Raw data (loadavg): 1.17 1.10 1.01 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 271 0 0 0 2143 847 0 0 16 0 1 0 19615816 2727936 241 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 241 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 664.86
Current children cumulated vsize (Kb) 4792
[startup+910.074 s]
Raw data (loadavg): 1.23 1.11 1.01 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 274 0 0 0 2655 1001 0 0 16 0 1 0 19615816 2727936 244 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 244 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 671.52
Current children cumulated vsize (Kb) 4792
[startup+920.075 s]
Raw data (loadavg): 1.27 1.12 1.01 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 276 0 0 0 3117 1181 0 0 16 0 1 0 19615816 2727936 246 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 246 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 677.94
Current children cumulated vsize (Kb) 4792
[startup+930.076 s]
Raw data (loadavg): 1.31 1.13 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 278 0 0 0 3633 1339 0 0 16 0 1 0 19615816 2727936 248 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 248 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 684.68
Current children cumulated vsize (Kb) 4792
[startup+940.076 s]
Raw data (loadavg): 1.34 1.15 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 279 0 0 0 4115 1511 0 0 16 0 1 0 19615816 2727936 249 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 249 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 691.22
Current children cumulated vsize (Kb) 4792
[startup+950.076 s]
Raw data (loadavg): 1.29 1.14 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 283 0 0 0 4648 1663 0 0 16 0 1 0 19615816 2727936 253 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 253 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 698.07
Current children cumulated vsize (Kb) 4792
[startup+960.076 s]
Raw data (loadavg): 1.24 1.14 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 284 0 0 0 5099 1847 0 0 16 0 1 0 19615816 2727936 254 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 254 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 704.42
Current children cumulated vsize (Kb) 4792
[startup+970.077 s]
Raw data (loadavg): 1.21 1.13 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 288 0 0 0 5688 1979 0 0 16 0 1 0 19615816 2727936 258 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 258 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 711.63
Current children cumulated vsize (Kb) 4792
[startup+980.077 s]
Raw data (loadavg): 1.17 1.13 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 291 0 0 0 6141 2158 0 0 16 0 1 0 19615816 2727936 261 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 261 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 717.95
Current children cumulated vsize (Kb) 4792
[startup+990.077 s]
Raw data (loadavg): 1.15 1.12 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 294 0 0 0 6735 2296 0 0 16 0 1 0 19615816 2727936 264 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 264 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 725.27
Current children cumulated vsize (Kb) 4792
[startup+1000.08 s]
Raw data (loadavg): 1.20 1.13 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 295 0 0 0 7166 2480 0 0 15 0 1 0 19615816 2727936 265 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 265 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 731.42
Current children cumulated vsize (Kb) 4792
[startup+1010.08 s]
Raw data (loadavg): 1.25 1.14 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 297 0 0 0 7770 2607 0 0 16 0 1 0 19615816 2727936 267 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 267 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 738.73
Current children cumulated vsize (Kb) 4792
[startup+1020.08 s]
Raw data (loadavg): 1.28 1.16 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 300 0 0 0 8327 2753 0 0 16 0 1 0 19615816 2727936 270 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 270 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 745.76
Current children cumulated vsize (Kb) 4792
[startup+1030.08 s]
Raw data (loadavg): 1.24 1.15 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 302 0 0 0 8812 2926 0 0 16 0 1 0 19615816 2727936 272 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 272 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 752.34
Current children cumulated vsize (Kb) 4792
[startup+1040.08 s]
Raw data (loadavg): 1.20 1.14 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 304 0 0 0 9416 3054 0 0 16 0 1 0 19615816 2727936 274 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 274 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 759.66
Current children cumulated vsize (Kb) 4792
[startup+1050.08 s]
Raw data (loadavg): 1.17 1.14 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 305 0 0 0 9886 3229 0 0 16 0 1 0 19615816 2727936 275 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 275 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 766.11
Current children cumulated vsize (Kb) 4792
[startup+1060.08 s]
Raw data (loadavg): 1.14 1.13 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 309 0 0 0 10495 3360 0 0 16 0 1 0 19615816 2727936 279 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 279 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 773.51
Current children cumulated vsize (Kb) 4792
[startup+1070.08 s]
Raw data (loadavg): 1.19 1.15 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 311 0 0 0 11080 3499 0 0 16 0 1 0 19615816 2727936 281 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 281 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 780.75
Current children cumulated vsize (Kb) 4792
[startup+1080.08 s]
Raw data (loadavg): 1.16 1.14 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 312 0 0 0 11563 3668 0 0 16 0 1 0 19615816 2727936 282 4294967295 134512640 134702520 3221223712 3221222932 134549036 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 282 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 787.27
Current children cumulated vsize (Kb) 4792
[startup+1090.08 s]
Raw data (loadavg): 1.14 1.14 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 312 0 0 0 12176 3798 0 0 16 0 1 0 19615816 2727936 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 282 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 794.7
Current children cumulated vsize (Kb) 4792
[startup+1100.08 s]
Raw data (loadavg): 1.12 1.13 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 315 0 0 0 12659 3968 0 0 16 0 1 0 19615816 2727936 285 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 285 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 801.23
Current children cumulated vsize (Kb) 4792
[startup+1110.08 s]
Raw data (loadavg): 1.10 1.13 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 317 0 0 0 13248 4103 0 0 16 0 1 0 19615816 2854912 287 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 287 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 808.47
Current children cumulated vsize (Kb) 4916
[startup+1120.09 s]
Raw data (loadavg): 1.08 1.12 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 318 0 0 0 13863 4225 0 0 16 0 1 0 19615816 2854912 288 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 288 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 815.84
Current children cumulated vsize (Kb) 4916
[startup+1130.08 s]
Raw data (loadavg): 1.07 1.12 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 319 0 0 0 14328 4401 0 0 16 0 1 0 19615816 2854912 289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 289 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (Kb) 4916
[startup+1140.09 s]
Raw data (loadavg): 1.06 1.11 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 321 0 0 0 14983 4517 0 0 16 0 1 0 19615816 2854912 291 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 291 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 829.96
Current children cumulated vsize (Kb) 4916
[startup+1150.09 s]
Raw data (loadavg): 1.05 1.11 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 323 0 0 0 15604 4640 0 0 16 0 1 0 19615816 2854912 293 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 293 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 837.4
Current children cumulated vsize (Kb) 4916
[startup+1160.09 s]
Raw data (loadavg): 1.12 1.12 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 326 0 0 0 16067 4822 0 0 16 0 1 0 19615816 2854912 296 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 296 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 843.85
Current children cumulated vsize (Kb) 4916
[startup+1170.09 s]
Raw data (loadavg): 1.10 1.12 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 326 0 0 0 16715 4943 0 0 16 0 1 0 19615816 2854912 296 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 296 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 851.54
Current children cumulated vsize (Kb) 4916
[startup+1180.09 s]
Raw data (loadavg): 1.09 1.11 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 328 0 0 0 17358 5066 0 0 16 0 1 0 19615816 2854912 298 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 298 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 859.2
Current children cumulated vsize (Kb) 4916
[startup+1190.09 s]
Raw data (loadavg): 1.07 1.11 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 331 0 0 0 17832 5239 0 0 16 0 1 0 19615816 2854912 301 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 301 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 865.67
Current children cumulated vsize (Kb) 4916
[startup+1200.09 s]
Raw data (loadavg): 1.06 1.10 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 332 0 0 0 18475 5358 0 0 16 0 1 0 19615816 2854912 302 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 302 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 873.29
Current children cumulated vsize (Kb) 4916
[startup+1210.09 s]
Raw data (loadavg): 1.05 1.10 1.02 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 335 0 0 0 19089 5492 0 0 16 0 1 0 19615816 2854912 305 4294967295 134512640 134702520 3221223712 3221222992 134550711 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 305 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 880.77
Current children cumulated vsize (Kb) 4916
[startup+1220.09 s]
Raw data (loadavg): 1.12 1.11 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 335 0 0 0 19558 5669 0 0 16 0 1 0 19615816 2854912 305 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 305 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 887.23
Current children cumulated vsize (Kb) 4916
[startup+1230.09 s]
Raw data (loadavg): 1.10 1.11 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 339 0 0 0 20234 5776 0 0 16 0 1 0 19615816 2854912 309 4294967295 134512640 134702520 3221223712 3221222960 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 309 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 895.06
Current children cumulated vsize (Kb) 4916
[startup+1240.09 s]
Raw data (loadavg): 1.08 1.11 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 341 0 0 0 20884 5893 0 0 16 0 1 0 19615816 2854912 311 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 311 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 902.73
Current children cumulated vsize (Kb) 4916
[startup+1250.09 s]
Raw data (loadavg): 1.15 1.12 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 345 0 0 0 21372 6054 0 0 16 0 1 0 19615816 2854912 315 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 315 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 909.22
Current children cumulated vsize (Kb) 4916
[startup+1260.09 s]
Raw data (loadavg): 1.13 1.11 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 346 0 0 0 22009 6172 0 0 16 0 1 0 19615816 2854912 316 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 316 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 916.77
Current children cumulated vsize (Kb) 4916
[startup+1270.09 s]
Raw data (loadavg): 1.11 1.11 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 350 0 0 0 22674 6290 0 0 16 0 1 0 19615816 2854912 320 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 320 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (Kb) 4916
[startup+1280.09 s]
Raw data (loadavg): 1.17 1.12 1.03 2/60 4882
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 351 0 0 0 23281 6419 0 0 16 0 1 0 19615816 2854912 321 4294967295 134512640 134702520 3221223712 3221222784 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 321 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 931.96
Current children cumulated vsize (Kb) 4916
[startup+1290.09 s]
Raw data (loadavg): 1.22 1.13 1.04 1/56 4890
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 352 0 0 0 23795 6579 0 0 16 0 1 0 19615816 2854912 322 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 322 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 938.7
Current children cumulated vsize (Kb) 4916
[startup+1300.09 s]
Raw data (loadavg): 1.18 1.13 1.04 2/56 4890
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 353 0 0 0 24458 6693 0 0 16 0 1 0 19615816 2854912 323 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 323 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 946.47
Current children cumulated vsize (Kb) 4916
[startup+1310.09 s]
Raw data (loadavg): 1.15 1.12 1.04 2/56 4890
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 354 0 0 0 25119 6807 0 0 16 0 1 0 19615816 2854912 324 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 324 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 954.22
Current children cumulated vsize (Kb) 4916
[startup+1320.1 s]
Raw data (loadavg): 1.13 1.12 1.03 1/56 4890
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 354 0 0 0 25601 6980 0 0 16 0 1 0 19615816 2854912 324 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 324 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 960.77
Current children cumulated vsize (Kb) 4916
[startup+1330.1 s]
Raw data (loadavg): 1.19 1.13 1.04 2/58 4892
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 355 0 0 0 26259 7092 0 0 16 0 1 0 19615816 2854912 325 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 325 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 968.47
Current children cumulated vsize (Kb) 4916
[startup+1340.1 s]
Raw data (loadavg): 1.16 1.13 1.04 1/56 4892
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 358 0 0 0 26929 7204 0 0 16 0 1 0 19615816 2854912 328 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 328 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 976.29
Current children cumulated vsize (Kb) 4916
[startup+1350.1 s]
Raw data (loadavg): 1.13 1.12 1.04 1/56 4894
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 360 0 0 0 27552 7329 0 0 15 0 1 0 19615816 2854912 330 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 330 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 983.77
Current children cumulated vsize (Kb) 4916
[startup+1360.1 s]
Raw data (loadavg): 1.11 1.12 1.04 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 361 0 0 0 28077 7480 0 0 16 0 1 0 19615816 2854912 331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 331 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 990.53
Current children cumulated vsize (Kb) 4916
[startup+1370.1 s]
Raw data (loadavg): 1.10 1.11 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 538 0 0 0 28795 7576 0 0 16 0 1 0 19615816 3600384 508 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 879 508 413 48 0 831 0
[pid=4835] vsize: 3516
Current children cumulated CPU time (s) 998.67
Current children cumulated vsize (Kb) 5644
[startup+1380.1 s]
Raw data (loadavg): 1.08 1.11 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 708 0 0 0 29587 7649 0 0 17 0 1 0 19615816 4313088 678 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1053 678 413 48 0 1005 0
[pid=4835] vsize: 4212
Current children cumulated CPU time (s) 1007.32
Current children cumulated vsize (Kb) 6340
[startup+1390.1 s]
Raw data (loadavg): 1.07 1.11 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 848 0 0 0 30427 7705 0 0 17 0 1 0 19615816 4939776 818 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1206 818 413 48 0 1158 0
[pid=4835] vsize: 4824
Current children cumulated CPU time (s) 1016.28
Current children cumulated vsize (Kb) 6952
[startup+1400.1 s]
Raw data (loadavg): 1.06 1.10 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 985 0 0 0 31243 7768 0 0 16 0 1 0 19615816 5427200 955 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1325 955 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1025.07
Current children cumulated vsize (Kb) 7428
[startup+1410.1 s]
Raw data (loadavg): 1.12 1.11 1.04 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 987 0 0 0 31846 7894 0 0 16 0 1 0 19615816 5427200 957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 1325 957 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1032.36
Current children cumulated vsize (Kb) 7428
[startup+1420.1 s]
Raw data (loadavg): 1.10 1.11 1.04 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 991 0 0 0 32670 7954 0 0 16 0 1 0 19615816 5427200 961 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1325 961 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1041.2
Current children cumulated vsize (Kb) 7428
[startup+1430.1 s]
Raw data (loadavg): 1.09 1.11 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 991 0 0 0 33518 8003 0 0 17 0 1 0 19615816 5427200 961 4294967295 134512640 134702520 3221223712 3221223096 134609934 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 1325 961 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1050.17
Current children cumulated vsize (Kb) 7428
[startup+1440.1 s]
Raw data (loadavg): 1.07 1.10 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 992 0 0 0 34370 8053 0 0 17 0 1 0 19615816 5427200 962 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1325 962 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1059.19
Current children cumulated vsize (Kb) 7428
[startup+1450.11 s]
Raw data (loadavg): 1.06 1.10 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 998 0 0 0 35228 8103 0 0 17 0 1 0 19615816 5562368 968 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1358 968 413 48 0 1310 0
[pid=4835] vsize: 5432
Current children cumulated CPU time (s) 1068.27
Current children cumulated vsize (Kb) 7560
[startup+1460.11 s]
Raw data (loadavg): 1.05 1.09 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1025 0 0 0 36090 8151 0 0 17 0 1 0 19615816 5513216 994 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1346 994 413 48 0 1298 0
[pid=4835] vsize: 5384
Current children cumulated CPU time (s) 1077.37
Current children cumulated vsize (Kb) 7512
[startup+1470.11 s]
Raw data (loadavg): 1.04 1.09 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1050 0 0 0 36929 8206 0 0 16 0 1 0 19615816 5648384 1019 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1379 1019 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1086.31
Current children cumulated vsize (Kb) 7644
[startup+1480.11 s]
Raw data (loadavg): 1.11 1.10 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 1051 0 0 0 37520 8341 0 0 16 0 1 0 19615816 5648384 1020 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 1379 1020 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1093.57
Current children cumulated vsize (Kb) 7644
[startup+1490.11 s]
Raw data (loadavg): 1.09 1.10 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1053 0 0 0 38323 8406 0 0 16 0 1 0 19615816 5648384 1022 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 1379 1022 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1102.25
Current children cumulated vsize (Kb) 7644
[startup+1500.11 s]
Raw data (loadavg): 1.08 1.10 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1053 0 0 0 39116 8474 0 0 16 0 1 0 19615816 5648384 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1379 1022 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1110.86
Current children cumulated vsize (Kb) 7644
[startup+1510.11 s]
Raw data (loadavg): 1.07 1.09 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1053 0 0 0 39936 8539 0 0 16 0 1 0 19615816 5648384 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1379 1022 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1119.71
Current children cumulated vsize (Kb) 7644
[startup+1520.11 s]
Raw data (loadavg): 1.06 1.09 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1053 0 0 0 40752 8602 0 0 17 0 1 0 19615816 5648384 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1379 1022 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1128.5
Current children cumulated vsize (Kb) 7644
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=4835) exited with status: 2
New process pid=4897
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=4897) exited with status: 0
New process pid=4898
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+1530.11 s]
Raw data (loadavg): 1.05 1.08 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 260 0 0 0 24 4 0 0 18 0 1 0 19683512 2347008 230 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 573 230 413 48 0 525 0
[pid=4898] vsize: 2292
Current children cumulated CPU time (s) 1135.2
Current children cumulated vsize (Kb) 4420
[startup+1540.11 s]
Raw data (loadavg): 1.04 1.08 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 294 0 0 0 485 177 0 0 16 0 1 0 19683512 3162112 264 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 264 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1141.54
Current children cumulated vsize (Kb) 5216
[startup+1550.11 s]
Raw data (loadavg): 1.03 1.08 1.03 2/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) R 4830 4830 4060 0 -1 0 296 0 0 0 1023 327 0 0 16 0 1 0 19683512 3162112 266 4294967295 134512640 134702520 3221223712 3221222912 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 266 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1148.42
Current children cumulated vsize (Kb) 5216
[startup+1560.11 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 297 0 0 0 1456 514 0 0 16 0 1 0 19683512 3162112 267 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 267 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1154.62
Current children cumulated vsize (Kb) 5216
[startup+1570.11 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 299 0 0 0 2001 666 0 0 16 0 1 0 19683512 3162112 269 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 269 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1161.59
Current children cumulated vsize (Kb) 5216
[startup+1580.11 s]
Raw data (loadavg): 1.07 1.08 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 301 0 0 0 2436 852 0 0 16 0 1 0 19683512 3162112 271 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 271 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1167.8
Current children cumulated vsize (Kb) 5216
[startup+1590.11 s]
Raw data (loadavg): 1.06 1.08 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 309 0 0 0 3009 997 0 0 16 0 1 0 19683512 3162112 279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 279 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1174.98
Current children cumulated vsize (Kb) 5216
[startup+1600.12 s]
Raw data (loadavg): 1.20 1.11 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 310 0 0 0 3458 1175 0 0 16 0 1 0 19683512 3162112 280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 280 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1181.25
Current children cumulated vsize (Kb) 5216
[startup+1610.12 s]
Raw data (loadavg): 1.17 1.11 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 311 0 0 0 4017 1320 0 0 15 0 1 0 19683512 3162112 281 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 281 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1188.29
Current children cumulated vsize (Kb) 5216
[startup+1620.12 s]
Raw data (loadavg): 1.23 1.12 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 311 0 0 0 4466 1497 0 0 16 0 1 0 19683512 3162112 281 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 281 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1194.55
Current children cumulated vsize (Kb) 5216
[startup+1630.12 s]
Raw data (loadavg): 1.19 1.12 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 312 0 0 0 5056 1629 0 0 16 0 1 0 19683512 3162112 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 282 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1201.77
Current children cumulated vsize (Kb) 5216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1630.12 s]
Raw data (loadavg): 1.19 1.12 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 312 0 0 0 5056 1629 0 0 16 0 1 0 19683512 3162112 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 282 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1201.77
Current children cumulated vsize (Kb) 5216
Sending SIGTERM to -4830
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4900
New process pid=4901
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=4898) exited with status: 3
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4791/stat
open syscall for file /proc/4791/status
open syscall for file /proc/4791/cmdline
open syscall for file /proc/4791/environ
open syscall for file /proc/4829/stat
open syscall for file /proc/4829/status
open syscall for file /proc/4829/cmdline
open syscall for file /proc/4829/environ
open syscall for file /proc/4830/stat
open syscall for file /proc/4830/status
open syscall for file /proc/4830/cmdline
open syscall for file /proc/4830/environ
open syscall for file /proc/4900/stat
open syscall for file /proc/4900/status
open syscall for file /proc/4900/cmdline
open syscall for file /proc/4900/environ
open syscall for file /proc/4901/stat
open syscall for file /proc/4901/status
open syscall for file /proc/4901/cmdline
open syscall for file /proc/4901/environ
One traced child (pid=4900) exited with status: 0
One traced child (pid=4901) exited with status: 0
New process pid=4902
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=4902) exited with status: 0
New process pid=4903
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=4903) exited with status: 0
One traced child (pid=4830) 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): 1630.59
CPU time (s): 1201.91
CPU user time (s): 991.109
CPU system time (s): 210.798
CPU usage (%): 73.7099
Max. virtual memory (cumulated for all children) (Kb): 10860