1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 22 (#equs: 0)
#decisions: 646; #end-nodes: 138;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 51 / 92 (80)
#axs: 248, #non-axs: 93
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: 541822 (1555328:>=*);
#decisions: 21; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 93
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: 551422 (1545728:>=*);
#decisions: 35; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 94
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: 561022 (1536128:>=*);
#decisions: 65; #end-nodes: 17;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 248, #non-axs: 94
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: 570622 (1526528:>=*);
#decisions: 30; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 94
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: 580222 (1516928:>=*);
#decisions: 426; #end-nodes: 228;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 64 / 83 (80)
#axs: 248, #non-axs: 159
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: 588542 (1508608:>=*);
#decisions: 913; #end-nodes: 423;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 100 / 268 (80)
#axs: 248, #non-axs: 378
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: 599422 (1497728:>=*);
#decisions: 79; #end-nodes: 50;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 50 / 106 (80)
#axs: 248, #non-axs: 403
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: 600062 (1497088:>=*);
#decisions: 18; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 248, #non-axs: 405
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: 649342 (1447808:>=*);
#decisions: 134; #end-nodes: 67;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 67 / 115 (80)
#axs: 248, #non-axs: 441
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: 653822 (1443328:>=*);
#decisions: 53; #end-nodes: 23;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 248, #non-axs: 455
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: 675582 (1421568:>=*);
#decisions: 3463; #end-nodes: 2273;
#proof improvement attempts: 0; #restarts: 4
Current batch, end-nodes: 79 / 96 (81)
#axs: 248, #non-axs: 1322
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: 680702 (1416448:>=*);
#decisions: 5001; #end-nodes: 2533;
#proof improvement attempts: 0; #restarts: 13
Current batch, end-nodes: 412 / 727 (83)
#axs: 248, #non-axs: 2751
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: 689022 (1408128:>=*);
#decisions: 3324123; #end-nodes: 2471992;
#proof improvement attempts: 0; #restarts: 1056
Current batch, end-nodes: 0 / 1045 (343)
#axs: 248, #non-axs: 3380
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12; meta: start: 27, end (keep): 44
Model found with constant:
(pushed:) 689022 (1408128:>=*)
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: 33 (#equs: 0)
Time taken: 17 min, 8 sec
2:
seed: 0
Nr of vars set: 33 (#equs: 0)
Nr of vars set: 33 (#equs: 0)
Interupt request received.
#decisions: 515435; #end-nodes: 379438;
#proof improvement attempts: 0; #restarts: 302
Current batch, end-nodes: 8957 / 10056 (195)
#axs: 248, #non-axs: 3421
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12; meta: start: 27, end (keep): 44
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: 227 (#equs: 0)
Time taken: 2 min, 56 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/6216/stat): 6216 (vallstSAT2005PB) R 6215 6216 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20235371 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6216/statm): 174 3 169 147 0 27 0
[pid=6216] 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=6217
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=6217) exited with status: 0
New process pid=6218
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=6218) exited with status: 0
New process pid=6219
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/wulflinc9/normalized-mps-v2-13-7-misc07.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0037 s]
Raw data (loadavg): 0.78 0.95 0.99 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 396 0 0 0 573 136 0 0 17 0 1 0 20235380 2719744 366 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 664 366 413 48 0 616 0
[pid=6219] vsize: 2656
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (Kb) 4784
[startup+20.0045 s]
Raw data (loadavg): 0.81 0.95 0.99 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 493 0 0 0 1258 245 0 0 16 0 1 0 20235380 3133440 463 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 463 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 15.05
Current children cumulated vsize (Kb) 5188
[startup+30.0063 s]
Raw data (loadavg): 0.84 0.95 0.99 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 506 0 0 0 1962 346 0 0 16 0 1 0 20235380 3133440 476 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 765 476 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 23.1
Current children cumulated vsize (Kb) 5188
[startup+40.0071 s]
Raw data (loadavg): 0.86 0.95 0.99 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 507 0 0 0 2566 476 0 0 15 0 1 0 20235380 3133440 477 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 765 477 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 30.44
Current children cumulated vsize (Kb) 5188
[startup+50.0078 s]
Raw data (loadavg): 0.88 0.95 0.99 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 514 0 0 0 3276 573 0 0 16 0 1 0 20235380 3133440 484 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 765 484 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 38.51
Current children cumulated vsize (Kb) 5188
[startup+60.0086 s]
Raw data (loadavg): 0.90 0.95 0.99 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 521 0 0 0 3991 672 0 0 16 0 1 0 20235380 3133440 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 491 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 46.65
Current children cumulated vsize (Kb) 5188
[startup+70.0094 s]
Raw data (loadavg): 0.99 0.97 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 522 0 0 0 4595 804 0 0 15 0 1 0 20235380 3133440 492 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 492 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 54.01
Current children cumulated vsize (Kb) 5188
[startup+80.0102 s]
Raw data (loadavg): 0.99 0.97 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 522 0 0 0 5315 903 0 0 16 0 1 0 20235380 3133440 492 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 492 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 62.2
Current children cumulated vsize (Kb) 5188
[startup+90.0109 s]
Raw data (loadavg): 0.99 0.97 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 528 0 0 0 6043 999 0 0 16 0 1 0 20235380 3133440 498 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 498 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 70.44
Current children cumulated vsize (Kb) 5188
[startup+100.012 s]
Raw data (loadavg): 0.99 0.97 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 540 0 0 0 6790 1085 0 0 15 0 1 0 20235380 3268608 510 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 798 510 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 78.77
Current children cumulated vsize (Kb) 5320
[startup+110.014 s]
Raw data (loadavg): 1.07 0.99 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 541 0 0 0 7386 1219 0 0 15 0 1 0 20235380 3268608 511 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 798 511 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 86.07
Current children cumulated vsize (Kb) 5320
[startup+120.014 s]
Raw data (loadavg): 1.06 0.99 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 544 0 0 0 8129 1310 0 0 16 0 1 0 20235380 3268608 514 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 798 514 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 94.41
Current children cumulated vsize (Kb) 5320
[startup+130.015 s]
Raw data (loadavg): 1.05 0.99 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 547 0 0 0 8856 1404 0 0 16 0 1 0 20235380 3268608 517 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 798 517 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 102.62
Current children cumulated vsize (Kb) 5320
[startup+140.016 s]
Raw data (loadavg): 1.19 1.02 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 556 0 0 0 9591 1490 0 0 16 0 1 0 20235380 3268608 526 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 798 526 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 110.83
Current children cumulated vsize (Kb) 5320
[startup+150.017 s]
Raw data (loadavg): 1.16 1.02 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 557 0 0 0 10210 1621 0 0 16 0 1 0 20235380 3268608 527 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 798 527 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 118.33
Current children cumulated vsize (Kb) 5320
[startup+160.017 s]
Raw data (loadavg): 1.14 1.02 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 564 0 0 0 10974 1703 0 0 16 0 1 0 20235380 3403776 534 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 831 534 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 126.79
Current children cumulated vsize (Kb) 5452
[startup+170.018 s]
Raw data (loadavg): 1.12 1.02 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 571 0 0 0 11734 1784 0 0 16 0 1 0 20235380 3403776 541 4294967295 134512640 134702520 3221223952 3221223072 134572157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 831 541 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 135.2
Current children cumulated vsize (Kb) 5452
[startup+180.018 s]
Raw data (loadavg): 1.10 1.02 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 577 0 0 0 12465 1875 0 0 16 0 1 0 20235380 3403776 547 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 831 547 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 143.42
Current children cumulated vsize (Kb) 5452
[startup+190.02 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 582 0 0 0 13218 1956 0 0 16 0 1 0 20235380 3403776 552 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 831 552 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 151.76
Current children cumulated vsize (Kb) 5452
[startup+200.02 s]
Raw data (loadavg): 1.07 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 591 0 0 0 13980 2035 0 0 16 0 1 0 20235380 3403776 561 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 831 561 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 160.17
Current children cumulated vsize (Kb) 5452
[startup+210.021 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 593 0 0 0 14624 2155 0 0 16 0 1 0 20235380 3403776 563 4294967295 134512640 134702520 3221223952 3221223528 134559814 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 831 563 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 167.81
Current children cumulated vsize (Kb) 5452
[startup+220.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 598 0 0 0 15384 2229 0 0 16 0 1 0 20235380 3538944 568 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 568 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 176.15
Current children cumulated vsize (Kb) 5584
[startup+230.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 599 0 0 0 16108 2324 0 0 16 0 1 0 20235380 3538944 569 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 569 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 184.34
Current children cumulated vsize (Kb) 5584
[startup+240.023 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 610 0 0 0 16890 2395 0 0 16 0 1 0 20235380 3538944 580 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 580 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 192.87
Current children cumulated vsize (Kb) 5584
[startup+250.023 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 618 0 0 0 17661 2474 0 0 16 0 1 0 20235380 3538944 588 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 588 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 201.37
Current children cumulated vsize (Kb) 5584
[startup+260.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 622 0 0 0 18467 2542 0 0 16 0 1 0 20235380 3538944 592 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 592 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 210.11
Current children cumulated vsize (Kb) 5584
[startup+270.026 s]
Raw data (loadavg): 1.09 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 625 0 0 0 19239 2616 0 0 16 0 1 0 20235380 3538944 595 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 864 595 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 218.57
Current children cumulated vsize (Kb) 5584
[startup+280.026 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 626 0 0 0 19930 2720 0 0 16 0 1 0 20235380 3538944 596 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 864 596 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 226.52
Current children cumulated vsize (Kb) 5584
[startup+290.026 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 629 0 0 0 20628 2821 0 0 16 0 1 0 20235380 3674112 599 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 897 599 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 234.51
Current children cumulated vsize (Kb) 5716
[startup+300.027 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 634 0 0 0 21401 2900 0 0 16 0 1 0 20235380 3674112 604 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 604 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 243.03
Current children cumulated vsize (Kb) 5716
[startup+310.029 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 639 0 0 0 22197 2974 0 0 16 0 1 0 20235380 3674112 609 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 609 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 251.73
Current children cumulated vsize (Kb) 5716
[startup+320.03 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 641 0 0 0 22960 3055 0 0 16 0 1 0 20235380 3674112 611 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 897 611 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 260.17
Current children cumulated vsize (Kb) 5716
[startup+330.03 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 647 0 0 0 23719 3137 0 0 16 0 1 0 20235380 3674112 617 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 617 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 268.58
Current children cumulated vsize (Kb) 5716
[startup+340.031 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 653 0 0 0 24491 3219 0 0 15 0 1 0 20235380 3674112 623 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 897 623 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 277.12
Current children cumulated vsize (Kb) 5716
[startup+350.032 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 655 0 0 0 25286 3290 0 0 16 0 1 0 20235380 3674112 625 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 625 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 285.78
Current children cumulated vsize (Kb) 5716
[startup+360.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 658 0 0 0 26042 3375 0 0 16 0 1 0 20235380 3674112 628 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 897 628 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 294.19
Current children cumulated vsize (Kb) 5716
[startup+370.034 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 658 0 0 0 26708 3485 0 0 16 0 1 0 20235380 3674112 628 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 628 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 301.95
Current children cumulated vsize (Kb) 5716
[startup+380.034 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 662 0 0 0 27426 3582 0 0 16 0 1 0 20235380 3809280 632 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 632 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 310.1
Current children cumulated vsize (Kb) 5848
[startup+390.035 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 666 0 0 0 28227 3648 0 0 16 0 1 0 20235380 3809280 636 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 636 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 318.77
Current children cumulated vsize (Kb) 5848
[startup+400.036 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 667 0 0 0 28962 3740 0 0 16 0 1 0 20235380 3809280 637 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 930 637 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 327.04
Current children cumulated vsize (Kb) 5848
[startup+410.037 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 668 0 0 0 29792 3805 0 0 16 0 1 0 20235380 3809280 638 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 638 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 335.99
Current children cumulated vsize (Kb) 5848
[startup+420.037 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 670 0 0 0 30557 3886 0 0 16 0 1 0 20235380 3809280 640 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 640 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 344.45
Current children cumulated vsize (Kb) 5848
[startup+430.038 s]
Raw data (loadavg): 1.12 1.04 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 675 0 0 0 31343 3963 0 0 16 0 1 0 20235380 3809280 645 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 645 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 353.08
Current children cumulated vsize (Kb) 5848
[startup+440.039 s]
Raw data (loadavg): 1.18 1.06 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 676 0 0 0 32116 4043 0 0 16 0 1 0 20235380 3809280 646 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 646 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 361.61
Current children cumulated vsize (Kb) 5848
[startup+450.04 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 677 0 0 0 32926 4110 0 0 16 0 1 0 20235380 3809280 647 4294967295 134512640 134702520 3221223952 3221223232 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 647 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 370.38
Current children cumulated vsize (Kb) 5848
[startup+460.04 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 814 0 0 0 33703 4184 0 0 15 0 1 0 20235380 4329472 784 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 1057 784 413 48 0 1009 0
[pid=6219] vsize: 4228
Current children cumulated CPU time (s) 378.89
Current children cumulated vsize (Kb) 6356
[startup+470.041 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 1238 0 0 0 34540 4241 0 0 16 0 1 0 20235380 6049792 1208 4294967295 134512640 134702520 3221223952 3221223232 134552222 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 1477 1208 413 48 0 1429 0
[pid=6219] vsize: 5908
Current children cumulated CPU time (s) 387.83
Current children cumulated vsize (Kb) 8036
[startup+480.041 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 1535 0 0 0 35418 4283 0 0 16 0 1 0 20235380 7409664 1505 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 1809 1505 413 48 0 1761 0
[pid=6219] vsize: 7236
Current children cumulated CPU time (s) 397.03
Current children cumulated vsize (Kb) 9364
[startup+490.043 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 1787 0 0 0 36302 4326 0 0 17 0 1 0 20235380 8409088 1757 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2053 1757 413 48 0 2005 0
[pid=6219] vsize: 8212
Current children cumulated CPU time (s) 406.3
Current children cumulated vsize (Kb) 10340
[startup+500.043 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2032 0 0 0 37194 4365 0 0 17 0 1 0 20235380 9371648 2002 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2288 2002 413 48 0 2240 0
[pid=6219] vsize: 9152
Current children cumulated CPU time (s) 415.61
Current children cumulated vsize (Kb) 11280
[startup+510.044 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2258 0 0 0 38096 4398 0 0 17 0 1 0 20235380 10416128 2228 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2543 2228 413 48 0 2495 0
[pid=6219] vsize: 10172
Current children cumulated CPU time (s) 424.96
Current children cumulated vsize (Kb) 12300
[startup+520.045 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 38923 4458 0 0 15 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 433.83
Current children cumulated vsize (Kb) 12760
[startup+530.045 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 39569 4569 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 441.4
Current children cumulated vsize (Kb) 12760
[startup+540.046 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 40437 4616 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223072 134591512 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 450.55
Current children cumulated vsize (Kb) 12760
[startup+550.046 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 41323 4661 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 459.86
Current children cumulated vsize (Kb) 12760
[startup+560.047 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 42210 4698 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134553426 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 469.1
Current children cumulated vsize (Kb) 12760
[startup+570.048 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 43096 4735 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 478.33
Current children cumulated vsize (Kb) 12760
[startup+580.049 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 43998 4769 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 487.69
Current children cumulated vsize (Kb) 12760
[startup+590.049 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 44904 4801 0 0 18 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 497.07
Current children cumulated vsize (Kb) 12760
[startup+600.05 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 45816 4832 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 506.5
Current children cumulated vsize (Kb) 12760
[startup+610.051 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 46732 4865 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 515.99
Current children cumulated vsize (Kb) 12760
[startup+620.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2560 0 0 0 47649 4894 0 0 18 0 1 0 20235380 11542528 2530 4294967295 134512640 134702520 3221223952 3221223232 134552481 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2818 2530 413 48 0 2770 0
[pid=6219] vsize: 11272
Current children cumulated CPU time (s) 525.45
Current children cumulated vsize (Kb) 13400
[startup+630.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2719 0 0 0 48572 4924 0 0 18 0 1 0 20235380 12193792 2689 4294967295 134512640 134702520 3221223952 3221223232 134557173 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2977 2689 413 48 0 2929 0
[pid=6219] vsize: 11908
Current children cumulated CPU time (s) 534.98
Current children cumulated vsize (Kb) 14036
[startup+640.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2890 0 0 0 49492 4952 0 0 18 0 1 0 20235380 12980224 2860 4294967295 134512640 134702520 3221223952 3221223428 1074952449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3169 2860 413 48 0 3121 0
[pid=6219] vsize: 12676
Current children cumulated CPU time (s) 544.46
Current children cumulated vsize (Kb) 14804
[startup+650.053 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3052 0 0 0 50413 4980 0 0 18 0 1 0 20235380 13561856 3022 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3311 3022 413 48 0 3263 0
[pid=6219] vsize: 13244
Current children cumulated CPU time (s) 553.95
Current children cumulated vsize (Kb) 15372
[startup+660.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3194 0 0 0 51344 5006 0 0 18 0 1 0 20235380 14172160 3164 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3460 3164 413 48 0 3412 0
[pid=6219] vsize: 13840
Current children cumulated CPU time (s) 563.52
Current children cumulated vsize (Kb) 15968
[startup+670.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3344 0 0 0 52277 5029 0 0 18 0 1 0 20235380 14868480 3314 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3630 3314 413 48 0 3582 0
[pid=6219] vsize: 14520
Current children cumulated CPU time (s) 573.08
Current children cumulated vsize (Kb) 16648
[startup+680.054 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 3374 0 0 0 53209 5054 0 0 17 0 1 0 20235380 14868480 3344 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 3630 3344 413 48 0 3582 0
[pid=6219] vsize: 14520
Current children cumulated CPU time (s) 582.65
Current children cumulated vsize (Kb) 16648
[startup+690.055 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3374 0 0 0 54145 5078 0 0 19 0 1 0 20235380 14868480 3344 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3630 3344 413 48 0 3582 0
[pid=6219] vsize: 14520
Current children cumulated CPU time (s) 592.25
Current children cumulated vsize (Kb) 16648
[startup+700.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3374 0 0 0 55083 5102 0 0 22 0 1 0 20235380 14868480 3344 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3630 3344 413 48 0 3582 0
[pid=6219] vsize: 14520
Current children cumulated CPU time (s) 601.87
Current children cumulated vsize (Kb) 16648
[startup+710.057 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 3419 0 0 0 56024 5122 0 0 17 0 1 0 20235380 15048704 3389 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 3674 3389 413 48 0 3626 0
[pid=6219] vsize: 14696
Current children cumulated CPU time (s) 611.48
Current children cumulated vsize (Kb) 16824
[startup+720.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3524 0 0 0 56965 5141 0 0 20 0 1 0 20235380 15548416 3494 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3796 3494 413 48 0 3748 0
[pid=6219] vsize: 15184
Current children cumulated CPU time (s) 621.08
Current children cumulated vsize (Kb) 17312
[startup+730.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3625 0 0 0 57905 5163 0 0 20 0 1 0 20235380 15900672 3595 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3882 3595 413 48 0 3834 0
[pid=6219] vsize: 15528
Current children cumulated CPU time (s) 630.7
Current children cumulated vsize (Kb) 17656
[startup+740.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3756 0 0 0 58845 5184 0 0 19 0 1 0 20235380 16474112 3726 4294967295 134512640 134702520 3221223952 3221223216 134553231 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4022 3726 413 48 0 3974 0
[pid=6219] vsize: 16088
Current children cumulated CPU time (s) 640.31
Current children cumulated vsize (Kb) 18216
[startup+750.06 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 3848 0 0 0 59785 5204 0 0 25 0 1 0 20235380 16814080 3818 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4105 3818 413 48 0 4057 0
[pid=6219] vsize: 16420
Current children cumulated CPU time (s) 649.91
Current children cumulated vsize (Kb) 18548
[startup+760.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3982 0 0 0 60727 5225 0 0 20 0 1 0 20235380 17461248 3952 4294967295 134512640 134702520 3221223952 3221223344 134605856 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4263 3952 413 48 0 4215 0
[pid=6219] vsize: 17052
Current children cumulated CPU time (s) 659.54
Current children cumulated vsize (Kb) 19180
[startup+770.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4062 0 0 0 61673 5245 0 0 25 0 1 0 20235380 17797120 4032 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4345 4032 413 48 0 4297 0
[pid=6219] vsize: 17380
Current children cumulated CPU time (s) 669.2
Current children cumulated vsize (Kb) 19508
[startup+780.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4176 0 0 0 62615 5266 0 0 25 0 1 0 20235380 18239488 4146 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4453 4146 413 48 0 4405 0
[pid=6219] vsize: 17812
Current children cumulated CPU time (s) 678.83
Current children cumulated vsize (Kb) 19940
[startup+790.064 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4272 0 0 0 63557 5285 0 0 19 0 1 0 20235380 18685952 4242 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4562 4242 413 48 0 4514 0
[pid=6219] vsize: 18248
Current children cumulated CPU time (s) 688.44
Current children cumulated vsize (Kb) 20376
[startup+800.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4348 0 0 0 64505 5303 0 0 25 0 1 0 20235380 19013632 4318 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4642 4318 413 48 0 4594 0
[pid=6219] vsize: 18568
Current children cumulated CPU time (s) 698.1
Current children cumulated vsize (Kb) 20696
[startup+810.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4423 0 0 0 65456 5320 0 0 25 0 1 0 20235380 19193856 4393 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4686 4393 413 48 0 4638 0
[pid=6219] vsize: 18744
Current children cumulated CPU time (s) 707.78
Current children cumulated vsize (Kb) 20872
[startup+820.066 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4520 0 0 0 66404 5339 0 0 18 0 1 0 20235380 19709952 4490 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4812 4490 413 48 0 4764 0
[pid=6219] vsize: 19248
Current children cumulated CPU time (s) 717.45
Current children cumulated vsize (Kb) 21376
[startup+830.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 67211 5404 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 726.17
Current children cumulated vsize (Kb) 21160
[startup+840.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 68024 5470 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 734.96
Current children cumulated vsize (Kb) 21160
[startup+850.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 68807 5544 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223040 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 743.53
Current children cumulated vsize (Kb) 21160
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 69564 5627 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 751.93
Current children cumulated vsize (Kb) 21160
[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 70217 5747 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 759.66
Current children cumulated vsize (Kb) 21160
[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 71022 5813 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 768.37
Current children cumulated vsize (Kb) 21160
[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 71804 5886 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 776.92
Current children cumulated vsize (Kb) 21160
[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 72617 5950 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 785.69
Current children cumulated vsize (Kb) 21160
[startup+910.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 73434 6011 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 794.47
Current children cumulated vsize (Kb) 21160
[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 74222 6087 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 803.11
Current children cumulated vsize (Kb) 21160
[startup+930.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 75041 6152 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 811.95
Current children cumulated vsize (Kb) 21160
[startup+940.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 75818 6225 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 820.45
Current children cumulated vsize (Kb) 21160
[startup+950.077 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 76604 6298 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 829.04
Current children cumulated vsize (Kb) 21160
[startup+960.078 s]
Raw data (loadavg): 1.14 1.03 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 77420 6363 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 837.85
Current children cumulated vsize (Kb) 21160
[startup+970.079 s]
Raw data (loadavg): 1.20 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 78244 6423 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223152 134617897 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 846.69
Current children cumulated vsize (Kb) 21160
[startup+980.078 s]
Raw data (loadavg): 1.17 1.04 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 79043 6493 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 855.38
Current children cumulated vsize (Kb) 21160
[startup+990.079 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 79858 6555 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 864.15
Current children cumulated vsize (Kb) 21160
[startup+1000.08 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 80644 6628 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 872.74
Current children cumulated vsize (Kb) 21160
[startup+1010.08 s]
Raw data (loadavg): 1.18 1.06 1.02 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 81290 6745 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 880.37
Current children cumulated vsize (Kb) 21160
[startup+1020.08 s]
Raw data (loadavg): 1.15 1.05 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 82107 6808 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 889.17
Current children cumulated vsize (Kb) 21160
[startup+1030.08 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 82907 6880 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 897.89
Current children cumulated vsize (Kb) 21160
[startup+1040.08 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 83704 6952 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 906.58
Current children cumulated vsize (Kb) 21160
[startup+1050.08 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 84527 7012 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 915.41
Current children cumulated vsize (Kb) 21160
[startup+1060.08 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 85348 7070 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 924.2
Current children cumulated vsize (Kb) 21160
[startup+1070.09 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 86135 7145 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 932.82
Current children cumulated vsize (Kb) 21160
[startup+1080.09 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 86959 7207 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 941.68
Current children cumulated vsize (Kb) 21160
[startup+1090.09 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 87794 7264 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 950.6
Current children cumulated vsize (Kb) 21160
[startup+1100.09 s]
Raw data (loadavg): 1.16 1.07 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 88602 7329 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 959.33
Current children cumulated vsize (Kb) 21160
[startup+1110.09 s]
Raw data (loadavg): 1.14 1.07 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 89399 7399 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 968
Current children cumulated vsize (Kb) 21160
[startup+1120.09 s]
Raw data (loadavg): 1.19 1.08 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 90180 7475 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 976.57
Current children cumulated vsize (Kb) 21160
[startup+1130.09 s]
Raw data (loadavg): 1.16 1.08 1.02 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 91013 7529 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552693 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 985.44
Current children cumulated vsize (Kb) 21160
[startup+1140.09 s]
Raw data (loadavg): 1.14 1.07 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 91824 7595 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 994.21
Current children cumulated vsize (Kb) 21160
[startup+1150.09 s]
Raw data (loadavg): 1.12 1.07 1.02 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 92647 7657 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 1003.06
Current children cumulated vsize (Kb) 21160
[startup+1160.09 s]
Raw data (loadavg): 1.10 1.07 1.02 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 93431 7731 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 1011.64
Current children cumulated vsize (Kb) 21160
[startup+1170.09 s]
Raw data (loadavg): 1.08 1.07 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 94253 7793 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 1020.48
Current children cumulated vsize (Kb) 21160
[startup+1180.09 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 94898 7913 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 1028.13
Current children cumulated vsize (Kb) 21160
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=6219) exited with status: 2
New process pid=6220
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=6220) exited with status: 0
New process pid=6221
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+1190.09 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 266 0 0 0 630 80 0 0 19 0 1 0 20353536 2293760 236 4294967295 134512640 134702520 3221223712 3221222720 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 560 236 413 48 0 512 0
[pid=6221] vsize: 2240
Current children cumulated CPU time (s) 1036.16
Current children cumulated vsize (Kb) 4368
[startup+1200.1 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 420 0 0 0 1349 182 0 0 17 0 1 0 20353536 3022848 390 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 738 390 413 48 0 690 0
[pid=6221] vsize: 2952
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (Kb) 5080
[startup+1210.1 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 499 0 0 0 2101 265 0 0 20 0 1 0 20353536 3158016 469 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6221/statm): 771 469 413 48 0 723 0
[pid=6221] vsize: 3084
Current children cumulated CPU time (s) 1052.72
Current children cumulated vsize (Kb) 5212
[startup+1220.1 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 517 0 0 0 2877 342 0 0 20 0 1 0 20353536 3293184 487 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 804 487 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1061.25
Current children cumulated vsize (Kb) 5344
[startup+1230.1 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 528 0 0 0 3645 424 0 0 21 0 1 0 20353536 3293184 498 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6221/statm): 804 498 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1069.75
Current children cumulated vsize (Kb) 5344
[startup+1240.1 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 529 0 0 0 4373 515 0 0 20 0 1 0 20353536 3293184 499 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 804 499 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1077.94
Current children cumulated vsize (Kb) 5344
[startup+1250.1 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 536 0 0 0 5132 601 0 0 16 0 1 0 20353536 3293184 506 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 804 506 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1086.39
Current children cumulated vsize (Kb) 5344
[startup+1260.1 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 546 0 0 0 5919 678 0 0 16 0 1 0 20353536 3293184 516 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 804 516 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1095.03
Current children cumulated vsize (Kb) 5344
[startup+1270.1 s]
Raw data (loadavg): 1.01 1.04 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 554 0 0 0 6701 756 0 0 15 0 1 0 20353536 3428352 524 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6221/statm): 837 524 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1103.63
Current children cumulated vsize (Kb) 5476
[startup+1280.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 558 0 0 0 7456 839 0 0 16 0 1 0 20353536 3428352 528 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 528 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1112.01
Current children cumulated vsize (Kb) 5476
[startup+1290.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 564 0 0 0 8214 923 0 0 16 0 1 0 20353536 3428352 534 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 534 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1120.43
Current children cumulated vsize (Kb) 5476
[startup+1300.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 564 0 0 0 8937 1021 0 0 16 0 1 0 20353536 3428352 534 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 534 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1128.64
Current children cumulated vsize (Kb) 5476
[startup+1310.1 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 566 0 0 0 9692 1107 0 0 16 0 1 0 20353536 3428352 536 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 536 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1137.05
Current children cumulated vsize (Kb) 5476
[startup+1320.11 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 572 0 0 0 10487 1177 0 0 16 0 1 0 20353536 3428352 542 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 542 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1145.7
Current children cumulated vsize (Kb) 5476
[startup+1330.11 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 577 0 0 0 11269 1256 0 0 16 0 1 0 20353536 3428352 547 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 547 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1154.31
Current children cumulated vsize (Kb) 5476
[startup+1340.11 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 583 0 0 0 12073 1323 0 0 16 0 1 0 20353536 3428352 553 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 553 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1163.02
Current children cumulated vsize (Kb) 5476
[startup+1350.11 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 586 0 0 0 12864 1397 0 0 16 0 1 0 20353536 3563520 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6221/statm): 870 556 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1171.67
Current children cumulated vsize (Kb) 5608
[startup+1360.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 590 0 0 0 13618 1487 0 0 16 0 1 0 20353536 3563520 560 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6221/statm): 870 560 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1180.11
Current children cumulated vsize (Kb) 5608
[startup+1370.11 s]
Raw data (loadavg): 1.18 1.07 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 591 0 0 0 14395 1565 0 0 15 0 1 0 20353536 3563520 561 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 870 561 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1188.66
Current children cumulated vsize (Kb) 5608
[startup+1380.11 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 591 0 0 0 15111 1664 0 0 16 0 1 0 20353536 3563520 561 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 870 561 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1196.81
Current children cumulated vsize (Kb) 5608
[startup+1390.11 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 593 0 0 0 15903 1731 0 0 16 0 1 0 20353536 3563520 563 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 870 563 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1205.4
Current children cumulated vsize (Kb) 5608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1390.11 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 593 0 0 0 15903 1731 0 0 16 0 1 0 20353536 3563520 563 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6221/statm): 870 563 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1205.4
Current children cumulated vsize (Kb) 5608
Sending SIGTERM to -6216
Sleeping 2 seconds
New process pid=6223
New process pid=6224
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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)
One traced child (pid=6221) exited with status: 3
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6177/stat
open syscall for file /proc/6177/status
open syscall for file /proc/6177/cmdline
open syscall for file /proc/6177/environ
open syscall for file /proc/6215/stat
open syscall for file /proc/6215/status
open syscall for file /proc/6215/cmdline
open syscall for file /proc/6215/environ
open syscall for file /proc/6216/stat
open syscall for file /proc/6216/status
open syscall for file /proc/6216/cmdline
open syscall for file /proc/6216/environ
open syscall for file /proc/6223/stat
open syscall for file /proc/6223/status
open syscall for file /proc/6223/cmdline
open syscall for file /proc/6223/environ
open syscall for file /proc/6224/stat
open syscall for file /proc/6224/status
open syscall for file /proc/6224/cmdline
open syscall for file /proc/6224/environ
One traced child (pid=6223) exited with status: 0
One traced child (pid=6224) exited with status: 0
New process pid=6225
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=6225) exited with status: 0
New process pid=6226
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=6226) exited with status: 0
One traced child (pid=6216) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1390.6
CPU time (s): 1205.58
CPU user time (s): 1108.8
CPU system time (s): 96.7823
CPU usage (%): 86.6949
Max. virtual memory (cumulated for all children) (Kb): 21376