1:
seed: 0
Nr of vars set: 721 (#equs: 0)
Nr of vars set: 721 (#equs: 42)
#decisions: 859555; #end-nodes: 74564;
#proof improvement attempts: 0; #restarts: 377
Current batch, end-nodes: 84 / 174 (174)
#axs: 9236, #non-axs: 29515
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: model found (1)
Model found with constant: 460925710 (8835889:>=*);
#decisions: 7285; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 9236, #non-axs: 29529
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
Model found with constant: 460931342 (8830257:>=*);
#decisions: 10988; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 9236, #non-axs: 29549
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
Model found with constant: 463087400 (6674199:>=*);
#decisions: 4881; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 9236, #non-axs: 29559
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
Model found with constant: 463087528 (6674071:>=*);
#decisions: 1498; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 9236, #non-axs: 29559
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
Model found with constant: 463087532 (6674067:>=*);
#decisions: 1950; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 9236, #non-axs: 29563
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
Model found with constant: 463087540 (6674059:>=*);
#decisions: 3245; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 9236, #non-axs: 29565
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
Model found with constant: 463087604 (6673995:>=*);
#decisions: 732; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 9236, #non-axs: 29567
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
Model found with constant: 463087605 (6673994:>=*);
#decisions: 710; #end-nodes: 56;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 9236, #non-axs: 29568
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
Model found with constant: 463087606 (6673993:>=*);
#decisions: 757; #end-nodes: 56;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 9236, #non-axs: 29568
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
Model found with constant: 463087607 (6673992:>=*);
#decisions: 699; #end-nodes: 48;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 48 / 80 (80)
#axs: 9236, #non-axs: 29568
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
Model found with constant: 463087608 (6673991:>=*);
#decisions: 706; #end-nodes: 53;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 9236, #non-axs: 29570
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
Model found with constant: 463087609 (6673990:>=*);
#decisions: 2612; #end-nodes: 53;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 9236, #non-axs: 29571
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
Model found with constant: 463087622 (6673977:>=*);
#decisions: 4086; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 9236, #non-axs: 29571
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
Model found with constant: 463087630 (6673969:>=*);
#decisions: 1078; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 9236, #non-axs: 29571
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
Model found with constant: 463087632 (6673967:>=*);
#decisions: 1064; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 9236, #non-axs: 29572
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
Model found with constant: 463087634 (6673965:>=*);
#decisions: 652; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 9236, #non-axs: 29573
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
Model found with constant: 463087635 (6673964:>=*);
#decisions: 1030; #end-nodes: 15;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 9236, #non-axs: 29573
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
Model found with constant: 463087636 (6673963:>=*);
#decisions: 1424; #end-nodes: 27;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 9236, #non-axs: 29573
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
Model found with constant: 463087637 (6673962:>=*);
#decisions: 85358; #end-nodes: 9593;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 9237, #non-axs: 22137
tight: meta-meta: start: 5, end: 7; meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 463087637 (6673962:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 735 (#equs: 50)
Time taken: 7 min, 12 sec
2:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 735 (#equs: 0)
Nr of vars set: 735 (#equs: 0)
Interupt request received.
#decisions: 1317544; #end-nodes: 192429;
#proof improvement attempts: 0; #restarts: 622
Current batch, end-nodes: 375 / 386 (275)
#axs: 9214, #non-axs: 7637
tight: meta-meta: start: 4, end: 5; meta: start: 5, end (keep): 7
loose: meta-meta: start: 7, end: 10; meta: start: 26, end (keep): 42
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 8548 (#equs: 27)
Time taken: 12 min, 48 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/5566/stat): 5566 (vallstSAT2005PB) R 5565 5566 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20483964 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5566/statm): 174 3 169 147 0 27 0
[pid=5566] 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=5567
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=5567) exited with status: 0
New process pid=5568
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=5568) exited with status: 0
New process pid=5569
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/wulflinc27/normalized-mps-v2-13-7-neos12.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0032 s]
Raw data (loadavg): 0.95 1.01 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1454 0 0 0 868 45 0 0 25 0 1 0 20483972 7958528 1358 4294967295 134512640 134702520 3221223952 3221223088 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 1943 1358 413 48 0 1895 0
[pid=5569] vsize: 7772
Current children cumulated CPU time (s) 9.15
Current children cumulated vsize (Kb) 9900
[startup+20.005 s]
Raw data (loadavg): 0.96 1.01 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1471 0 0 0 1778 74 0 0 24 0 1 0 20483972 15839232 1375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1375 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 18.54
Current children cumulated vsize (Kb) 17596
[startup+30.0059 s]
Raw data (loadavg): 0.97 1.01 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1520 0 0 0 2359 207 0 0 17 0 1 0 20483972 15839232 1424 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1424 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 25.68
Current children cumulated vsize (Kb) 17596
[startup+40.0067 s]
Raw data (loadavg): 0.97 1.01 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1520 0 0 0 2985 330 0 0 20 0 1 0 20483972 15839232 1424 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1424 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 33.17
Current children cumulated vsize (Kb) 17596
[startup+50.0075 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1520 0 0 0 3751 402 0 0 25 0 1 0 20483972 15839232 1424 4294967295 134512640 134702520 3221223952 3221223232 134552319 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3867 1424 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 41.55
Current children cumulated vsize (Kb) 17596
[startup+60.0083 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1524 0 0 0 4587 457 0 0 25 0 1 0 20483972 15839232 1428 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1428 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (Kb) 17596
[startup+70.0102 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1532 0 0 0 5440 508 0 0 25 0 1 0 20483972 15839232 1436 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3867 1436 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 59.5
Current children cumulated vsize (Kb) 17596
[startup+80.011 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1537 0 0 0 6303 556 0 0 25 0 1 0 20483972 15839232 1441 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3867 1441 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 68.61
Current children cumulated vsize (Kb) 17596
[startup+90.0118 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1615 0 0 0 7203 587 0 0 23 0 1 0 20483972 15839232 1519 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1519 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 77.92
Current children cumulated vsize (Kb) 17596
[startup+100.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1665 0 0 0 8106 620 0 0 25 0 1 0 20483972 15839232 1569 4294967295 134512640 134702520 3221223952 3221216188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1569 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 87.28
Current children cumulated vsize (Kb) 17596
[startup+110.013 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1666 0 0 0 9000 659 0 0 25 0 1 0 20483972 15998976 1570 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3906 1570 413 48 0 3858 0
[pid=5569] vsize: 15624
Current children cumulated CPU time (s) 96.61
Current children cumulated vsize (Kb) 17752
[startup+120.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1666 0 0 0 9902 692 0 0 25 0 1 0 20483972 15872000 1570 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3875 1570 413 48 0 3827 0
[pid=5569] vsize: 15500
Current children cumulated CPU time (s) 105.96
Current children cumulated vsize (Kb) 17628
[startup+130.016 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1666 0 0 0 10802 725 0 0 25 0 1 0 20483972 15872000 1570 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3875 1570 413 48 0 3827 0
[pid=5569] vsize: 15500
Current children cumulated CPU time (s) 115.29
Current children cumulated vsize (Kb) 17628
[startup+140.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1666 0 0 0 11655 774 0 0 25 0 1 0 20483972 15872000 1570 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3875 1570 413 48 0 3827 0
[pid=5569] vsize: 15500
Current children cumulated CPU time (s) 124.31
Current children cumulated vsize (Kb) 17628
[startup+150.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1669 0 0 0 12508 822 0 0 25 0 1 0 20483972 15876096 1573 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3876 1573 413 48 0 3828 0
[pid=5569] vsize: 15504
Current children cumulated CPU time (s) 133.32
Current children cumulated vsize (Kb) 17632
[startup+160.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1670 0 0 0 13341 875 0 0 25 0 1 0 20483972 15945728 1574 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3893 1574 413 48 0 3845 0
[pid=5569] vsize: 15572
Current children cumulated CPU time (s) 142.18
Current children cumulated vsize (Kb) 17700
[startup+170.02 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1681 0 0 0 14186 929 0 0 25 0 1 0 20483972 15945728 1585 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3893 1585 413 48 0 3845 0
[pid=5569] vsize: 15572
Current children cumulated CPU time (s) 151.17
Current children cumulated vsize (Kb) 17700
[startup+180.021 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1693 0 0 0 15036 982 0 0 25 0 1 0 20483972 15945728 1597 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3893 1597 413 48 0 3845 0
[pid=5569] vsize: 15572
Current children cumulated CPU time (s) 160.2
Current children cumulated vsize (Kb) 17700
[startup+190.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1706 0 0 0 15909 1028 0 0 25 0 1 0 20483972 16101376 1610 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3931 1610 413 48 0 3883 0
[pid=5569] vsize: 15724
Current children cumulated CPU time (s) 169.39
Current children cumulated vsize (Kb) 17852
[startup+200.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1706 0 0 0 16850 1050 0 0 25 0 1 0 20483972 16101376 1610 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3931 1610 413 48 0 3883 0
[pid=5569] vsize: 15724
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (Kb) 17852
[startup+210.025 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1708 0 0 0 17714 1097 0 0 25 0 1 0 20483972 16039936 1612 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3916 1612 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 188.13
Current children cumulated vsize (Kb) 17792
[startup+220.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1711 0 0 0 18546 1157 0 0 20 0 1 0 20483972 16039936 1615 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3916 1615 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 197.05
Current children cumulated vsize (Kb) 17792
[startup+230.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1713 0 0 0 19400 1204 0 0 25 0 1 0 20483972 16039936 1617 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3916 1617 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 206.06
Current children cumulated vsize (Kb) 17792
[startup+240.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1715 0 0 0 20250 1256 0 0 25 0 1 0 20483972 16039936 1619 4294967295 134512640 134702520 3221223952 3221223232 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3916 1619 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 215.08
Current children cumulated vsize (Kb) 17792
[startup+250.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1759 0 0 0 21195 1275 0 0 25 0 1 0 20483972 16039936 1663 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3916 1663 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 224.72
Current children cumulated vsize (Kb) 17792
[startup+260.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1792 0 0 0 22045 1322 0 0 18 0 1 0 20483972 16039936 1696 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3916 1696 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 233.69
Current children cumulated vsize (Kb) 17792
[startup+270.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1847 0 0 0 22934 1360 0 0 25 0 1 0 20483972 16121856 1751 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3936 1751 413 48 0 3888 0
[pid=5569] vsize: 15744
Current children cumulated CPU time (s) 242.96
Current children cumulated vsize (Kb) 17872
[startup+280.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1870 0 0 0 23783 1411 0 0 25 0 1 0 20483972 16121856 1774 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3936 1774 413 48 0 3888 0
[pid=5569] vsize: 15744
Current children cumulated CPU time (s) 251.96
Current children cumulated vsize (Kb) 17872
[startup+290.034 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1900 0 0 0 24670 1453 0 0 25 0 1 0 20483972 16265216 1804 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3971 1804 413 48 0 3923 0
[pid=5569] vsize: 15884
Current children cumulated CPU time (s) 261.25
Current children cumulated vsize (Kb) 18012
[startup+300.035 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1900 0 0 0 25610 1475 0 0 25 0 1 0 20483972 16265216 1804 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3971 1804 413 48 0 3923 0
[pid=5569] vsize: 15884
Current children cumulated CPU time (s) 270.87
Current children cumulated vsize (Kb) 18012
[startup+310.035 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1903 0 0 0 26484 1516 0 0 25 0 1 0 20483972 16203776 1807 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3956 1807 413 48 0 3908 0
[pid=5569] vsize: 15824
Current children cumulated CPU time (s) 280.02
Current children cumulated vsize (Kb) 17952
[startup+320.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1912 0 0 0 27327 1567 0 0 25 0 1 0 20483972 16203776 1816 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3956 1816 413 48 0 3908 0
[pid=5569] vsize: 15824
Current children cumulated CPU time (s) 288.96
Current children cumulated vsize (Kb) 17952
[startup+330.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1929 0 0 0 28196 1604 0 0 25 0 1 0 20483972 16273408 1833 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3973 1833 413 48 0 3925 0
[pid=5569] vsize: 15892
Current children cumulated CPU time (s) 298.02
Current children cumulated vsize (Kb) 18020
[startup+340.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1978 0 0 0 29101 1637 0 0 25 0 1 0 20483972 16273408 1882 4294967295 134512640 134702520 3221223952 3221215388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3973 1882 413 48 0 3925 0
[pid=5569] vsize: 15892
Current children cumulated CPU time (s) 307.4
Current children cumulated vsize (Kb) 18020
[startup+350.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2001 0 0 0 29952 1686 0 0 20 0 1 0 20483972 17330176 1905 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 4231 1905 413 48 0 4183 0
[pid=5569] vsize: 16924
Current children cumulated CPU time (s) 316.4
Current children cumulated vsize (Kb) 19052
[startup+360.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2026 0 0 0 30816 1732 0 0 25 0 1 0 20483972 17416192 1930 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4252 1930 413 48 0 4204 0
[pid=5569] vsize: 17008
Current children cumulated CPU time (s) 325.5
Current children cumulated vsize (Kb) 19136
[startup+370.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2075 0 0 0 31733 1760 0 0 25 0 1 0 20483972 17416192 1979 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4252 1979 413 48 0 4204 0
[pid=5569] vsize: 17008
Current children cumulated CPU time (s) 334.95
Current children cumulated vsize (Kb) 19136
[startup+380.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2084 0 0 0 32620 1797 0 0 25 0 1 0 20483972 17416192 1988 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4252 1988 413 48 0 4204 0
[pid=5569] vsize: 17008
Current children cumulated CPU time (s) 344.19
Current children cumulated vsize (Kb) 19136
[startup+390.041 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2115 0 0 0 33555 1820 0 0 25 0 1 0 20483972 17416192 2019 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4252 2019 413 48 0 4204 0
[pid=5569] vsize: 17008
Current children cumulated CPU time (s) 353.77
Current children cumulated vsize (Kb) 19136
[startup+400.042 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2267 0 0 0 34464 1851 0 0 25 0 1 0 20483972 17711104 2143 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4324 2143 413 48 0 4276 0
[pid=5569] vsize: 17296
Current children cumulated CPU time (s) 363.17
Current children cumulated vsize (Kb) 19424
[startup+410.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2296 0 0 0 35387 1879 0 0 25 0 1 0 20483972 17833984 2172 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4354 2172 413 48 0 4306 0
[pid=5569] vsize: 17416
Current children cumulated CPU time (s) 372.68
Current children cumulated vsize (Kb) 19544
[startup+420.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2303 0 0 0 36261 1924 0 0 25 0 1 0 20483972 17833984 2179 4294967295 134512640 134702520 3221223952 3221221468 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4354 2179 413 48 0 4306 0
[pid=5569] vsize: 17416
Current children cumulated CPU time (s) 381.87
Current children cumulated vsize (Kb) 19544
[startup+430.045 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2304 0 0 0 37130 1970 0 0 22 0 1 0 20483972 18010112 2180 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4397 2180 413 48 0 4349 0
[pid=5569] vsize: 17588
Current children cumulated CPU time (s) 391.02
Current children cumulated vsize (Kb) 19716
[startup+440.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2304 0 0 0 38010 2013 0 0 25 0 1 0 20483972 17944576 2180 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4381 2180 413 48 0 4333 0
[pid=5569] vsize: 17524
Current children cumulated CPU time (s) 400.25
Current children cumulated vsize (Kb) 19652
[startup+450.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2304 0 0 0 38896 2052 0 0 25 0 1 0 20483972 17944576 2180 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4381 2180 413 48 0 4333 0
[pid=5569] vsize: 17524
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (Kb) 19652
[startup+460.046 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2304 0 0 0 39742 2104 0 0 24 0 1 0 20483972 17944576 2180 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4381 2180 413 48 0 4333 0
[pid=5569] vsize: 17524
Current children cumulated CPU time (s) 418.48
Current children cumulated vsize (Kb) 19652
[startup+470.048 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2305 0 0 0 40684 2125 0 0 25 0 1 0 20483972 17944576 2181 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 4381 2181 413 48 0 4333 0
[pid=5569] vsize: 17524
Current children cumulated CPU time (s) 428.11
Current children cumulated vsize (Kb) 19652
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=5569) exited with status: 2
New process pid=5570
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=5570) exited with status: 0
New process pid=5571
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+480.049 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1485 0 0 0 407 27 0 0 23 0 1 0 20531505 8491008 1455 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 2073 1455 413 48 0 2025 0
[pid=5571] vsize: 8292
Current children cumulated CPU time (s) 437.51
Current children cumulated vsize (Kb) 10420
[startup+490.049 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1503 0 0 0 1286 71 0 0 25 0 1 0 20531505 8630272 1473 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 2107 1473 413 48 0 2059 0
[pid=5571] vsize: 8428
Current children cumulated CPU time (s) 446.74
Current children cumulated vsize (Kb) 10556
[startup+500.05 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1575 0 0 0 2174 109 0 0 25 0 1 0 20531505 17453056 1545 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4261 1545 413 48 0 4213 0
[pid=5571] vsize: 17044
Current children cumulated CPU time (s) 456
Current children cumulated vsize (Kb) 19172
[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1641 0 0 0 3035 156 0 0 24 0 1 0 20531505 17453056 1611 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4261 1611 413 48 0 4213 0
[pid=5571] vsize: 17044
Current children cumulated CPU time (s) 465.08
Current children cumulated vsize (Kb) 19172
[startup+520.052 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1686 0 0 0 3882 207 0 0 24 0 1 0 20531505 17571840 1656 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4290 1656 413 48 0 4242 0
[pid=5571] vsize: 17160
Current children cumulated CPU time (s) 474.06
Current children cumulated vsize (Kb) 19288
[startup+530.053 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1724 0 0 0 4765 247 0 0 24 0 1 0 20531505 17571840 1694 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4290 1694 413 48 0 4242 0
[pid=5571] vsize: 17160
Current children cumulated CPU time (s) 483.29
Current children cumulated vsize (Kb) 19288
[startup+540.054 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1761 0 0 0 5630 295 0 0 25 0 1 0 20531505 17752064 1731 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4334 1731 413 48 0 4286 0
[pid=5571] vsize: 17336
Current children cumulated CPU time (s) 492.42
Current children cumulated vsize (Kb) 19464
[startup+550.054 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1799 0 0 0 6487 343 0 0 21 0 1 0 20531505 18948096 1769 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4626 1769 413 48 0 4578 0
[pid=5571] vsize: 18504
Current children cumulated CPU time (s) 501.47
Current children cumulated vsize (Kb) 20632
[startup+560.055 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1805 0 0 0 7349 392 0 0 21 0 1 0 20531505 18948096 1775 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4626 1775 413 48 0 4578 0
[pid=5571] vsize: 18504
Current children cumulated CPU time (s) 510.58
Current children cumulated vsize (Kb) 20632
[startup+570.057 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1806 0 0 0 8212 439 0 0 25 0 1 0 20531505 19099648 1776 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4663 1776 413 48 0 4615 0
[pid=5571] vsize: 18652
Current children cumulated CPU time (s) 519.68
Current children cumulated vsize (Kb) 20780
[startup+580.058 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1835 0 0 0 9106 476 0 0 25 0 1 0 20531505 18972672 1805 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4632 1805 413 48 0 4584 0
[pid=5571] vsize: 18528
Current children cumulated CPU time (s) 528.99
Current children cumulated vsize (Kb) 20656
[startup+590.059 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1847 0 0 0 10007 508 0 0 21 0 1 0 20531505 18972672 1817 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4632 1817 413 48 0 4584 0
[pid=5571] vsize: 18528
Current children cumulated CPU time (s) 538.32
Current children cumulated vsize (Kb) 20656
[startup+600.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1858 0 0 0 10925 536 0 0 24 0 1 0 20531505 18972672 1828 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4632 1828 413 48 0 4584 0
[pid=5571] vsize: 18528
Current children cumulated CPU time (s) 547.78
Current children cumulated vsize (Kb) 20656
[startup+610.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1862 0 0 0 11830 569 0 0 25 0 1 0 20531505 19046400 1832 4294967295 134512640 134702520 3221223712 3221222992 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4650 1832 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 557.16
Current children cumulated vsize (Kb) 20728
[startup+620.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1869 0 0 0 12737 601 0 0 21 0 1 0 20531505 19046400 1839 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4650 1839 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 566.55
Current children cumulated vsize (Kb) 20728
[startup+630.062 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1872 0 0 0 13626 640 0 0 25 0 1 0 20531505 19046400 1842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4650 1842 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 575.83
Current children cumulated vsize (Kb) 20728
[startup+640.063 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1873 0 0 0 14518 679 0 0 25 0 1 0 20531505 19046400 1843 4294967295 134512640 134702520 3221223712 3221222992 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4650 1843 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 585.14
Current children cumulated vsize (Kb) 20728
[startup+650.064 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1879 0 0 0 15407 717 0 0 25 0 1 0 20531505 19046400 1849 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4650 1849 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 594.41
Current children cumulated vsize (Kb) 20728
[startup+660.064 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1885 0 0 0 16304 751 0 0 25 0 1 0 20531505 19046400 1855 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4650 1855 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 603.72
Current children cumulated vsize (Kb) 20728
[startup+670.066 s]
Raw data (loadavg): 1.15 1.04 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1887 0 0 0 17152 800 0 0 25 0 1 0 20531505 19243008 1857 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4698 1857 413 48 0 4650 0
[pid=5571] vsize: 18792
Current children cumulated CPU time (s) 612.69
Current children cumulated vsize (Kb) 20920
[startup+680.067 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1887 0 0 0 18025 841 0 0 25 0 1 0 20531505 19116032 1857 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4667 1857 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 621.83
Current children cumulated vsize (Kb) 20796
[startup+690.067 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1948 0 0 0 18991 853 0 0 25 0 1 0 20531505 19116032 1918 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4667 1918 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 631.61
Current children cumulated vsize (Kb) 20796
[startup+700.068 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1961 0 0 0 19902 884 0 0 25 0 1 0 20531505 19116032 1931 4294967295 134512640 134702520 3221223712 3221222976 134553196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4667 1931 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 641.03
Current children cumulated vsize (Kb) 20796
[startup+710.068 s]
Raw data (loadavg): 1.07 1.03 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1964 0 0 0 20828 909 0 0 25 0 1 0 20531505 19116032 1934 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4667 1934 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 650.54
Current children cumulated vsize (Kb) 20796
[startup+720.07 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1968 0 0 0 21720 946 0 0 25 0 1 0 20531505 19116032 1938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4667 1938 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 659.83
Current children cumulated vsize (Kb) 20796
[startup+730.071 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1971 0 0 0 22639 974 0 0 25 0 1 0 20531505 19193856 1941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4686 1941 413 48 0 4638 0
[pid=5571] vsize: 18744
Current children cumulated CPU time (s) 669.3
Current children cumulated vsize (Kb) 20872
[startup+740.072 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1976 0 0 0 23543 1008 0 0 25 0 1 0 20531505 19193856 1946 4294967295 134512640 134702520 3221223712 3221222992 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4686 1946 413 48 0 4638 0
[pid=5571] vsize: 18744
Current children cumulated CPU time (s) 678.68
Current children cumulated vsize (Kb) 20872
[startup+750.073 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1980 0 0 0 24407 1053 0 0 25 0 1 0 20531505 19193856 1950 4294967295 134512640 134702520 3221223712 3221222992 134552741 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4686 1950 413 48 0 4638 0
[pid=5571] vsize: 18744
Current children cumulated CPU time (s) 687.77
Current children cumulated vsize (Kb) 20872
[startup+760.073 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1986 0 0 0 25282 1096 0 0 24 0 1 0 20531505 19193856 1956 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4686 1956 413 48 0 4638 0
[pid=5571] vsize: 18744
Current children cumulated CPU time (s) 696.95
Current children cumulated vsize (Kb) 20872
[startup+770.074 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1995 0 0 0 26150 1141 0 0 21 0 1 0 20531505 19329024 1965 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4719 1965 413 48 0 4671 0
[pid=5571] vsize: 18876
Current children cumulated CPU time (s) 706.08
Current children cumulated vsize (Kb) 21004
[startup+780.075 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1996 0 0 0 27023 1186 0 0 25 0 1 0 20531505 19329024 1966 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4719 1966 413 48 0 4671 0
[pid=5571] vsize: 18876
Current children cumulated CPU time (s) 715.26
Current children cumulated vsize (Kb) 21004
[startup+790.075 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1997 0 0 0 27889 1231 0 0 24 0 1 0 20531505 19267584 1967 4294967295 134512640 134702520 3221223712 3221222976 134553191 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4704 1967 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 724.37
Current children cumulated vsize (Kb) 20944
[startup+800.076 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2000 0 0 0 28732 1286 0 0 25 0 1 0 20531505 19267584 1970 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4704 1970 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 733.35
Current children cumulated vsize (Kb) 20944
[startup+810.077 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2005 0 0 0 29612 1327 0 0 25 0 1 0 20531505 19267584 1975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4704 1975 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 742.56
Current children cumulated vsize (Kb) 20944
[startup+820.077 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2012 0 0 0 30481 1370 0 0 25 0 1 0 20531505 19267584 1982 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4704 1982 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 751.68
Current children cumulated vsize (Kb) 20944
[startup+830.078 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2031 0 0 0 31404 1396 0 0 25 0 1 0 20531505 19267584 2001 4294967295 134512640 134702520 3221223712 3221222992 134552969 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4704 2001 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 761.17
Current children cumulated vsize (Kb) 20944
[startup+840.079 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2041 0 0 0 32270 1444 0 0 25 0 1 0 20531505 19406848 2011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4738 2011 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 770.31
Current children cumulated vsize (Kb) 21080
[startup+850.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2054 0 0 0 33146 1485 0 0 23 0 1 0 20531505 19406848 2024 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4738 2024 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 779.48
Current children cumulated vsize (Kb) 21080
[startup+860.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2097 0 0 0 34030 1524 0 0 25 0 1 0 20531505 19406848 2067 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4738 2067 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 788.71
Current children cumulated vsize (Kb) 21080
[startup+870.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2133 0 0 0 34927 1555 0 0 25 0 1 0 20531505 19406848 2103 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4738 2103 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 797.99
Current children cumulated vsize (Kb) 21080
[startup+880.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2186 0 0 0 35828 1587 0 0 25 0 1 0 20531505 19406848 2156 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4738 2156 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 807.32
Current children cumulated vsize (Kb) 21080
[startup+890.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2232 0 0 0 36753 1612 0 0 25 0 1 0 20531505 19542016 2202 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4771 2202 413 48 0 4723 0
[pid=5571] vsize: 19084
Current children cumulated CPU time (s) 816.82
Current children cumulated vsize (Kb) 21212
[startup+900.083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2336 0 0 0 37711 1627 0 0 25 0 1 0 20531505 19542016 2306 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4771 2306 413 48 0 4723 0
[pid=5571] vsize: 19084
Current children cumulated CPU time (s) 826.55
Current children cumulated vsize (Kb) 21212
[startup+910.084 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2431 0 0 0 38580 1670 0 0 25 0 1 0 20531505 19677184 2401 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2401 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 835.67
Current children cumulated vsize (Kb) 21344
[startup+920.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2431 0 0 0 39453 1713 0 0 25 0 1 0 20531505 19677184 2401 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4804 2401 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 844.83
Current children cumulated vsize (Kb) 21344
[startup+930.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2437 0 0 0 40330 1755 0 0 24 0 1 0 20531505 19677184 2407 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2407 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 854.02
Current children cumulated vsize (Kb) 21344
[startup+940.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2439 0 0 0 41186 1806 0 0 25 0 1 0 20531505 19677184 2409 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2409 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 863.09
Current children cumulated vsize (Kb) 21344
[startup+950.087 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2445 0 0 0 42047 1857 0 0 25 0 1 0 20531505 19677184 2415 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2415 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 872.21
Current children cumulated vsize (Kb) 21344
[startup+960.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2454 0 0 0 42987 1879 0 0 25 0 1 0 20531505 19677184 2424 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4804 2424 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (Kb) 21344
[startup+970.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2458 0 0 0 43898 1907 0 0 25 0 1 0 20531505 19677184 2428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2428 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 891.22
Current children cumulated vsize (Kb) 21344
[startup+980.089 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2496 0 0 0 44801 1939 0 0 25 0 1 0 20531505 19836928 2466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4843 2466 413 48 0 4795 0
[pid=5571] vsize: 19372
Current children cumulated CPU time (s) 900.57
Current children cumulated vsize (Kb) 21500
[startup+990.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2545 0 0 0 45730 1965 0 0 25 0 1 0 20531505 21032960 2515 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5135 2515 413 48 0 5087 0
[pid=5571] vsize: 20540
Current children cumulated CPU time (s) 910.12
Current children cumulated vsize (Kb) 22668
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2602 0 0 0 46618 2001 0 0 25 0 1 0 20531505 21032960 2572 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5135 2572 413 48 0 5087 0
[pid=5571] vsize: 20540
Current children cumulated CPU time (s) 919.36
Current children cumulated vsize (Kb) 22668
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2647 0 0 0 47480 2046 0 0 25 0 1 0 20531505 21032960 2617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5135 2617 413 48 0 5087 0
[pid=5571] vsize: 20540
Current children cumulated CPU time (s) 928.43
Current children cumulated vsize (Kb) 22668
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2693 0 0 0 48413 2069 0 0 25 0 1 0 20531505 21032960 2663 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5135 2663 413 48 0 5087 0
[pid=5571] vsize: 20540
Current children cumulated CPU time (s) 937.99
Current children cumulated vsize (Kb) 22668
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2731 0 0 0 49323 2100 0 0 25 0 1 0 20531505 21213184 2701 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5179 2701 413 48 0 5131 0
[pid=5571] vsize: 20716
Current children cumulated CPU time (s) 947.4
Current children cumulated vsize (Kb) 22844
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2790 0 0 0 50254 2125 0 0 25 0 1 0 20531505 21213184 2760 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5179 2760 413 48 0 5131 0
[pid=5571] vsize: 20716
Current children cumulated CPU time (s) 956.96
Current children cumulated vsize (Kb) 22844
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2839 0 0 0 51140 2164 0 0 23 0 1 0 20531505 21213184 2809 4294967295 134512640 134702520 3221223712 3221222736 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5179 2809 413 48 0 5131 0
[pid=5571] vsize: 20716
Current children cumulated CPU time (s) 966.21
Current children cumulated vsize (Kb) 22844
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2841 0 0 0 52026 2203 0 0 25 0 1 0 20531505 21401600 2811 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2811 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 975.46
Current children cumulated vsize (Kb) 23028
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2841 0 0 0 52913 2240 0 0 25 0 1 0 20531505 21401600 2811 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2811 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 984.7
Current children cumulated vsize (Kb) 23028
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2841 0 0 0 53806 2278 0 0 25 0 1 0 20531505 21401600 2811 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2811 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 994.01
Current children cumulated vsize (Kb) 23028
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2847 0 0 0 54702 2312 0 0 25 0 1 0 20531505 21401600 2817 4294967295 134512640 134702520 3221223712 3221222736 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2817 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1003.31
Current children cumulated vsize (Kb) 23028
[startup+1100.1 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2853 0 0 0 55586 2351 0 0 25 0 1 0 20531505 21401600 2823 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2823 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1012.54
Current children cumulated vsize (Kb) 23028
[startup+1110.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2853 0 0 0 56480 2384 0 0 25 0 1 0 20531505 21401600 2823 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2823 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1021.81
Current children cumulated vsize (Kb) 23028
[startup+1120.1 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2857 0 0 0 57368 2423 0 0 25 0 1 0 20531505 21401600 2827 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2827 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1031.08
Current children cumulated vsize (Kb) 23028
[startup+1130.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2857 0 0 0 58252 2463 0 0 25 0 1 0 20531505 21401600 2827 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2827 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1040.32
Current children cumulated vsize (Kb) 23028
[startup+1140.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2857 0 0 0 59127 2507 0 0 25 0 1 0 20531505 21401600 2827 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2827 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1049.51
Current children cumulated vsize (Kb) 23028
[startup+1150.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2858 0 0 0 60021 2542 0 0 25 0 1 0 20531505 21401600 2828 4294967295 134512640 134702520 3221223712 3221222992 134552819 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2828 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1058.8
Current children cumulated vsize (Kb) 23028
[startup+1160.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2860 0 0 0 60932 2572 0 0 25 0 1 0 20531505 21401600 2830 4294967295 134512640 134702520 3221223712 3221222832 134573399 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2830 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1068.21
Current children cumulated vsize (Kb) 23028
[startup+1170.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2867 0 0 0 61886 2588 0 0 25 0 1 0 20531505 21401600 2837 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2837 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1077.91
Current children cumulated vsize (Kb) 23028
[startup+1180.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2868 0 0 0 62792 2621 0 0 25 0 1 0 20531505 21401600 2838 4294967295 134512640 134702520 3221223712 3221223104 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2838 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1087.3
Current children cumulated vsize (Kb) 23028
[startup+1190.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2871 0 0 0 63752 2635 0 0 25 0 1 0 20531505 21401600 2841 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2841 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1097.04
Current children cumulated vsize (Kb) 23028
[startup+1200.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2872 0 0 0 64648 2669 0 0 23 0 1 0 20531505 21401600 2842 4294967295 134512640 134702520 3221223712 3221222736 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2842 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1106.34
Current children cumulated vsize (Kb) 23028
[startup+1210.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2873 0 0 0 65528 2711 0 0 25 0 1 0 20531505 21401600 2843 4294967295 134512640 134702520 3221223712 3221222548 134550186 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2843 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1115.56
Current children cumulated vsize (Kb) 23028
[startup+1220.11 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2873 0 0 0 66438 2742 0 0 25 0 1 0 20531505 21401600 2843 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2843 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1124.97
Current children cumulated vsize (Kb) 23028
[startup+1230.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2878 0 0 0 67386 2761 0 0 25 0 1 0 20531505 21401600 2848 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2848 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1134.64
Current children cumulated vsize (Kb) 23028
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2880 0 0 0 68297 2791 0 0 25 0 1 0 20531505 21401600 2850 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2850 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1144.05
Current children cumulated vsize (Kb) 23028
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2884 0 0 0 69194 2827 0 0 25 0 1 0 20531505 21401600 2854 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2854 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1153.38
Current children cumulated vsize (Kb) 23028
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2888 0 0 0 70147 2845 0 0 25 0 1 0 20531505 21401600 2858 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2858 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1163.09
Current children cumulated vsize (Kb) 23028
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2889 0 0 0 71089 2864 0 0 25 0 1 0 20531505 21401600 2859 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2859 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1172.7
Current children cumulated vsize (Kb) 23028
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2892 0 0 0 71981 2899 0 0 25 0 1 0 20531505 21475328 2862 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5243 2862 413 48 0 5195 0
[pid=5571] vsize: 20972
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (Kb) 23100
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2968 0 0 0 72938 2914 0 0 25 0 1 0 20531505 21475328 2938 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5243 2938 413 48 0 5195 0
[pid=5571] vsize: 20972
Current children cumulated CPU time (s) 1191.69
Current children cumulated vsize (Kb) 23100
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2971 0 0 0 73890 2931 0 0 25 0 1 0 20531505 21475328 2941 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5243 2941 413 48 0 5195 0
[pid=5571] vsize: 20972
Current children cumulated CPU time (s) 1201.38
Current children cumulated vsize (Kb) 23100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2971 0 0 0 73890 2931 0 0 25 0 1 0 20531505 21475328 2941 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5243 2941 413 48 0 5195 0
[pid=5571] vsize: 20972
Current children cumulated CPU time (s) 1201.38
Current children cumulated vsize (Kb) 23100
Sending SIGTERM to -5566
Sleeping 2 seconds
New process pid=5573
New process pid=5574
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1694/stat
open syscall for file /proc/1694/status
open syscall for file /proc/1694/cmdline
open syscall for file /proc/1694/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5527/stat
open syscall for file /proc/5527/status
open syscall for file /proc/5527/cmdline
open syscall for file /proc/5527/environ
open syscall for file /proc/5565/stat
open syscall for file /proc/5565/status
open syscall for file /proc/5565/cmdline
open syscall for file /proc/5565/environ
open syscall for file /proc/5566/stat
open syscall for file /proc/5566/status
open syscall for file /proc/5566/cmdline
open syscall for file /proc/5566/environ
open syscall for file /proc/5571/stat
open syscall for file /proc/5571/status
open syscall for file /proc/5571/cmdline
open syscall for file /proc/5571/environ
open syscall for file /proc/5573/stat
open syscall for file /proc/5573/status
open syscall for file /proc/5573/cmdline
open syscall for file /proc/5573/environ
open syscall for file /proc/5574/stat
open syscall for file /proc/5574/status
open syscall for file /proc/5574/cmdline
open syscall for file /proc/5574/environ
One traced child (pid=5573) exited with status: 0
One traced child (pid=5574) exited with status: 0
New process pid=5575
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5575) exited with status: 0
New process pid=5576
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=5576) exited with status: 0
One traced child (pid=5566) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5571) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1300.74
CPU time (s): 768.807
CPU user time (s): 739.429
CPU system time (s): 29.3785
CPU usage (%): 59.1054
Max. virtual memory (cumulated for all children) (Kb): 23100