1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 2 (#equs: 1253)
#decisions: 258183; #end-nodes: 169872;
#proof improvement attempts: 0; #restarts: 864
Current batch, end-nodes: 0 / 295 (295)
#axs: 7771, #non-axs: 9788
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2 (#equs: 1261)
Time taken: 5 min, 48 sec
2:
seed: 0
Nr of vars set: 2 (#equs: 0)
Nr of vars set: 2 (#equs: 15)
Interupt request received.
#decisions: 842084; #end-nodes: 629194;
#proof improvement attempts: 0; #restarts: 1772
Current batch, end-nodes: 98 / 566 (563)
#axs: 5358, #non-axs: 10112
tight: meta-meta: start: 4, end: 5; meta: start: 8, end (keep): 15
loose: meta-meta: start: 8, end: 12; meta: start: 25, end (keep): 42
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 433 (#equs: 17)
Time taken: 14 min, 17 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) R 4288 4289 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845793666 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4289/statm): 174 3 169 147 0 27 0
[pid=4289] 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=4290
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=4290) exited with status: 0
New process pid=4291
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=4291) exited with status: 0
New process pid=4292
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/wulflinc22/normalized-par32-2-c.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0031 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 436 0 0 0 347 208 0 0 17 0 1 0 1845793675 3076096 406 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4292/statm): 751 406 413 48 0 703 0
[pid=4292] vsize: 3004
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (Kb) 5132
[startup+20.0038 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 486 0 0 0 1016 318 0 0 22 0 1 0 1845793675 4517888 456 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1103 456 413 48 0 1055 0
[pid=4292] vsize: 4412
Current children cumulated CPU time (s) 13.36
Current children cumulated vsize (Kb) 6540
[startup+30.0045 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 545 0 0 0 1751 409 0 0 25 0 1 0 1845793675 4788224 515 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1169 515 413 48 0 1121 0
[pid=4292] vsize: 4676
Current children cumulated CPU time (s) 21.62
Current children cumulated vsize (Kb) 6804
[startup+40.0052 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 549 0 0 0 2271 569 0 0 17 0 1 0 1845793675 4788224 519 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1169 519 413 48 0 1121 0
[pid=4292] vsize: 4676
Current children cumulated CPU time (s) 28.42
Current children cumulated vsize (Kb) 6804
[startup+50.006 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 556 0 0 0 2866 705 0 0 21 0 1 0 1845793675 4788224 526 4294967295 134512640 134702520 3221223968 3221223248 134552441 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1169 526 413 48 0 1121 0
[pid=4292] vsize: 4676
Current children cumulated CPU time (s) 35.73
Current children cumulated vsize (Kb) 6804
[startup+60.0067 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 572 0 0 0 3605 789 0 0 22 0 1 0 1845793675 4894720 542 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1195 542 413 48 0 1147 0
[pid=4292] vsize: 4780
Current children cumulated CPU time (s) 43.96
Current children cumulated vsize (Kb) 6908
[startup+70.0074 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 604 0 0 0 4273 896 0 0 17 0 1 0 1845793675 5029888 574 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1228 574 413 48 0 1180 0
[pid=4292] vsize: 4912
Current children cumulated CPU time (s) 51.71
Current children cumulated vsize (Kb) 7040
[startup+80.0081 s]
Raw data (loadavg): 1.09 1.02 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 605 0 0 0 4768 1062 0 0 17 0 1 0 1845793675 5029888 575 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1228 575 413 48 0 1180 0
[pid=4292] vsize: 4912
Current children cumulated CPU time (s) 58.32
Current children cumulated vsize (Kb) 7040
[startup+90.0088 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 606 0 0 0 5513 1146 0 0 25 0 1 0 1845793675 5029888 576 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1228 576 413 48 0 1180 0
[pid=4292] vsize: 4912
Current children cumulated CPU time (s) 66.61
Current children cumulated vsize (Kb) 7040
[startup+100.01 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 627 0 0 0 6281 1220 0 0 18 0 1 0 1845793675 5029888 597 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1228 597 413 48 0 1180 0
[pid=4292] vsize: 4912
Current children cumulated CPU time (s) 75.03
Current children cumulated vsize (Kb) 7040
[startup+110.01 s]
Raw data (loadavg): 1.13 1.03 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 640 0 0 0 6930 1334 0 0 18 0 1 0 1845793675 5029888 610 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1228 610 413 48 0 1180 0
[pid=4292] vsize: 4912
Current children cumulated CPU time (s) 82.66
Current children cumulated vsize (Kb) 7040
[startup+120.011 s]
Raw data (loadavg): 1.27 1.06 1.02 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 641 0 0 0 7426 1504 0 0 18 0 1 0 1845793675 5029888 611 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1228 611 413 48 0 1180 0
[pid=4292] vsize: 4912
Current children cumulated CPU time (s) 89.32
Current children cumulated vsize (Kb) 7040
[startup+130.012 s]
Raw data (loadavg): 1.23 1.06 1.02 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 641 0 0 0 8235 1568 0 0 25 0 1 0 1845793675 5029888 611 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1228 611 413 48 0 1180 0
[pid=4292] vsize: 4912
Current children cumulated CPU time (s) 98.05
Current children cumulated vsize (Kb) 7040
[startup+140.012 s]
Raw data (loadavg): 1.19 1.06 1.02 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 662 0 0 0 9049 1631 0 0 25 0 1 0 1845793675 5173248 632 4294967295 134512640 134702520 3221223968 3221223248 134556510 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1263 632 413 48 0 1215 0
[pid=4292] vsize: 5052
Current children cumulated CPU time (s) 106.82
Current children cumulated vsize (Kb) 7180
[startup+150.014 s]
Raw data (loadavg): 1.16 1.05 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 683 0 0 0 9735 1733 0 0 17 0 1 0 1845793675 5173248 653 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1263 653 413 48 0 1215 0
[pid=4292] vsize: 5052
Current children cumulated CPU time (s) 114.7
Current children cumulated vsize (Kb) 7180
[startup+160.015 s]
Raw data (loadavg): 1.14 1.05 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 683 0 0 0 10251 1891 0 0 17 0 1 0 1845793675 5173248 653 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1263 653 413 48 0 1215 0
[pid=4292] vsize: 5052
Current children cumulated CPU time (s) 121.44
Current children cumulated vsize (Kb) 7180
[startup+170.016 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 683 0 0 0 11012 1971 0 0 18 0 1 0 1845793675 5173248 653 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1263 653 413 48 0 1215 0
[pid=4292] vsize: 5052
Current children cumulated CPU time (s) 129.85
Current children cumulated vsize (Kb) 7180
[startup+180.016 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 689 0 0 0 11822 2034 0 0 19 0 1 0 1845793675 5173248 659 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1263 659 413 48 0 1215 0
[pid=4292] vsize: 5052
Current children cumulated CPU time (s) 138.58
Current children cumulated vsize (Kb) 7180
[startup+190.018 s]
Raw data (loadavg): 1.08 1.05 1.01 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 723 0 0 0 12668 2081 0 0 25 0 1 0 1845793675 5328896 693 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1301 693 413 48 0 1253 0
[pid=4292] vsize: 5204
Current children cumulated CPU time (s) 147.51
Current children cumulated vsize (Kb) 7332
[startup+200.019 s]
Raw data (loadavg): 1.15 1.06 1.02 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 724 0 0 0 13213 2231 0 0 17 0 1 0 1845793675 5328896 694 4294967295 134512640 134702520 3221223968 3221222864 134552412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1301 694 413 48 0 1253 0
[pid=4292] vsize: 5204
Current children cumulated CPU time (s) 154.46
Current children cumulated vsize (Kb) 7332
[startup+210.019 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 724 0 0 0 13835 2360 0 0 25 0 1 0 1845793675 5328896 694 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1301 694 413 48 0 1253 0
[pid=4292] vsize: 5204
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (Kb) 7332
[startup+220.02 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 724 0 0 0 14645 2424 0 0 25 0 1 0 1845793675 5328896 694 4294967295 134512640 134702520 3221223968 3221223216 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1301 694 413 48 0 1253 0
[pid=4292] vsize: 5204
Current children cumulated CPU time (s) 170.71
Current children cumulated vsize (Kb) 7332
[startup+230.02 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 727 0 0 0 15466 2484 0 0 25 0 1 0 1845793675 5328896 697 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1301 697 413 48 0 1253 0
[pid=4292] vsize: 5204
Current children cumulated CPU time (s) 179.52
Current children cumulated vsize (Kb) 7332
[startup+240.02 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 758 0 0 0 16326 2531 0 0 19 0 1 0 1845793675 5423104 728 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1324 728 413 48 0 1276 0
[pid=4292] vsize: 5296
Current children cumulated CPU time (s) 188.59
Current children cumulated vsize (Kb) 7424
[startup+250.022 s]
Raw data (loadavg): 1.06 1.05 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 758 0 0 0 16872 2683 0 0 18 0 1 0 1845793675 5423104 728 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1324 728 413 48 0 1276 0
[pid=4292] vsize: 5296
Current children cumulated CPU time (s) 195.57
Current children cumulated vsize (Kb) 7424
[startup+260.022 s]
Raw data (loadavg): 1.05 1.05 1.01 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 758 0 0 0 17521 2794 0 0 25 0 1 0 1845793675 5423104 728 4294967295 134512640 134702520 3221223968 3221223248 134557446 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1324 728 413 48 0 1276 0
[pid=4292] vsize: 5296
Current children cumulated CPU time (s) 203.17
Current children cumulated vsize (Kb) 7424
[startup+270.023 s]
Raw data (loadavg): 1.04 1.05 1.01 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 762 0 0 0 18333 2856 0 0 25 0 1 0 1845793675 5423104 732 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1324 732 413 48 0 1276 0
[pid=4292] vsize: 5296
Current children cumulated CPU time (s) 211.91
Current children cumulated vsize (Kb) 7424
[startup+280.023 s]
Raw data (loadavg): 1.04 1.04 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 762 0 0 0 19163 2915 0 0 17 0 1 0 1845793675 5423104 732 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1324 732 413 48 0 1276 0
[pid=4292] vsize: 5296
Current children cumulated CPU time (s) 220.8
Current children cumulated vsize (Kb) 7424
[startup+290.025 s]
Raw data (loadavg): 1.03 1.04 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 778 0 0 0 20036 2959 0 0 25 0 1 0 1845793675 5550080 748 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1355 748 413 48 0 1307 0
[pid=4292] vsize: 5420
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (Kb) 7548
[startup+300.026 s]
Raw data (loadavg): 1.02 1.04 1.01 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 790 0 0 0 20688 3077 0 0 17 0 1 0 1845793675 5550080 760 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1355 760 413 48 0 1307 0
[pid=4292] vsize: 5420
Current children cumulated CPU time (s) 237.67
Current children cumulated vsize (Kb) 7548
[startup+310.026 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 791 0 0 0 21212 3229 0 0 19 0 1 0 1845793675 5550080 761 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1355 761 413 48 0 1307 0
[pid=4292] vsize: 5420
Current children cumulated CPU time (s) 244.43
Current children cumulated vsize (Kb) 7548
[startup+320.027 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 791 0 0 0 22090 3268 0 0 25 0 1 0 1845793675 5550080 761 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1355 761 413 48 0 1307 0
[pid=4292] vsize: 5420
Current children cumulated CPU time (s) 253.6
Current children cumulated vsize (Kb) 7548
[startup+330.028 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 793 0 0 0 22910 3330 0 0 23 0 1 0 1845793675 5550080 763 4294967295 134512640 134702520 3221223968 3221223248 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1355 763 413 48 0 1307 0
[pid=4292] vsize: 5420
Current children cumulated CPU time (s) 262.42
Current children cumulated vsize (Kb) 7548
[startup+340.03 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 795 0 0 0 23798 3369 0 0 25 0 1 0 1845793675 5550080 765 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1355 765 413 48 0 1307 0
[pid=4292] vsize: 5420
Current children cumulated CPU time (s) 271.69
Current children cumulated vsize (Kb) 7548
[startup+350.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 823 0 0 0 24687 3405 0 0 25 0 1 0 1845793675 5685248 793 4294967295 134512640 134702520 3221223968 3221223216 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1388 793 413 48 0 1340 0
[pid=4292] vsize: 5552
Current children cumulated CPU time (s) 280.94
Current children cumulated vsize (Kb) 7680
[startup+360.031 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 828 0 0 0 25320 3528 0 0 17 0 1 0 1845793675 5685248 798 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1388 798 413 48 0 1340 0
[pid=4292] vsize: 5552
Current children cumulated CPU time (s) 288.5
Current children cumulated vsize (Kb) 7680
[startup+370.033 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 828 0 0 0 25865 3674 0 0 24 0 1 0 1845793675 5685248 798 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1388 798 413 48 0 1340 0
[pid=4292] vsize: 5552
Current children cumulated CPU time (s) 295.41
Current children cumulated vsize (Kb) 7680
[startup+380.033 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 828 0 0 0 26749 3712 0 0 25 0 1 0 1845793675 5685248 798 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1388 798 413 48 0 1340 0
[pid=4292] vsize: 5552
Current children cumulated CPU time (s) 304.63
Current children cumulated vsize (Kb) 7680
[startup+390.035 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 830 0 0 0 27610 3758 0 0 19 0 1 0 1845793675 5685248 800 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1388 800 413 48 0 1340 0
[pid=4292] vsize: 5552
Current children cumulated CPU time (s) 313.7
Current children cumulated vsize (Kb) 7680
[startup+400.036 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 830 0 0 0 28458 3809 0 0 24 0 1 0 1845793675 5685248 800 4294967295 134512640 134702520 3221223968 3221223248 134553397 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1388 800 413 48 0 1340 0
[pid=4292] vsize: 5552
Current children cumulated CPU time (s) 322.69
Current children cumulated vsize (Kb) 7680
[startup+410.036 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 839 0 0 0 29347 3846 0 0 25 0 1 0 1845793675 5685248 809 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1388 809 413 48 0 1340 0
[pid=4292] vsize: 5552
Current children cumulated CPU time (s) 331.95
Current children cumulated vsize (Kb) 7680
[startup+420.036 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) T 4289 4289 21452 0 -1 0 865 0 0 0 30109 3927 0 0 18 0 1 0 1845793675 5828608 835 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4292/statm): 1423 835 413 48 0 1375 0
[pid=4292] vsize: 5692
Current children cumulated CPU time (s) 340.38
Current children cumulated vsize (Kb) 7820
[startup+430.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4292
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845793666 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 242 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4292/stat): 4292 (vallst) R 4289 4289 21452 0 -1 0 865 0 0 0 30634 4087 0 0 17 0 1 0 1845793675 5828608 835 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4292/statm): 1423 835 413 48 0 1375 0
[pid=4292] vsize: 5692
Current children cumulated CPU time (s) 347.23
Current children cumulated vsize (Kb) 7820
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=4292) exited with status: 2
New process pid=4293
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=4293) exited with status: 0
New process pid=4294
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+440.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 518 0 0 0 422 104 0 0 17 0 1 0 1845836924 4034560 489 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 985 489 413 48 0 937 0
[pid=4294] vsize: 3940
Current children cumulated CPU time (s) 354.15
Current children cumulated vsize (Kb) 6068
[startup+450.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 581 0 0 0 932 258 0 0 25 0 1 0 1845836924 6467584 552 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1579 552 413 48 0 1531 0
[pid=4294] vsize: 6316
Current children cumulated CPU time (s) 360.79
Current children cumulated vsize (Kb) 8444
[startup+460.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 643 0 0 0 1678 342 0 0 25 0 1 0 1845836924 6606848 614 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1613 614 413 48 0 1565 0
[pid=4294] vsize: 6452
Current children cumulated CPU time (s) 369.09
Current children cumulated vsize (Kb) 8580
[startup+470.04 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 681 0 0 0 2421 425 0 0 17 0 1 0 1845836924 6606848 652 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1613 652 413 48 0 1565 0
[pid=4294] vsize: 6452
Current children cumulated CPU time (s) 377.35
Current children cumulated vsize (Kb) 8580
[startup+480.041 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 682 0 0 0 2929 581 0 0 16 0 1 0 1845836924 6606848 653 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1613 653 413 48 0 1565 0
[pid=4294] vsize: 6452
Current children cumulated CPU time (s) 383.99
Current children cumulated vsize (Kb) 8580
[startup+490.042 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 686 0 0 0 3547 708 0 0 16 0 1 0 1845836924 6606848 657 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1613 657 413 48 0 1565 0
[pid=4294] vsize: 6452
Current children cumulated CPU time (s) 391.44
Current children cumulated vsize (Kb) 8580
[startup+500.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 693 0 0 0 4351 771 0 0 25 0 1 0 1845836924 6606848 664 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1613 664 413 48 0 1565 0
[pid=4294] vsize: 6452
Current children cumulated CPU time (s) 400.11
Current children cumulated vsize (Kb) 8580
[startup+510.044 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 721 0 0 0 5026 882 0 0 17 0 1 0 1845836924 7049216 692 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 692 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (Kb) 9012
[startup+520.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 723 0 0 0 5463 1062 0 0 24 0 1 0 1845836924 7049216 694 4294967295 134512640 134702520 3221223712 3221222992 134552562 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 694 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 414.14
Current children cumulated vsize (Kb) 9012
[startup+530.045 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 723 0 0 0 6204 1147 0 0 18 0 1 0 1845836924 7049216 694 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 694 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 422.4
Current children cumulated vsize (Kb) 9012
[startup+540.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 731 0 0 0 7014 1211 0 0 25 0 1 0 1845836924 7049216 702 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1721 702 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 431.14
Current children cumulated vsize (Kb) 9012
[startup+550.049 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 732 0 0 0 7536 1359 0 0 17 0 1 0 1845836924 7049216 703 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 703 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 437.84
Current children cumulated vsize (Kb) 9012
[startup+560.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 735 0 0 0 8121 1493 0 0 25 0 1 0 1845836924 7049216 706 4294967295 134512640 134702520 3221223712 3221222992 134557203 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1721 706 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 445.03
Current children cumulated vsize (Kb) 9012
[startup+570.05 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 735 0 0 0 8915 1562 0 0 21 0 1 0 1845836924 7049216 706 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 706 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 453.66
Current children cumulated vsize (Kb) 9012
[startup+580.051 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 737 0 0 0 9725 1626 0 0 21 0 1 0 1845836924 7049216 708 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 708 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 462.4
Current children cumulated vsize (Kb) 9012
[startup+590.051 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 737 0 0 0 10166 1806 0 0 17 0 1 0 1845836924 7049216 708 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 708 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 468.61
Current children cumulated vsize (Kb) 9012
[startup+600.053 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 740 0 0 0 10824 1920 0 0 21 0 1 0 1845836924 7049216 711 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 711 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 476.33
Current children cumulated vsize (Kb) 9012
[startup+610.054 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 749 0 0 0 11590 1998 0 0 17 0 1 0 1845836924 7049216 720 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 720 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 484.77
Current children cumulated vsize (Kb) 9012
[startup+620.055 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 756 0 0 0 12442 2046 0 0 20 0 1 0 1845836924 7049216 727 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 727 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 493.77
Current children cumulated vsize (Kb) 9012
[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 757 0 0 0 12879 2231 0 0 16 0 1 0 1845836924 7049216 728 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1721 728 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 499.99
Current children cumulated vsize (Kb) 9012
[startup+640.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 758 0 0 0 13549 2339 0 0 25 0 1 0 1845836924 7049216 729 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1721 729 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 507.77
Current children cumulated vsize (Kb) 9012
[startup+650.058 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 758 0 0 0 14363 2400 0 0 20 0 1 0 1845836924 7049216 729 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1721 729 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 516.52
Current children cumulated vsize (Kb) 9012
[startup+660.058 s]
Raw data (loadavg): 1.13 1.03 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 760 0 0 0 15176 2460 0 0 25 0 1 0 1845836924 7049216 731 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1721 731 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 525.25
Current children cumulated vsize (Kb) 9012
[startup+670.06 s]
Raw data (loadavg): 1.11 1.03 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 772 0 0 0 15770 2592 0 0 17 0 1 0 1845836924 7049216 743 4294967295 134512640 134702520 3221223712 3221222608 134557705 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1721 743 413 48 0 1673 0
[pid=4294] vsize: 6884
Current children cumulated CPU time (s) 532.51
Current children cumulated vsize (Kb) 9012
[startup+680.061 s]
Raw data (loadavg): 1.18 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 774 0 0 0 16326 2728 0 0 21 0 1 0 1845836924 7147520 745 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1745 745 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 539.43
Current children cumulated vsize (Kb) 9108
[startup+690.063 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 774 0 0 0 17141 2786 0 0 25 0 1 0 1845836924 7147520 745 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1745 745 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 548.16
Current children cumulated vsize (Kb) 9108
[startup+700.064 s]
Raw data (loadavg): 1.20 1.06 1.02 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 781 0 0 0 17958 2845 0 0 25 0 1 0 1845836924 7147520 752 4294967295 134512640 134702520 3221223712 3221222976 134553224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1745 752 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 556.92
Current children cumulated vsize (Kb) 9108
[startup+710.064 s]
Raw data (loadavg): 1.17 1.06 1.02 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 796 0 0 0 18833 2886 0 0 22 0 1 0 1845836924 7147520 767 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1745 767 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 566.08
Current children cumulated vsize (Kb) 9108
[startup+720.066 s]
Raw data (loadavg): 1.15 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 797 0 0 0 19281 3067 0 0 16 0 1 0 1845836924 7147520 768 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1745 768 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 572.37
Current children cumulated vsize (Kb) 9108
[startup+730.066 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 798 0 0 0 19947 3177 0 0 25 0 1 0 1845836924 7147520 769 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1745 769 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 580.13
Current children cumulated vsize (Kb) 9108
[startup+740.067 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 805 0 0 0 20761 3238 0 0 17 0 1 0 1845836924 7147520 776 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1745 776 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 588.88
Current children cumulated vsize (Kb) 9108
[startup+750.068 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 807 0 0 0 21644 3277 0 0 25 0 1 0 1845836924 7147520 778 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1745 778 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 598.1
Current children cumulated vsize (Kb) 9108
[startup+760.069 s]
Raw data (loadavg): 1.07 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 824 0 0 0 22530 3315 0 0 25 0 1 0 1845836924 7147520 795 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1745 795 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 607.34
Current children cumulated vsize (Kb) 9108
[startup+770.069 s]
Raw data (loadavg): 1.13 1.06 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 829 0 0 0 23004 3496 0 0 17 0 1 0 1845836924 7147520 800 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1745 800 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 613.89
Current children cumulated vsize (Kb) 9108
[startup+780.07 s]
Raw data (loadavg): 1.11 1.06 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 830 0 0 0 23626 3623 0 0 23 0 1 0 1845836924 7147520 801 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1745 801 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 621.38
Current children cumulated vsize (Kb) 9108
[startup+790.072 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 832 0 0 0 24496 3665 0 0 25 0 1 0 1845836924 7147520 803 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1745 803 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 630.5
Current children cumulated vsize (Kb) 9108
[startup+800.072 s]
Raw data (loadavg): 1.08 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 836 0 0 0 25314 3724 0 0 22 0 1 0 1845836924 7147520 807 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1745 807 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 639.27
Current children cumulated vsize (Kb) 9108
[startup+810.073 s]
Raw data (loadavg): 1.07 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 838 0 0 0 26201 3760 0 0 25 0 1 0 1845836924 7147520 809 4294967295 134512640 134702520 3221223712 3221222992 134553177 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1745 809 413 48 0 1697 0
[pid=4294] vsize: 6980
Current children cumulated CPU time (s) 648.5
Current children cumulated vsize (Kb) 9108
[startup+820.074 s]
Raw data (loadavg): 1.06 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 850 0 0 0 26821 3880 0 0 17 0 1 0 1845836924 7282688 821 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1778 821 413 48 0 1730 0
[pid=4294] vsize: 7112
Current children cumulated CPU time (s) 655.9
Current children cumulated vsize (Kb) 9240
[startup+830.074 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 852 0 0 0 27348 4031 0 0 20 0 1 0 1845836924 7262208 823 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1773 823 413 48 0 1725 0
[pid=4294] vsize: 7092
Current children cumulated CPU time (s) 662.68
Current children cumulated vsize (Kb) 9220
[startup+840.076 s]
Raw data (loadavg): 1.04 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 856 0 0 0 28159 4091 0 0 25 0 1 0 1845836924 7262208 827 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1773 827 413 48 0 1725 0
[pid=4294] vsize: 7092
Current children cumulated CPU time (s) 671.39
Current children cumulated vsize (Kb) 9220
[startup+850.078 s]
Raw data (loadavg): 1.03 1.04 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 862 0 0 0 28970 4156 0 0 25 0 1 0 1845836924 7262208 833 4294967295 134512640 134702520 3221223712 3221222992 134557252 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1773 833 413 48 0 1725 0
[pid=4294] vsize: 7092
Current children cumulated CPU time (s) 680.15
Current children cumulated vsize (Kb) 9220
[startup+860.078 s]
Raw data (loadavg): 1.03 1.04 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 863 0 0 0 29849 4193 0 0 25 0 1 0 1845836924 7262208 834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1773 834 413 48 0 1725 0
[pid=4294] vsize: 7092
Current children cumulated CPU time (s) 689.31
Current children cumulated vsize (Kb) 9220
[startup+870.078 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 871 0 0 0 30347 4355 0 0 16 0 1 0 1845836924 7262208 842 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1773 842 413 48 0 1725 0
[pid=4294] vsize: 7092
Current children cumulated CPU time (s) 695.91
Current children cumulated vsize (Kb) 9220
[startup+880.079 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 875 0 0 0 30953 4481 0 0 24 0 1 0 1845836924 7262208 846 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1773 846 413 48 0 1725 0
[pid=4294] vsize: 7092
Current children cumulated CPU time (s) 703.23
Current children cumulated vsize (Kb) 9220
[startup+890.08 s]
Raw data (loadavg): 1.08 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 876 0 0 0 31822 4523 0 0 25 0 1 0 1845836924 7262208 847 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1773 847 413 48 0 1725 0
[pid=4294] vsize: 7092
Current children cumulated CPU time (s) 712.34
Current children cumulated vsize (Kb) 9220
[startup+900.081 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 902 0 0 0 32634 4581 0 0 22 0 1 0 1845836924 7262208 873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1773 873 413 48 0 1725 0
[pid=4294] vsize: 7092
Current children cumulated CPU time (s) 721.04
Current children cumulated vsize (Kb) 9220
[startup+910.081 s]
Raw data (loadavg): 1.06 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1016 0 0 0 33521 4621 0 0 24 0 1 0 1845836924 8024064 987 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1959 987 413 48 0 1911 0
[pid=4294] vsize: 7836
Current children cumulated CPU time (s) 730.31
Current children cumulated vsize (Kb) 9964
[startup+920.082 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1130 0 0 0 34394 4664 0 0 17 0 1 0 1845836924 8024064 1064 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1959 1064 413 48 0 1911 0
[pid=4294] vsize: 7836
Current children cumulated CPU time (s) 739.47
Current children cumulated vsize (Kb) 9964
[startup+930.083 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1131 0 0 0 34778 4860 0 0 16 0 1 0 1845836924 8024064 1065 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1959 1065 413 48 0 1911 0
[pid=4294] vsize: 7836
Current children cumulated CPU time (s) 745.27
Current children cumulated vsize (Kb) 9964
[startup+940.084 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1132 0 0 0 35588 4920 0 0 25 0 1 0 1845836924 8024064 1066 4294967295 134512640 134702520 3221223712 3221222992 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1959 1066 413 48 0 1911 0
[pid=4294] vsize: 7836
Current children cumulated CPU time (s) 753.97
Current children cumulated vsize (Kb) 9964
[startup+950.085 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1136 0 0 0 36473 4956 0 0 25 0 1 0 1845836924 8024064 1070 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1959 1070 413 48 0 1911 0
[pid=4294] vsize: 7836
Current children cumulated CPU time (s) 763.18
Current children cumulated vsize (Kb) 9964
[startup+960.086 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1160 0 0 0 37370 4991 0 0 25 0 1 0 1845836924 8445952 1094 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 2062 1094 413 48 0 2014 0
[pid=4294] vsize: 8248
Current children cumulated CPU time (s) 772.5
Current children cumulated vsize (Kb) 10376
[startup+970.087 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1265 0 0 0 38300 5014 0 0 18 0 1 0 1845836924 8765440 1199 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 2140 1199 413 48 0 2092 0
[pid=4294] vsize: 8560
Current children cumulated CPU time (s) 782.03
Current children cumulated vsize (Kb) 10688
[startup+980.088 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1337 0 0 0 39232 5039 0 0 25 0 1 0 1845836924 9220096 1271 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2251 1271 413 48 0 2203 0
[pid=4294] vsize: 9004
Current children cumulated CPU time (s) 791.6
Current children cumulated vsize (Kb) 11132
[startup+990.089 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1374 0 0 0 40132 5075 0 0 25 0 1 0 1845836924 9220096 1308 4294967295 134512640 134702520 3221223712 3221222992 134550697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 2251 1308 413 48 0 2203 0
[pid=4294] vsize: 9004
Current children cumulated CPU time (s) 800.96
Current children cumulated vsize (Kb) 11132
[startup+1000.09 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1452 0 0 0 41074 5093 0 0 19 0 1 0 1845836924 8261632 1146 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 2017 1146 413 48 0 1969 0
[pid=4294] vsize: 8068
Current children cumulated CPU time (s) 810.56
Current children cumulated vsize (Kb) 10196
[startup+1010.09 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1453 0 0 0 41507 5278 0 0 16 0 1 0 1845836924 8261632 1147 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 2017 1147 413 48 0 1969 0
[pid=4294] vsize: 8068
Current children cumulated CPU time (s) 816.74
Current children cumulated vsize (Kb) 10196
[startup+1020.09 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1454 0 0 0 42270 5363 0 0 25 0 1 0 1845836924 8359936 1148 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2041 1148 413 48 0 1993 0
[pid=4294] vsize: 8164
Current children cumulated CPU time (s) 825.22
Current children cumulated vsize (Kb) 10292
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1454 0 0 0 43157 5401 0 0 25 0 1 0 1845836924 8359936 1148 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2041 1148 413 48 0 1993 0
[pid=4294] vsize: 8164
Current children cumulated CPU time (s) 834.47
Current children cumulated vsize (Kb) 10292
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1457 0 0 0 44058 5435 0 0 25 0 1 0 1845836924 8679424 1151 4294967295 134512640 134702520 3221223712 3221222976 134557407 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2119 1151 413 48 0 2071 0
[pid=4294] vsize: 8476
Current children cumulated CPU time (s) 843.82
Current children cumulated vsize (Kb) 10604
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1517 0 0 0 44958 5469 0 0 25 0 1 0 1845836924 8679424 1211 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2119 1211 413 48 0 2071 0
[pid=4294] vsize: 8476
Current children cumulated CPU time (s) 853.16
Current children cumulated vsize (Kb) 10604
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1573 0 0 0 45862 5499 0 0 25 0 1 0 1845836924 8998912 1267 4294967295 134512640 134702520 3221223712 3221222992 134557693 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2197 1267 413 48 0 2149 0
[pid=4294] vsize: 8788
Current children cumulated CPU time (s) 862.5
Current children cumulated vsize (Kb) 10916
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1615 0 0 0 46827 5511 0 0 25 0 1 0 1845836924 8998912 1309 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 2197 1309 413 48 0 2149 0
[pid=4294] vsize: 8788
Current children cumulated CPU time (s) 872.27
Current children cumulated vsize (Kb) 10916
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1642 0 0 0 47727 5545 0 0 25 0 1 0 1845836924 9318400 1336 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2275 1336 413 48 0 2227 0
[pid=4294] vsize: 9100
Current children cumulated CPU time (s) 881.61
Current children cumulated vsize (Kb) 11228
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1706 0 0 0 48669 5565 0 0 17 0 1 0 1845836924 8495104 1186 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2074 1186 413 48 0 2026 0
[pid=4294] vsize: 8296
Current children cumulated CPU time (s) 891.23
Current children cumulated vsize (Kb) 10424
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1707 0 0 0 49143 5736 0 0 16 0 1 0 1845836924 8495104 1187 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2074 1187 413 48 0 2026 0
[pid=4294] vsize: 8296
Current children cumulated CPU time (s) 897.68
Current children cumulated vsize (Kb) 10424
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1708 0 0 0 49878 5821 0 0 25 0 1 0 1845836924 8495104 1188 4294967295 134512640 134702520 3221223712 3221222992 134552799 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2074 1188 413 48 0 2026 0
[pid=4294] vsize: 8296
Current children cumulated CPU time (s) 905.88
Current children cumulated vsize (Kb) 10424
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 50770 5858 0 0 25 0 1 0 1845836924 8495104 1188 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2074 1188 413 48 0 2026 0
[pid=4294] vsize: 8296
Current children cumulated CPU time (s) 915.17
Current children cumulated vsize (Kb) 10424
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1708 0 0 0 51662 5896 0 0 25 0 1 0 1845836924 8495104 1188 4294967295 134512640 134702520 3221223712 3221222992 134557211 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2074 1188 413 48 0 2026 0
[pid=4294] vsize: 8296
Current children cumulated CPU time (s) 924.47
Current children cumulated vsize (Kb) 10424
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 52558 5931 0 0 21 0 1 0 1845836924 8495104 1188 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2074 1188 413 48 0 2026 0
[pid=4294] vsize: 8296
Current children cumulated CPU time (s) 933.78
Current children cumulated vsize (Kb) 10424
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 53517 5947 0 0 25 0 1 0 1845836924 8495104 1188 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2074 1188 413 48 0 2026 0
[pid=4294] vsize: 8296
Current children cumulated CPU time (s) 943.53
Current children cumulated vsize (Kb) 10424
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 54414 5980 0 0 25 0 1 0 1845836924 8495104 1188 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2074 1188 413 48 0 2026 0
[pid=4294] vsize: 8296
Current children cumulated CPU time (s) 952.83
Current children cumulated vsize (Kb) 10424
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 55311 6016 0 0 25 0 1 0 1845836924 8495104 1188 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 2074 1188 413 48 0 2026 0
[pid=4294] vsize: 8296
Current children cumulated CPU time (s) 962.16
Current children cumulated vsize (Kb) 10424
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 56092 6085 0 0 16 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 970.66
Current children cumulated vsize (Kb) 10112
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 56489 6279 0 0 24 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 976.57
Current children cumulated vsize (Kb) 10112
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 57345 6327 0 0 25 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 985.61
Current children cumulated vsize (Kb) 10112
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1708 0 0 0 58151 6391 0 0 19 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 994.31
Current children cumulated vsize (Kb) 10112
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 59021 6437 0 0 25 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1003.47
Current children cumulated vsize (Kb) 10112
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1708 0 0 0 59899 6476 0 0 25 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1012.64
Current children cumulated vsize (Kb) 10112
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1708 0 0 0 60577 6579 0 0 16 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1020.45
Current children cumulated vsize (Kb) 10112
[startup+1250.11 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 61071 6743 0 0 25 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1027.03
Current children cumulated vsize (Kb) 10112
[startup+1260.11 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1708 0 0 0 61932 6788 0 0 25 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1036.09
Current children cumulated vsize (Kb) 10112
[startup+1270.11 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1708 0 0 0 62732 6851 0 0 24 0 1 0 1845836924 8175616 1110 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1110 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1044.72
Current children cumulated vsize (Kb) 10112
[startup+1280.11 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1710 0 0 0 63604 6897 0 0 25 0 1 0 1845836924 8175616 1112 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1112 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1053.9
Current children cumulated vsize (Kb) 10112
[startup+1290.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1710 0 0 0 64485 6940 0 0 25 0 1 0 1845836924 8175616 1112 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1112 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1063.14
Current children cumulated vsize (Kb) 10112
[startup+1300.12 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1710 0 0 0 65165 7048 0 0 16 0 1 0 1845836924 8175616 1112 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1112 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1071.02
Current children cumulated vsize (Kb) 10112
[startup+1310.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1710 0 0 0 65656 7210 0 0 25 0 1 0 1845836924 8175616 1112 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1112 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1077.55
Current children cumulated vsize (Kb) 10112
[startup+1320.12 s]
Raw data (loadavg): 1.09 1.03 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1710 0 0 0 66516 7257 0 0 25 0 1 0 1845836924 8175616 1112 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1112 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1086.62
Current children cumulated vsize (Kb) 10112
[startup+1330.12 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1710 0 0 0 67335 7316 0 0 16 0 1 0 1845836924 8175616 1112 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1112 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1095.4
Current children cumulated vsize (Kb) 10112
[startup+1340.12 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1710 0 0 0 68191 7365 0 0 22 0 1 0 1845836924 8175616 1112 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1112 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1104.45
Current children cumulated vsize (Kb) 10112
[startup+1350.12 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1710 0 0 0 69064 7408 0 0 25 0 1 0 1845836924 8175616 1112 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1112 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1113.61
Current children cumulated vsize (Kb) 10112
[startup+1360.12 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1728 0 0 0 69904 7462 0 0 16 0 1 0 1845836924 8175616 1130 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1130 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1122.55
Current children cumulated vsize (Kb) 10112
[startup+1370.12 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1728 0 0 0 70245 7670 0 0 17 0 1 0 1845836924 8175616 1130 4294967295 134512640 134702520 3221223712 3221222992 134552757 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1130 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1128.04
Current children cumulated vsize (Kb) 10112
[startup+1380.12 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1728 0 0 0 71103 7718 0 0 25 0 1 0 1845836924 8175616 1130 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1130 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1137.1
Current children cumulated vsize (Kb) 10112
[startup+1390.12 s]
Raw data (loadavg): 1.16 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1728 0 0 0 71970 7762 0 0 25 0 1 0 1845836924 8175616 1130 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1130 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1146.21
Current children cumulated vsize (Kb) 10112
[startup+1400.12 s]
Raw data (loadavg): 1.13 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1728 0 0 0 72844 7803 0 0 25 0 1 0 1845836924 8175616 1130 4294967295 134512640 134702520 3221223712 3221222992 134552903 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1130 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1155.36
Current children cumulated vsize (Kb) 10112
[startup+1410.12 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1728 0 0 0 73718 7847 0 0 25 0 1 0 1845836924 8175616 1130 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1130 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (Kb) 10112
[startup+1420.12 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1728 0 0 0 74595 7886 0 0 25 0 1 0 1845836924 8175616 1130 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1130 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1173.7
Current children cumulated vsize (Kb) 10112
[startup+1430.13 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1729 0 0 0 75252 7994 0 0 16 0 1 0 1845836924 8175616 1131 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1131 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1181.35
Current children cumulated vsize (Kb) 10112
[startup+1440.13 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1730 0 0 0 75767 8146 0 0 25 0 1 0 1845836924 8175616 1132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4294/statm): 1996 1132 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1188.02
Current children cumulated vsize (Kb) 10112
[startup+1450.13 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1731 0 0 0 76631 8191 0 0 25 0 1 0 1845836924 8175616 1133 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1133 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1197.11
Current children cumulated vsize (Kb) 10112
[startup+1460.13 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) R 4289 4289 21452 0 -1 0 1733 0 0 0 77498 8235 0 0 25 0 1 0 1845836924 8175616 1135 4294967295 134512640 134702520 3221223712 3221222992 134552799 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1135 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1206.22
Current children cumulated vsize (Kb) 10112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1460.13 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4294
Raw data (/proc/4289/stat): 4289 (vallstSAT2005PB) S 4288 4289 21452 0 -1 0 378 1241 0 0 2 1 30761 4125 17 0 1 0 1845793666 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4289/statm): 532 248 485 147 0 385 0
[pid=4289] vsize: 2128
Raw data (/proc/4294/stat): 4294 (vallst) T 4289 4289 21452 0 -1 0 1733 0 0 0 77498 8235 0 0 25 0 1 0 1845836924 8175616 1135 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4294/statm): 1996 1135 413 48 0 1948 0
[pid=4294] vsize: 7984
Current children cumulated CPU time (s) 1206.22
Current children cumulated vsize (Kb) 10112
Sending SIGTERM to -4289
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4296
New process pid=4297
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18281/stat
open syscall for file /proc/18281/status
open syscall for file /proc/18281/cmdline
open syscall for file /proc/18281/environ
open syscall for file /proc/19827/stat
open syscall for file /proc/19827/status
open syscall for file /proc/19827/cmdline
open syscall for file /proc/19827/environ
open syscall for file /proc/19854/stat
open syscall for file /proc/19854/status
open syscall for file /proc/19854/cmdline
open syscall for file /proc/19854/environ
open syscall for file /proc/19878/stat
open syscall for file /proc/19878/status
open syscall for file /proc/19878/cmdline
open syscall for file /proc/19878/environ
open syscall for file /proc/28563/stat
open syscall for file /proc/28563/status
open syscall for file /proc/28563/cmdline
open syscall for file /proc/28563/environ
open syscall for file /proc/28582/stat
open syscall for file /proc/28582/status
open syscall for file /proc/28582/cmdline
open syscall for file /proc/28582/environ
open syscall for file /proc/5390/stat
open syscall for file /proc/5390/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/5390/cmdline
open syscall for file /proc/5390/environ
open syscall for file /proc/5425/stat
open syscall for file /proc/5425/status
open syscall for file /proc/5425/cmdline
open syscall for file /proc/5425/environ
open syscall for file /proc/21452/stat
open syscall for file /proc/21452/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21452/cmdline
open syscall for file /proc/21452/environ
open syscall for file /proc/21453/stat
open syscall for file /proc/21453/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21453/cmdline
open syscall for file /proc/21453/environ
open syscall for file /proc/21462/stat
open syscall for file /proc/21462/status
open syscall for file /proc/21462/cmdline
open syscall for file /proc/21462/environ
open syscall for file /proc/4252/stat
open syscall for file /proc/4252/status
open syscall for file /proc/4252/cmdline
open syscall for file /proc/4252/environ
open syscall for file /proc/4288/stat
open syscall for file /proc/4288/status
open syscall for file /proc/4288/cmdline
open syscall for file /proc/4288/environ
open syscall for file /proc/4289/stat
open syscall for file /proc/4289/status
open syscall for file /proc/4289/cmdline
open syscall for file /proc/4289/environ
open syscall for file /proc/4294/stat
open syscall for file /proc/4294/status
open syscall for file /proc/4294/cmdline
open syscall for file /proc/4294/environ
open syscall for file /proc/4296/stat
open syscall for file /proc/4296/status
open syscall for file /proc/4296/cmdline
open syscall for file /proc/4296/environ
open syscall for file /proc/4297/stat
open syscall for file /proc/4297/status
open syscall for file /proc/4297/cmdline
open syscall for file /proc/4297/environ
One traced child (pid=4296) exited with status: 0
One traced child (pid=4297) exited with status: 0
New process pid=4298
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4294) exited with status: 3
One traced child (pid=4298) exited with status: 0
New process pid=4299
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=4299) exited with status: 0
One traced child (pid=4289) 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): 1460.63
CPU time (s): 1206.52
CPU user time (s): 1082.81
CPU system time (s): 123.714
CPU usage (%): 82.6025
Max. virtual memory (cumulated for all children) (Kb): 11228