1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 2 (#equs: 1228)
#decisions: 252236; #end-nodes: 169320;
#proof improvement attempts: 0; #restarts: 864
Current batch, end-nodes: 0 / 320 (295)
#axs: 7873, #non-axs: 9121
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: 1253)
Time taken: 5 min, 31 sec
2:
seed: 0
Nr of vars set: 2 (#equs: 0)
Nr of vars set: 2 (#equs: 16)
Interupt request received.
#decisions: 833074; #end-nodes: 631909;
#proof improvement attempts: 0; #restarts: 1787
Current batch, end-nodes: 36 / 566 (566)
#axs: 5474, #non-axs: 8631
tight: meta-meta: start: 4, end: 5; meta: start: 7, end (keep): 12
loose: meta-meta: start: 7, end: 10; meta: start: 23, end (keep): 36
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 686 (#equs: 20)
Time taken: 14 min, 32 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/22446/stat): 22446 (vallstSAT2005PB) R 22445 22446 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784864942 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22446/statm): 174 3 169 147 0 27 0
[pid=22446] 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=22447
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=22447) exited with status: 0
New process pid=22448
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=22448) exited with status: 0
New process pid=22449
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-par32-3-c.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.004 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 441 0 0 0 328 213 0 0 17 0 1 0 1784864950 3096576 411 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 756 411 413 48 0 708 0
[pid=22449] vsize: 3024
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (Kb) 5152
[startup+20.0049 s]
Raw data (loadavg): 1.07 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 502 0 0 0 976 331 0 0 21 0 1 0 1784864950 4689920 472 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1145 472 413 48 0 1097 0
[pid=22449] vsize: 4580
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (Kb) 6708
[startup+30.0057 s]
Raw data (loadavg): 1.06 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 555 0 0 0 1651 437 0 0 17 0 1 0 1784864950 4825088 525 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1178 525 413 48 0 1130 0
[pid=22449] vsize: 4712
Current children cumulated CPU time (s) 20.9
Current children cumulated vsize (Kb) 6840
[startup+40.0065 s]
Raw data (loadavg): 1.05 1.01 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 556 0 0 0 2132 606 0 0 16 0 1 0 1784864950 4825088 526 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1178 526 413 48 0 1130 0
[pid=22449] vsize: 4712
Current children cumulated CPU time (s) 27.4
Current children cumulated vsize (Kb) 6840
[startup+50.0074 s]
Raw data (loadavg): 1.04 1.01 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 561 0 0 0 2727 744 0 0 20 0 1 0 1784864950 4825088 531 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1178 531 413 48 0 1130 0
[pid=22449] vsize: 4712
Current children cumulated CPU time (s) 34.73
Current children cumulated vsize (Kb) 6840
[startup+60.0082 s]
Raw data (loadavg): 1.03 1.01 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 590 0 0 0 3466 832 0 0 16 0 1 0 1784864950 4927488 560 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1203 560 413 48 0 1155 0
[pid=22449] vsize: 4812
Current children cumulated CPU time (s) 43
Current children cumulated vsize (Kb) 6940
[startup+70.009 s]
Raw data (loadavg): 1.03 1.01 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 603 0 0 0 4073 964 0 0 17 0 1 0 1784864950 4927488 573 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1203 573 413 48 0 1155 0
[pid=22449] vsize: 4812
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (Kb) 6940
[startup+80.0108 s]
Raw data (loadavg): 1.02 1.01 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 604 0 0 0 4592 1126 0 0 20 0 1 0 1784864950 4927488 574 4294967295 134512640 134702520 3221223968 3221222864 134557705 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1203 574 413 48 0 1155 0
[pid=22449] vsize: 4812
Current children cumulated CPU time (s) 57.2
Current children cumulated vsize (Kb) 6940
[startup+90.0117 s]
Raw data (loadavg): 1.02 1.01 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 610 0 0 0 5341 1212 0 0 25 0 1 0 1784864950 4927488 580 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1203 580 413 48 0 1155 0
[pid=22449] vsize: 4812
Current children cumulated CPU time (s) 65.55
Current children cumulated vsize (Kb) 6940
[startup+100.012 s]
Raw data (loadavg): 1.09 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 654 0 0 0 6108 1292 0 0 18 0 1 0 1784864950 5218304 624 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1274 624 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 74.02
Current children cumulated vsize (Kb) 7224
[startup+110.013 s]
Raw data (loadavg): 1.08 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 655 0 0 0 6607 1460 0 0 18 0 1 0 1784864950 5218304 625 4294967295 134512640 134702520 3221223968 3221222704 134564354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1274 625 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 80.69
Current children cumulated vsize (Kb) 7224
[startup+120.013 s]
Raw data (loadavg): 1.06 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 657 0 0 0 7226 1587 0 0 25 0 1 0 1784864950 5218304 627 4294967295 134512640 134702520 3221223968 3221223248 134557289 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1274 627 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 88.15
Current children cumulated vsize (Kb) 7224
[startup+130.015 s]
Raw data (loadavg): 1.05 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 662 0 0 0 7984 1671 0 0 18 0 1 0 1784864950 5218304 632 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1274 632 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 96.57
Current children cumulated vsize (Kb) 7224
[startup+140.016 s]
Raw data (loadavg): 1.04 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 682 0 0 0 8778 1741 0 0 17 0 1 0 1784864950 5218304 652 4294967295 134512640 134702520 3221223968 3221222864 134557457 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1274 652 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 105.21
Current children cumulated vsize (Kb) 7224
[startup+150.016 s]
Raw data (loadavg): 1.04 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 682 0 0 0 9275 1903 0 0 17 0 1 0 1784864950 5218304 652 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1274 652 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 111.8
Current children cumulated vsize (Kb) 7224
[startup+160.017 s]
Raw data (loadavg): 1.03 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 682 0 0 0 9919 2022 0 0 25 0 1 0 1784864950 5218304 652 4294967295 134512640 134702520 3221223968 3221223228 134564336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1274 652 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 119.43
Current children cumulated vsize (Kb) 7224
[startup+170.018 s]
Raw data (loadavg): 1.03 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 685 0 0 0 10729 2087 0 0 25 0 1 0 1784864950 5218304 655 4294967295 134512640 134702520 3221223968 3221223216 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1274 655 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 128.18
Current children cumulated vsize (Kb) 7224
[startup+180.019 s]
Raw data (loadavg): 1.09 1.03 0.99 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 702 0 0 0 11544 2150 0 0 25 0 1 0 1784864950 5357568 672 4294967295 134512640 134702520 3221223968 3221223248 134557211 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1308 672 413 48 0 1260 0
[pid=22449] vsize: 5232
Current children cumulated CPU time (s) 136.96
Current children cumulated vsize (Kb) 7360
[startup+190.02 s]
Raw data (loadavg): 1.08 1.03 0.99 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 711 0 0 0 12141 2281 0 0 17 0 1 0 1784864950 5312512 681 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1297 681 413 48 0 1249 0
[pid=22449] vsize: 5188
Current children cumulated CPU time (s) 144.24
Current children cumulated vsize (Kb) 7316
[startup+200.021 s]
Raw data (loadavg): 1.07 1.03 0.99 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 711 0 0 0 12693 2424 0 0 25 0 1 0 1784864950 5312512 681 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1297 681 413 48 0 1249 0
[pid=22449] vsize: 5188
Current children cumulated CPU time (s) 151.19
Current children cumulated vsize (Kb) 7316
[startup+210.022 s]
Raw data (loadavg): 1.06 1.03 0.99 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 711 0 0 0 13506 2485 0 0 25 0 1 0 1784864950 5312512 681 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1297 681 413 48 0 1249 0
[pid=22449] vsize: 5188
Current children cumulated CPU time (s) 159.93
Current children cumulated vsize (Kb) 7316
[startup+220.022 s]
Raw data (loadavg): 1.12 1.04 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 712 0 0 0 14327 2544 0 0 25 0 1 0 1784864950 5312512 682 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1297 682 413 48 0 1249 0
[pid=22449] vsize: 5188
Current children cumulated CPU time (s) 168.73
Current children cumulated vsize (Kb) 7316
[startup+230.024 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 748 0 0 0 15195 2588 0 0 20 0 1 0 1784864950 5488640 718 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1340 718 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 177.85
Current children cumulated vsize (Kb) 7488
[startup+240.025 s]
Raw data (loadavg): 1.16 1.06 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 748 0 0 0 15711 2755 0 0 18 0 1 0 1784864950 5488640 718 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1340 718 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 184.68
Current children cumulated vsize (Kb) 7488
[startup+250.026 s]
Raw data (loadavg): 1.13 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 749 0 0 0 16331 2879 0 0 18 0 1 0 1784864950 5488640 719 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1340 719 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 192.12
Current children cumulated vsize (Kb) 7488
[startup+260.028 s]
Raw data (loadavg): 1.11 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 752 0 0 0 17180 2931 0 0 25 0 1 0 1784864950 5488640 722 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1340 722 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 201.13
Current children cumulated vsize (Kb) 7488
[startup+270.029 s]
Raw data (loadavg): 1.10 1.05 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 759 0 0 0 18004 2992 0 0 25 0 1 0 1784864950 5488640 729 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1340 729 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 7488
[startup+280.029 s]
Raw data (loadavg): 1.08 1.05 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 780 0 0 0 18893 3029 0 0 25 0 1 0 1784864950 5623808 750 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 750 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 219.24
Current children cumulated vsize (Kb) 7620
[startup+290.03 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 782 0 0 0 19467 3170 0 0 17 0 1 0 1784864950 5623808 752 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 752 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 226.39
Current children cumulated vsize (Kb) 7620
[startup+300.031 s]
Raw data (loadavg): 1.13 1.06 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 782 0 0 0 20053 3308 0 0 25 0 1 0 1784864950 5623808 752 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 752 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 233.63
Current children cumulated vsize (Kb) 7620
[startup+310.033 s]
Raw data (loadavg): 1.11 1.06 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 782 0 0 0 20871 3374 0 0 19 0 1 0 1784864950 5623808 752 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 752 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 242.47
Current children cumulated vsize (Kb) 7620
[startup+320.034 s]
Raw data (loadavg): 1.09 1.06 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 782 0 0 0 21755 3414 0 0 25 0 1 0 1784864950 5623808 752 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 752 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 251.71
Current children cumulated vsize (Kb) 7620
[startup+330.034 s]
Raw data (loadavg): 1.08 1.05 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 797 0 0 0 22640 3453 0 0 25 0 1 0 1784864950 5623808 767 4294967295 134512640 134702520 3221223968 3221223216 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 767 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 260.95
Current children cumulated vsize (Kb) 7620
[startup+340.035 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 815 0 0 0 23459 3511 0 0 17 0 1 0 1784864950 5627904 785 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1374 785 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 269.72
Current children cumulated vsize (Kb) 7624
[startup+350.035 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 815 0 0 0 23973 3671 0 0 17 0 1 0 1784864950 5627904 785 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1374 785 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 276.46
Current children cumulated vsize (Kb) 7624
[startup+360.036 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 815 0 0 0 24669 3768 0 0 22 0 1 0 1784864950 5627904 785 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1374 785 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 284.39
Current children cumulated vsize (Kb) 7624
[startup+370.038 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 816 0 0 0 25503 3825 0 0 25 0 1 0 1784864950 5627904 786 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1374 786 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 293.3
Current children cumulated vsize (Kb) 7624
[startup+380.039 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 816 0 0 0 26385 3864 0 0 25 0 1 0 1784864950 5627904 786 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1374 786 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 302.51
Current children cumulated vsize (Kb) 7624
[startup+390.039 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 820 0 0 0 27269 3906 0 0 25 0 1 0 1784864950 5627904 790 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1374 790 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 311.77
Current children cumulated vsize (Kb) 7624
[startup+400.039 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 847 0 0 0 28159 3944 0 0 25 0 1 0 1784864950 5758976 817 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1406 817 413 48 0 1358 0
[pid=22449] vsize: 5624
Current children cumulated CPU time (s) 321.05
Current children cumulated vsize (Kb) 7752
[startup+410.041 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 848 0 0 0 28687 4107 0 0 18 0 1 0 1784864950 5758976 818 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1406 818 413 48 0 1358 0
[pid=22449] vsize: 5624
Current children cumulated CPU time (s) 327.96
Current children cumulated vsize (Kb) 7752
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=22449) exited with status: 2
New process pid=22450
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=22450) exited with status: 0
New process pid=22451
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+420.042 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 511 0 0 0 194 52 0 0 17 0 1 0 1784906601 3694592 482 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 902 482 413 48 0 854 0
[pid=22451] vsize: 3608
Current children cumulated CPU time (s) 334.46
Current children cumulated vsize (Kb) 5736
[startup+430.044 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 514 0 0 0 627 241 0 0 16 0 1 0 1784906601 3694592 485 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 902 485 413 48 0 854 0
[pid=22451] vsize: 3608
Current children cumulated CPU time (s) 340.68
Current children cumulated vsize (Kb) 5736
[startup+440.045 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 621 0 0 0 1311 352 0 0 17 0 1 0 1784906601 6508544 592 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1589 592 413 48 0 1541 0
[pid=22451] vsize: 6356
Current children cumulated CPU time (s) 348.63
Current children cumulated vsize (Kb) 8484
[startup+450.044 s]
Raw data (loadavg): 1.08 1.05 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 668 0 0 0 2101 420 0 0 19 0 1 0 1784906601 6508544 639 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1589 639 413 48 0 1541 0
[pid=22451] vsize: 6356
Current children cumulated CPU time (s) 357.21
Current children cumulated vsize (Kb) 8484
[startup+460.045 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 674 0 0 0 2606 587 0 0 17 0 1 0 1784906601 6508544 645 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1589 645 413 48 0 1541 0
[pid=22451] vsize: 6356
Current children cumulated CPU time (s) 363.93
Current children cumulated vsize (Kb) 8484
[startup+470.046 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 676 0 0 0 3184 719 0 0 25 0 1 0 1784906601 6606848 647 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1613 647 413 48 0 1565 0
[pid=22451] vsize: 6452
Current children cumulated CPU time (s) 371.03
Current children cumulated vsize (Kb) 8580
[startup+480.047 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 684 0 0 0 3941 798 0 0 23 0 1 0 1784906601 6606848 655 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1613 655 413 48 0 1565 0
[pid=22451] vsize: 6452
Current children cumulated CPU time (s) 379.39
Current children cumulated vsize (Kb) 8580
[startup+490.048 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 715 0 0 0 4639 897 0 0 17 0 1 0 1784906601 6918144 686 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 686 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 387.36
Current children cumulated vsize (Kb) 8884
[startup+500.048 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 717 0 0 0 5032 1095 0 0 23 0 1 0 1784906601 6918144 688 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 688 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 393.27
Current children cumulated vsize (Kb) 8884
[startup+510.049 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 718 0 0 0 5773 1180 0 0 22 0 1 0 1784906601 6918144 689 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 689 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 401.53
Current children cumulated vsize (Kb) 8884
[startup+520.049 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 726 0 0 0 6582 1245 0 0 25 0 1 0 1784906601 6918144 697 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 697 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 410.27
Current children cumulated vsize (Kb) 8884
[startup+530.05 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 729 0 0 0 7027 1429 0 0 16 0 1 0 1784906601 6918144 700 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 700 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 416.56
Current children cumulated vsize (Kb) 8884
[startup+540.051 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 730 0 0 0 7614 1567 0 0 16 0 1 0 1784906601 6918144 701 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1689 701 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 423.81
Current children cumulated vsize (Kb) 8884
[startup+550.052 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 736 0 0 0 8396 1642 0 0 25 0 1 0 1784906601 6918144 707 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 707 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 432.38
Current children cumulated vsize (Kb) 8884
[startup+560.052 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 737 0 0 0 9123 1732 0 0 16 0 1 0 1784906601 6918144 708 4294967295 134512640 134702520 3221223712 3221222608 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 708 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 440.55
Current children cumulated vsize (Kb) 8884
[startup+570.053 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 738 0 0 0 9496 1940 0 0 20 0 1 0 1784906601 6918144 709 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 709 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 446.36
Current children cumulated vsize (Kb) 8884
[startup+580.055 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 744 0 0 0 10295 2010 0 0 25 0 1 0 1784906601 6918144 715 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1689 715 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 455.05
Current children cumulated vsize (Kb) 8884
[startup+590.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 745 0 0 0 11104 2073 0 0 19 0 1 0 1784906601 6918144 716 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1689 716 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 463.77
Current children cumulated vsize (Kb) 8884
[startup+600.056 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 746 0 0 0 11812 2165 0 0 16 0 1 0 1784906601 6918144 717 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1689 717 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 471.77
Current children cumulated vsize (Kb) 8884
[startup+610.058 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 748 0 0 0 12190 2369 0 0 22 0 1 0 1784906601 7024640 719 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 719 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 477.59
Current children cumulated vsize (Kb) 8988
[startup+620.058 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 748 0 0 0 12993 2436 0 0 25 0 1 0 1784906601 7024640 719 4294967295 134512640 134702520 3221223712 3221222832 134578546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1715 719 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 486.29
Current children cumulated vsize (Kb) 8988
[startup+630.059 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 750 0 0 0 13806 2499 0 0 25 0 1 0 1784906601 7024640 721 4294967295 134512640 134702520 3221223712 3221222992 134557267 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 721 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 495.05
Current children cumulated vsize (Kb) 8988
[startup+640.06 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 754 0 0 0 14649 2553 0 0 18 0 1 0 1784906601 7024640 725 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 725 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 504.02
Current children cumulated vsize (Kb) 8988
[startup+650.061 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 755 0 0 0 15037 2752 0 0 16 0 1 0 1784906601 7024640 726 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1715 726 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 509.89
Current children cumulated vsize (Kb) 8988
[startup+660.062 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 756 0 0 0 15768 2842 0 0 25 0 1 0 1784906601 7024640 727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 727 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 518.1
Current children cumulated vsize (Kb) 8988
[startup+670.063 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 757 0 0 0 16580 2907 0 0 25 0 1 0 1784906601 7024640 728 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 728 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 526.87
Current children cumulated vsize (Kb) 8988
[startup+680.064 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 768 0 0 0 17392 2971 0 0 23 0 1 0 1784906601 7024640 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 739 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 535.63
Current children cumulated vsize (Kb) 8988
[startup+690.065 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 781 0 0 0 18048 3086 0 0 16 0 1 0 1784906601 7024640 752 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 752 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 543.34
Current children cumulated vsize (Kb) 8988
[startup+700.065 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 783 0 0 0 18539 3247 0 0 25 0 1 0 1784906601 7024640 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 754 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 549.86
Current children cumulated vsize (Kb) 8988
[startup+710.066 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 783 0 0 0 19339 3314 0 0 25 0 1 0 1784906601 7024640 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1715 754 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 558.53
Current children cumulated vsize (Kb) 8988
[startup+720.067 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 785 0 0 0 20160 3374 0 0 16 0 1 0 1784906601 7024640 756 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 756 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 567.34
Current children cumulated vsize (Kb) 8988
[startup+730.067 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 794 0 0 0 21035 3413 0 0 25 0 1 0 1784906601 7024640 765 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 765 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 576.48
Current children cumulated vsize (Kb) 8988
[startup+740.068 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 811 0 0 0 21716 3516 0 0 16 0 1 0 1784906601 7024640 782 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 782 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 584.32
Current children cumulated vsize (Kb) 8988
[startup+750.069 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 813 0 0 0 22190 3684 0 0 25 0 1 0 1784906601 7024640 784 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 784 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 590.74
Current children cumulated vsize (Kb) 8988
[startup+760.07 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 813 0 0 0 23005 3749 0 0 21 0 1 0 1784906601 7024640 784 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 784 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 599.54
Current children cumulated vsize (Kb) 8988
[startup+770.071 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 815 0 0 0 23879 3793 0 0 25 0 1 0 1784906601 7024640 786 4294967295 134512640 134702520 3221223712 3221222832 134572664 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 786 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 608.72
Current children cumulated vsize (Kb) 8988
[startup+780.072 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 820 0 0 0 24712 3848 0 0 16 0 1 0 1784906601 7024640 791 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 791 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 617.6
Current children cumulated vsize (Kb) 8988
[startup+790.074 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 831 0 0 0 25516 3915 0 0 17 0 1 0 1784906601 7131136 802 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 802 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 626.31
Current children cumulated vsize (Kb) 9092
[startup+800.074 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 833 0 0 0 25870 4127 0 0 16 0 1 0 1784906601 7131136 804 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 804 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 631.97
Current children cumulated vsize (Kb) 9092
[startup+810.075 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 833 0 0 0 26726 4175 0 0 25 0 1 0 1784906601 7131136 804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 804 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 641.01
Current children cumulated vsize (Kb) 9092
[startup+820.076 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 833 0 0 0 27544 4234 0 0 21 0 1 0 1784906601 7131136 804 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 804 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 649.78
Current children cumulated vsize (Kb) 9092
[startup+830.077 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 835 0 0 0 28425 4274 0 0 25 0 1 0 1784906601 7131136 806 4294967295 134512640 134702520 3221223712 3221222992 134551090 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 806 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 658.99
Current children cumulated vsize (Kb) 9092
[startup+840.078 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 845 0 0 0 29318 4308 0 0 19 0 1 0 1784906601 7131136 816 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 816 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 668.26
Current children cumulated vsize (Kb) 9092
[startup+850.078 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 863 0 0 0 29919 4441 0 0 17 0 1 0 1784906601 7131136 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 834 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 675.6
Current children cumulated vsize (Kb) 9092
[startup+860.079 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 865 0 0 0 30473 4591 0 0 25 0 1 0 1784906601 7131136 836 4294967295 134512640 134702520 3221223712 3221222992 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 836 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 682.64
Current children cumulated vsize (Kb) 9092
[startup+870.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 865 0 0 0 31285 4657 0 0 19 0 1 0 1784906601 7131136 836 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 836 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 691.42
Current children cumulated vsize (Kb) 9092
[startup+880.081 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 865 0 0 0 32160 4700 0 0 25 0 1 0 1784906601 7131136 836 4294967295 134512640 134702520 3221223712 3221222992 134552854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 836 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 700.6
Current children cumulated vsize (Kb) 9092
[startup+890.082 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 974 0 0 0 33046 4741 0 0 25 0 1 0 1784906601 7753728 945 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1893 945 413 48 0 1845 0
[pid=22451] vsize: 7572
Current children cumulated CPU time (s) 709.87
Current children cumulated vsize (Kb) 9700
[startup+900.082 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1079 0 0 0 33933 4781 0 0 25 0 1 0 1784906601 8183808 1050 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1998 1050 413 48 0 1950 0
[pid=22451] vsize: 7992
Current children cumulated CPU time (s) 719.14
Current children cumulated vsize (Kb) 10120
[startup+910.082 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1149 0 0 0 34687 4860 0 0 17 0 1 0 1784906601 8007680 1043 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1955 1043 413 48 0 1907 0
[pid=22451] vsize: 7820
Current children cumulated CPU time (s) 727.47
Current children cumulated vsize (Kb) 9948
[startup+920.083 s]
Raw data (loadavg): 1.15 1.06 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1151 0 0 0 35105 5046 0 0 23 0 1 0 1784906601 7987200 1045 4294967295 134512640 134702520 3221223712 3221222992 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1950 1045 413 48 0 1902 0
[pid=22451] vsize: 7800
Current children cumulated CPU time (s) 733.51
Current children cumulated vsize (Kb) 9928
[startup+930.084 s]
Raw data (loadavg): 1.12 1.05 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1155 0 0 0 35992 5088 0 0 25 0 1 0 1784906601 7987200 1049 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1950 1049 413 48 0 1902 0
[pid=22451] vsize: 7800
Current children cumulated CPU time (s) 742.8
Current children cumulated vsize (Kb) 9928
[startup+940.085 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1161 0 0 0 36886 5122 0 0 25 0 1 0 1784906601 7987200 1055 4294967295 134512640 134702520 3221223712 3221222992 134552748 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1950 1055 413 48 0 1902 0
[pid=22451] vsize: 7800
Current children cumulated CPU time (s) 752.08
Current children cumulated vsize (Kb) 9928
[startup+950.085 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1188 0 0 0 37817 5149 0 0 19 0 1 0 1784906601 8298496 1082 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2026 1082 413 48 0 1978 0
[pid=22451] vsize: 8104
Current children cumulated CPU time (s) 761.66
Current children cumulated vsize (Kb) 10232
[startup+960.087 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1258 0 0 0 38741 5175 0 0 25 0 1 0 1784906601 8609792 1152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2102 1152 413 48 0 2054 0
[pid=22451] vsize: 8408
Current children cumulated CPU time (s) 771.16
Current children cumulated vsize (Kb) 10536
[startup+970.087 s]
Raw data (loadavg): 1.06 1.05 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1326 0 0 0 39637 5209 0 0 25 0 1 0 1784906601 8609792 1220 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2102 1220 413 48 0 2054 0
[pid=22451] vsize: 8408
Current children cumulated CPU time (s) 780.46
Current children cumulated vsize (Kb) 10536
[startup+980.088 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1392 0 0 0 40535 5246 0 0 25 0 1 0 1784906601 9056256 1286 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2211 1286 413 48 0 2163 0
[pid=22451] vsize: 8844
Current children cumulated CPU time (s) 789.81
Current children cumulated vsize (Kb) 10972
[startup+990.089 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1459 0 0 0 41499 5259 0 0 25 0 1 0 1784906601 9191424 1353 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2244 1353 413 48 0 2196 0
[pid=22451] vsize: 8976
Current children cumulated CPU time (s) 799.58
Current children cumulated vsize (Kb) 11104
[startup+1000.09 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1478 0 0 0 42093 5391 0 0 17 0 1 0 1784906601 8257536 1140 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2016 1140 413 48 0 1968 0
[pid=22451] vsize: 8064
Current children cumulated CPU time (s) 806.84
Current children cumulated vsize (Kb) 10192
[startup+1010.09 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1480 0 0 0 42663 5529 0 0 25 0 1 0 1784906601 8257536 1142 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2016 1142 413 48 0 1968 0
[pid=22451] vsize: 8064
Current children cumulated CPU time (s) 813.92
Current children cumulated vsize (Kb) 10192
[startup+1020.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1480 0 0 0 43558 5564 0 0 25 0 1 0 1784906601 8257536 1142 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2016 1142 413 48 0 1968 0
[pid=22451] vsize: 8064
Current children cumulated CPU time (s) 823.22
Current children cumulated vsize (Kb) 10192
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1480 0 0 0 44454 5599 0 0 17 0 1 0 1784906601 8257536 1142 4294967295 134512640 134702520 3221223712 3221222992 134557289 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2016 1142 413 48 0 1968 0
[pid=22451] vsize: 8064
Current children cumulated CPU time (s) 832.53
Current children cumulated vsize (Kb) 10192
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1496 0 0 0 45414 5613 0 0 25 0 1 0 1784906601 8568832 1158 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2092 1158 413 48 0 2044 0
[pid=22451] vsize: 8368
Current children cumulated CPU time (s) 842.27
Current children cumulated vsize (Kb) 10496
[startup+1050.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1530 0 0 0 46314 5647 0 0 25 0 1 0 1784906601 8568832 1192 4294967295 134512640 134702520 3221223712 3221222992 134553055 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2092 1192 413 48 0 2044 0
[pid=22451] vsize: 8368
Current children cumulated CPU time (s) 851.61
Current children cumulated vsize (Kb) 10496
[startup+1060.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1580 0 0 0 47220 5680 0 0 25 0 1 0 1784906601 8880128 1242 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2168 1242 413 48 0 2120 0
[pid=22451] vsize: 8672
Current children cumulated CPU time (s) 861
Current children cumulated vsize (Kb) 10800
[startup+1070.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1609 0 0 0 48189 5690 0 0 25 0 1 0 1784906601 8880128 1271 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2168 1271 413 48 0 2120 0
[pid=22451] vsize: 8672
Current children cumulated CPU time (s) 870.79
Current children cumulated vsize (Kb) 10800
[startup+1080.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1643 0 0 0 49092 5723 0 0 25 0 1 0 1784906601 8986624 1305 4294967295 134512640 134702520 3221223712 3221222992 134557280 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2194 1305 413 48 0 2146 0
[pid=22451] vsize: 8776
Current children cumulated CPU time (s) 880.15
Current children cumulated vsize (Kb) 10904
[startup+1090.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1671 0 0 0 50067 5734 0 0 25 0 1 0 1784906601 9297920 1333 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2270 1333 413 48 0 2222 0
[pid=22451] vsize: 9080
Current children cumulated CPU time (s) 890.01
Current children cumulated vsize (Kb) 11208
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1681 0 0 0 50668 5863 0 0 17 0 1 0 1784906601 8364032 1168 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1168 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 897.31
Current children cumulated vsize (Kb) 10296
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1683 0 0 0 51242 6005 0 0 25 0 1 0 1784906601 8364032 1170 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1170 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 904.47
Current children cumulated vsize (Kb) 10296
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1683 0 0 0 52134 6039 0 0 25 0 1 0 1784906601 8364032 1170 4294967295 134512640 134702520 3221223712 3221222960 134564339 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1170 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 913.73
Current children cumulated vsize (Kb) 10296
[startup+1130.1 s]
Raw data (loadavg): 1.08 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1683 0 0 0 53024 6076 0 0 25 0 1 0 1784906601 8364032 1170 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1170 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 923
Current children cumulated vsize (Kb) 10296
[startup+1140.1 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 53942 6103 0 0 17 0 1 0 1784906601 8364032 1179 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1179 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 932.45
Current children cumulated vsize (Kb) 10296
[startup+1150.1 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 54877 6127 0 0 25 0 1 0 1784906601 8364032 1179 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1179 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (Kb) 10296
[startup+1160.11 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 55770 6164 0 0 25 0 1 0 1784906601 8364032 1179 4294967295 134512640 134702520 3221223712 3221222992 134557245 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1179 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 951.34
Current children cumulated vsize (Kb) 10296
[startup+1170.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 56666 6199 0 0 25 0 1 0 1784906601 8364032 1179 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2042 1179 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 960.65
Current children cumulated vsize (Kb) 10296
[startup+1180.11 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 57490 6263 0 0 17 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 969.53
Current children cumulated vsize (Kb) 9992
[startup+1190.11 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 57862 6474 0 0 16 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 975.36
Current children cumulated vsize (Kb) 9992
[startup+1200.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 58716 6524 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 984.4
Current children cumulated vsize (Kb) 9992
[startup+1210.11 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 59592 6569 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 993.61
Current children cumulated vsize (Kb) 9992
[startup+1220.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 60474 6606 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1002.8
Current children cumulated vsize (Kb) 9992
[startup+1230.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 61354 6645 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222992 134552757 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1011.99
Current children cumulated vsize (Kb) 9992
[startup+1240.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 62235 6687 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222992 134553011 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1021.22
Current children cumulated vsize (Kb) 9992
[startup+1250.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 62877 6805 0 0 16 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1028.82
Current children cumulated vsize (Kb) 9992
[startup+1260.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 63395 6964 0 0 17 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1035.59
Current children cumulated vsize (Kb) 9992
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1696 0 0 0 64191 7037 0 0 16 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (Kb) 9992
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1696 0 0 0 65051 7087 0 0 17 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1053.38
Current children cumulated vsize (Kb) 9992
[startup+1290.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1696 0 0 0 65920 7134 0 0 18 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1062.54
Current children cumulated vsize (Kb) 9992
[startup+1300.12 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1696 0 0 0 66773 7180 0 0 16 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1071.53
Current children cumulated vsize (Kb) 9992
[startup+1310.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1696 0 0 0 67091 7406 0 0 15 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1076.97
Current children cumulated vsize (Kb) 9992
[startup+1320.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 67872 7476 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1085.48
Current children cumulated vsize (Kb) 9992
[startup+1330.12 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 68733 7528 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222992 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1094.61
Current children cumulated vsize (Kb) 9992
[startup+1340.12 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 69590 7576 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1103.66
Current children cumulated vsize (Kb) 9992
[startup+1350.12 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 70409 7640 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1112.49
Current children cumulated vsize (Kb) 9992
[startup+1360.12 s]
Raw data (loadavg): 1.13 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 71242 7696 0 0 15 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1121.38
Current children cumulated vsize (Kb) 9992
[startup+1370.13 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 71557 7925 0 0 16 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1126.82
Current children cumulated vsize (Kb) 9992
[startup+1380.13 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 72404 7980 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1135.84
Current children cumulated vsize (Kb) 9992
[startup+1390.13 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 73268 8029 0 0 18 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1144.97
Current children cumulated vsize (Kb) 9992
[startup+1400.13 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 74138 8073 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1154.11
Current children cumulated vsize (Kb) 9992
[startup+1410.13 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 75001 8120 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1163.21
Current children cumulated vsize (Kb) 9992
[startup+1420.13 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 75816 8185 0 0 15 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1172.01
Current children cumulated vsize (Kb) 9992
[startup+1430.13 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 76111 8418 0 0 15 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1177.29
Current children cumulated vsize (Kb) 9992
[startup+1440.13 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 76942 8473 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1186.15
Current children cumulated vsize (Kb) 9992
[startup+1450.13 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1699 0 0 0 77810 8519 0 0 17 0 1 0 1784906601 8052736 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1110 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1195.29
Current children cumulated vsize (Kb) 9992
[startup+1460.13 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1699 0 0 0 78686 8562 0 0 18 0 1 0 1784906601 8052736 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1110 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1204.48
Current children cumulated vsize (Kb) 9992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1460.14 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1699 0 0 0 78686 8562 0 0 18 0 1 0 1784906601 8052736 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1110 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1204.48
Current children cumulated vsize (Kb) 9992
Sending SIGTERM to -22446
Sleeping 2 seconds
New process pid=22453
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=22454
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/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/17755/stat
open syscall for file /proc/17755/status
open syscall for file /proc/17755/cmdline
open syscall for file /proc/17755/environ
open syscall for file /proc/25194/stat
open syscall for file /proc/25194/status
open syscall for file /proc/25194/cmdline
open syscall for file /proc/25194/environ
open syscall for file /proc/25221/stat
open syscall for file /proc/25221/status
open syscall for file /proc/25221/cmdline
open syscall for file /proc/25221/environ
open syscall for file /proc/25245/stat
open syscall for file /proc/25245/status
open syscall for file /proc/25245/cmdline
open syscall for file /proc/25245/environ
open syscall for file /proc/7115/stat
open syscall for file /proc/7115/status
open syscall for file /proc/7115/cmdline
open syscall for file /proc/7115/environ
open syscall for file /proc/7679/stat
open syscall for file /proc/7679/status
open syscall for file /proc/7679/cmdline
open syscall for file /proc/7679/environ
open syscall for file /proc/23170/stat
open syscall for file /proc/23170/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/23170/cmdline
open syscall for file /proc/23170/environ
open syscall for file /proc/23206/stat
open syscall for file /proc/23206/status
open syscall for file /proc/23206/cmdline
open syscall for file /proc/23206/environ
open syscall for file /proc/8263/stat
open syscall for file /proc/8263/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/8263/cmdline
open syscall for file /proc/8263/environ
open syscall for file /proc/8264/stat
open syscall for file /proc/8264/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/8264/cmdline
open syscall for file /proc/8264/environ
open syscall for file /proc/8273/stat
open syscall for file /proc/8273/status
open syscall for file /proc/8273/cmdline
open syscall for file /proc/8273/environ
open syscall for file /proc/22409/stat
open syscall for file /proc/22409/status
open syscall for file /proc/22409/cmdline
open syscall for file /proc/22409/environ
open syscall for file /proc/22445/stat
open syscall for file /proc/22445/status
open syscall for file /proc/22445/cmdline
open syscall for file /proc/22445/environ
open syscall for file /proc/22446/stat
open syscall for file /proc/22446/status
open syscall for file /proc/22446/cmdline
open syscall for file /proc/22446/environ
open syscall for file /proc/22451/stat
open syscall for file /proc/22451/status
open syscall for file /proc/22451/cmdline
open syscall for file /proc/22451/environ
open syscall for file /proc/22453/stat
open syscall for file /proc/22453/status
open syscall for file /proc/22453/cmdline
open syscall for file /proc/22453/environ
open syscall for file /proc/22454/stat
open syscall for file /proc/22454/status
open syscall for file /proc/22454/cmdline
open syscall for file /proc/22454/environ
One traced child (pid=22453) exited with status: 0
One traced child (pid=22454) exited with status: 0
New process pid=22455
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=22451) exited with status: 3
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=22455) exited with status: 0
New process pid=22456
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=22456) exited with status: 0
One traced child (pid=22446) 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.64
CPU time (s): 1204.76
CPU user time (s): 1076.75
CPU system time (s): 128.015
CPU usage (%): 82.4818
Max. virtual memory (cumulated for all children) (Kb): 11208