1:
seed: 0
Nr of vars set: 28 (#equs: 0)
Nr of vars set: 28 (#equs: 0)
#decisions: 106; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 846, #non-axs: 0
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: 2326 (133:>=*);
#decisions: 112; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 846, #non-axs: 0
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: 2327 (132:>=*);
#decisions: 2790; #end-nodes: 160;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 0 / 80 (80)
#axs: 846, #non-axs: 0
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: 2335 (124:>=*);
#decisions: 100; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 846, #non-axs: 0
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: 2336 (123:>=*);
#decisions: 131; #end-nodes: 35;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 846, #non-axs: 0
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: 2337 (122:>=*);
#decisions: 855; #end-nodes: 387;
#proof improvement attempts: 0; #restarts: 4
Current batch, end-nodes: 67 / 81 (81)
#axs: 846, #non-axs: 0
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: 2338 (121:>=*);
#decisions: 2871; #end-nodes: 1305;
#proof improvement attempts: 0; #restarts: 16
Current batch, end-nodes: 0 / 84 (84)
#axs: 846, #non-axs: 0
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: 2339 (120:>=*);
#decisions: 5194; #end-nodes: 1304;
#proof improvement attempts: 0; #restarts: 16
Current batch, end-nodes: 0 / 84 (84)
#axs: 846, #non-axs: 0
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: 2342 (117:>=*);
#decisions: 106; #end-nodes: 18;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 846, #non-axs: 0
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: 2343 (116:>=*);
#decisions: 20952; #end-nodes: 9520;
#proof improvement attempts: 0; #restarts: 103
Current batch, end-nodes: 0 / 105 (105)
#axs: 846, #non-axs: 0
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: 2345 (114:>=*);
#decisions: 88; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 846, #non-axs: 0
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: 2346 (113:>=*);
#decisions: 73296; #end-nodes: 43531;
#proof improvement attempts: 0; #restarts: 352
Current batch, end-nodes: 39 / 168 (168)
#axs: 846, #non-axs: 0
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: 2347 (112:>=*);
#decisions: 311371; #end-nodes: 223399;
#proof improvement attempts: 0; #restarts: 1056
Current batch, end-nodes: 0 / 343 (343)
#axs: 846, #non-axs: 0
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:
(pushed:) 2347 (112:>=*)
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: 28 (#equs: 0)
Time taken: 15 min, 3 sec
2:
seed: 0
Nr of vars set: 28 (#equs: 0)
Nr of vars set: 28 (#equs: 0)
Interupt request received.
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: 28 (#equs: 0)
Time taken: 4 min, 56 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (21546) - No such process
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/21541/stat): 21541 (vallstSAT2005PB) R 21540 21541 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1841966522 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21541/statm): 174 3 169 147 0 27 0
[pid=21541] 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=21542
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=21542) exited with status: 0
New process pid=21543
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=21543) exited with status: 0
New process pid=21544
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/wulflinc26/normalized-ex5.pi.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0039 s]
Raw data (loadavg): 1.00 1.09 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 385 0 0 0 136 263 0 0 15 0 1 0 1841966530 2883584 355 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 704 355 413 48 0 656 0
[pid=21544] vsize: 2816
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (Kb) 4944
[startup+20.0046 s]
Raw data (loadavg): 1.00 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 467 0 0 0 936 331 0 0 18 0 1 0 1841966530 4550656 437 4294967295 134512640 134702520 3221223968 3221223248 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1111 437 413 48 0 1063 0
[pid=21544] vsize: 4444
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (Kb) 6572
[startup+30.0053 s]
Raw data (loadavg): 1.00 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 475 0 0 0 1748 393 0 0 16 0 1 0 1841966530 4685824 445 4294967295 134512640 134702520 3221223968 3221223088 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 445 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 21.43
Current children cumulated vsize (Kb) 6704
[startup+40.006 s]
Raw data (loadavg): 1.00 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 482 0 0 0 2561 459 0 0 16 0 1 0 1841966530 4685824 452 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1144 452 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 30.22
Current children cumulated vsize (Kb) 6704
[startup+50.0067 s]
Raw data (loadavg): 1.00 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 491 0 0 0 3370 524 0 0 18 0 1 0 1841966530 4685824 461 4294967295 134512640 134702520 3221223968 3221223248 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 461 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 38.96
Current children cumulated vsize (Kb) 6704
[startup+60.0074 s]
Raw data (loadavg): 1.07 1.09 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 491 0 0 0 3997 646 0 0 15 0 1 0 1841966530 4685824 461 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 461 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 46.45
Current children cumulated vsize (Kb) 6704
[startup+70.008 s]
Raw data (loadavg): 1.13 1.10 1.07 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 492 0 0 0 4619 770 0 0 16 0 1 0 1841966530 4685824 462 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1144 462 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 53.91
Current children cumulated vsize (Kb) 6704
[startup+80.0087 s]
Raw data (loadavg): 1.11 1.10 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 500 0 0 0 5381 852 0 0 17 0 1 0 1841966530 4685824 470 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 470 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 62.35
Current children cumulated vsize (Kb) 6704
[startup+90.0094 s]
Raw data (loadavg): 1.10 1.09 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 501 0 0 0 6194 913 0 0 17 0 1 0 1841966530 4685824 471 4294967295 134512640 134702520 3221223968 3221223248 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 471 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 71.09
Current children cumulated vsize (Kb) 6704
[startup+100.01 s]
Raw data (loadavg): 1.08 1.09 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 507 0 0 0 6980 985 0 0 15 0 1 0 1841966530 4685824 477 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 477 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 79.67
Current children cumulated vsize (Kb) 6704
[startup+110.012 s]
Raw data (loadavg): 1.07 1.09 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 507 0 0 0 7586 1121 0 0 15 0 1 0 1841966530 4685824 477 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1144 477 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 87.09
Current children cumulated vsize (Kb) 6704
[startup+120.012 s]
Raw data (loadavg): 1.06 1.08 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 508 0 0 0 8167 1262 0 0 16 0 1 0 1841966530 4685824 478 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1144 478 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 94.31
Current children cumulated vsize (Kb) 6704
[startup+130.013 s]
Raw data (loadavg): 1.05 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 510 0 0 0 9008 1315 0 0 18 0 1 0 1841966530 4792320 480 4294967295 134512640 134702520 3221223968 3221223088 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 480 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 103.25
Current children cumulated vsize (Kb) 6808
[startup+140.014 s]
Raw data (loadavg): 1.04 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 515 0 0 0 9828 1375 0 0 17 0 1 0 1841966530 4792320 485 4294967295 134512640 134702520 3221223968 3221223088 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 485 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 112.05
Current children cumulated vsize (Kb) 6808
[startup+150.015 s]
Raw data (loadavg): 1.03 1.07 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 522 0 0 0 10643 1440 0 0 17 0 1 0 1841966530 4792320 492 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 492 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 120.85
Current children cumulated vsize (Kb) 6808
[startup+160.016 s]
Raw data (loadavg): 1.03 1.07 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 524 0 0 0 11373 1536 0 0 15 0 1 0 1841966530 4792320 494 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 494 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 129.11
Current children cumulated vsize (Kb) 6808
[startup+170.017 s]
Raw data (loadavg): 1.02 1.07 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 524 0 0 0 11989 1668 0 0 15 0 1 0 1841966530 4792320 494 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 494 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 136.59
Current children cumulated vsize (Kb) 6808
[startup+180.018 s]
Raw data (loadavg): 1.09 1.08 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 528 0 0 0 12613 1794 0 0 15 0 1 0 1841966530 4792320 498 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 498 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 144.09
Current children cumulated vsize (Kb) 6808
[startup+190.019 s]
Raw data (loadavg): 1.08 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 533 0 0 0 13497 1833 0 0 19 0 1 0 1841966530 4792320 503 4294967295 134512640 134702520 3221223968 3221223088 134578856 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 503 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 153.32
Current children cumulated vsize (Kb) 6808
[startup+200.02 s]
Raw data (loadavg): 1.07 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 538 0 0 0 14320 1895 0 0 17 0 1 0 1841966530 4792320 508 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 508 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (Kb) 6808
[startup+210.021 s]
Raw data (loadavg): 1.06 1.07 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 541 0 0 0 15224 1927 0 0 18 0 1 0 1841966530 4792320 511 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 511 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 171.53
Current children cumulated vsize (Kb) 6808
[startup+220.022 s]
Raw data (loadavg): 1.05 1.07 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 544 0 0 0 15978 2011 0 0 15 0 1 0 1841966530 4792320 514 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 514 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 179.91
Current children cumulated vsize (Kb) 6808
[startup+230.022 s]
Raw data (loadavg): 1.04 1.07 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 544 0 0 0 16590 2144 0 0 15 0 1 0 1841966530 4792320 514 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 514 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 187.36
Current children cumulated vsize (Kb) 6808
[startup+240.023 s]
Raw data (loadavg): 1.03 1.06 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 547 0 0 0 17277 2248 0 0 16 0 1 0 1841966530 4792320 517 4294967295 134512640 134702520 3221223968 3221223088 134572636 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 517 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 195.27
Current children cumulated vsize (Kb) 6808
[startup+250.024 s]
Raw data (loadavg): 1.03 1.06 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 552 0 0 0 18168 2287 0 0 19 0 1 0 1841966530 4792320 522 4294967295 134512640 134702520 3221223968 3221223088 134572601 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 522 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (Kb) 6808
[startup+260.025 s]
Raw data (loadavg): 1.02 1.06 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 555 0 0 0 19063 2323 0 0 22 0 1 0 1841966530 4792320 525 4294967295 134512640 134702520 3221223968 3221223248 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 525 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 213.88
Current children cumulated vsize (Kb) 6808
[startup+270.026 s]
Raw data (loadavg): 1.02 1.06 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 559 0 0 0 19877 2383 0 0 17 0 1 0 1841966530 4792320 529 4294967295 134512640 134702520 3221223968 3221223248 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 529 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 222.62
Current children cumulated vsize (Kb) 6808
[startup+280.026 s]
Raw data (loadavg): 1.02 1.05 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 561 0 0 0 20691 2447 0 0 17 0 1 0 1841966530 4792320 531 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 531 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 231.4
Current children cumulated vsize (Kb) 6808
[startup+290.028 s]
Raw data (loadavg): 1.01 1.05 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 562 0 0 0 21513 2507 0 0 17 0 1 0 1841966530 4792320 532 4294967295 134512640 134702520 3221223968 3221223088 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 532 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 240.22
Current children cumulated vsize (Kb) 6808
[startup+300.029 s]
Raw data (loadavg): 1.01 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 562 0 0 0 22285 2583 0 0 15 0 1 0 1841966530 4792320 532 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 532 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 248.7
Current children cumulated vsize (Kb) 6808
[startup+310.031 s]
Raw data (loadavg): 1.01 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 562 0 0 0 22906 2716 0 0 16 0 1 0 1841966530 4792320 532 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 532 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 256.24
Current children cumulated vsize (Kb) 6808
[startup+320.031 s]
Raw data (loadavg): 1.01 1.05 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 564 0 0 0 23558 2834 0 0 16 0 1 0 1841966530 4898816 534 4294967295 134512640 134702520 3221223968 3221223248 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1196 534 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 263.94
Current children cumulated vsize (Kb) 6912
[startup+330.031 s]
Raw data (loadavg): 1.00 1.04 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 565 0 0 0 24461 2868 0 0 19 0 1 0 1841966530 4898816 535 4294967295 134512640 134702520 3221223968 3221223088 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 535 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 273.31
Current children cumulated vsize (Kb) 6912
[startup+340.032 s]
Raw data (loadavg): 1.00 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 566 0 0 0 25286 2932 0 0 15 0 1 0 1841966530 4898816 536 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1196 536 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (Kb) 6912
[startup+350.032 s]
Raw data (loadavg): 1.00 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 566 0 0 0 26141 2980 0 0 16 0 1 0 1841966530 4898816 536 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 536 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 291.23
Current children cumulated vsize (Kb) 6912
[startup+360.034 s]
Raw data (loadavg): 1.00 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 566 0 0 0 26752 3112 0 0 15 0 1 0 1841966530 4898816 536 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 536 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 298.66
Current children cumulated vsize (Kb) 6912
[startup+370.035 s]
Raw data (loadavg): 1.08 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 567 0 0 0 27355 3245 0 0 16 0 1 0 1841966530 4898816 537 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 537 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 306.02
Current children cumulated vsize (Kb) 6912
[startup+380.034 s]
Raw data (loadavg): 1.07 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 568 0 0 0 28163 3315 0 0 16 0 1 0 1841966530 4898816 538 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 538 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 314.8
Current children cumulated vsize (Kb) 6912
[startup+390.035 s]
Raw data (loadavg): 1.06 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 571 0 0 0 28960 3379 0 0 15 0 1 0 1841966530 4898816 541 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 541 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 323.41
Current children cumulated vsize (Kb) 6912
[startup+400.036 s]
Raw data (loadavg): 1.05 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 573 0 0 0 29767 3444 0 0 15 0 1 0 1841966530 4898816 543 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 543 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 332.13
Current children cumulated vsize (Kb) 6912
[startup+410.036 s]
Raw data (loadavg): 1.04 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 573 0 0 0 30376 3579 0 0 15 0 1 0 1841966530 4898816 543 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 543 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 339.57
Current children cumulated vsize (Kb) 6912
[startup+420.037 s]
Raw data (loadavg): 1.03 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 574 0 0 0 30966 3715 0 0 15 0 1 0 1841966530 4898816 544 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 544 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 346.83
Current children cumulated vsize (Kb) 6912
[startup+430.038 s]
Raw data (loadavg): 1.03 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 575 0 0 0 31859 3750 0 0 19 0 1 0 1841966530 4898816 545 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1196 545 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 356.11
Current children cumulated vsize (Kb) 6912
[startup+440.038 s]
Raw data (loadavg): 1.02 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 576 0 0 0 32747 3787 0 0 17 0 1 0 1841966530 4898816 546 4294967295 134512640 134702520 3221223968 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 546 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 365.36
Current children cumulated vsize (Kb) 6912
[startup+450.039 s]
Raw data (loadavg): 1.02 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 577 0 0 0 33590 3839 0 0 16 0 1 0 1841966530 4898816 547 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 547 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 374.31
Current children cumulated vsize (Kb) 6912
[startup+460.041 s]
Raw data (loadavg): 1.02 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 580 0 0 0 34456 3885 0 0 18 0 1 0 1841966530 4898816 550 4294967295 134512640 134702520 3221223968 3221223248 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 550 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 383.43
Current children cumulated vsize (Kb) 6912
[startup+470.041 s]
Raw data (loadavg): 1.01 1.03 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 580 0 0 0 35086 4013 0 0 16 0 1 0 1841966530 4898816 550 4294967295 134512640 134702520 3221223968 3221222864 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 550 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 391.01
Current children cumulated vsize (Kb) 6912
[startup+480.041 s]
Raw data (loadavg): 1.09 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 581 0 0 0 35705 4144 0 0 15 0 1 0 1841966530 4898816 551 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 551 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (Kb) 6912
[startup+490.043 s]
Raw data (loadavg): 1.08 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 585 0 0 0 36517 4207 0 0 17 0 1 0 1841966530 4898816 555 4294967295 134512640 134702520 3221223968 3221223088 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 555 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 407.26
Current children cumulated vsize (Kb) 6912
[startup+500.043 s]
Raw data (loadavg): 1.06 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 588 0 0 0 37406 4248 0 0 21 0 1 0 1841966530 4898816 558 4294967295 134512640 134702520 3221223968 3221222864 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 558 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 416.56
Current children cumulated vsize (Kb) 6912
[startup+510.044 s]
Raw data (loadavg): 1.05 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 591 0 0 0 38285 4292 0 0 15 0 1 0 1841966530 4898816 561 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 561 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 425.79
Current children cumulated vsize (Kb) 6912
[startup+520.045 s]
Raw data (loadavg): 1.04 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 594 0 0 0 39132 4344 0 0 19 0 1 0 1841966530 4898816 564 4294967295 134512640 134702520 3221223968 3221223088 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 564 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 434.78
Current children cumulated vsize (Kb) 6912
[startup+530.046 s]
Raw data (loadavg): 1.04 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 595 0 0 0 39907 4421 0 0 16 0 1 0 1841966530 4898816 565 4294967295 134512640 134702520 3221223968 3221222864 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 565 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 443.3
Current children cumulated vsize (Kb) 6912
[startup+540.046 s]
Raw data (loadavg): 1.11 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 595 0 0 0 40508 4561 0 0 15 0 1 0 1841966530 4898816 565 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 565 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 450.71
Current children cumulated vsize (Kb) 6912
[startup+550.047 s]
Raw data (loadavg): 1.09 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 597 0 0 0 41254 4647 0 0 19 0 1 0 1841966530 4898816 567 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 567 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 459.03
Current children cumulated vsize (Kb) 6912
[startup+560.049 s]
Raw data (loadavg): 1.08 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 600 0 0 0 42152 4681 0 0 21 0 1 0 1841966530 4898816 570 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1196 570 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 468.35
Current children cumulated vsize (Kb) 6912
[startup+570.049 s]
Raw data (loadavg): 1.07 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 603 0 0 0 43021 4727 0 0 16 0 1 0 1841966530 4898816 573 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 573 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 477.5
Current children cumulated vsize (Kb) 6912
[startup+580.05 s]
Raw data (loadavg): 1.06 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 609 0 0 0 43853 4784 0 0 16 0 1 0 1841966530 4898816 579 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 579 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 486.39
Current children cumulated vsize (Kb) 6912
[startup+590.052 s]
Raw data (loadavg): 1.05 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 611 0 0 0 44749 4821 0 0 18 0 1 0 1841966530 5005312 581 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 581 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 495.72
Current children cumulated vsize (Kb) 7016
[startup+600.052 s]
Raw data (loadavg): 1.04 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 613 0 0 0 45541 4892 0 0 15 0 1 0 1841966530 5005312 583 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 583 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 504.35
Current children cumulated vsize (Kb) 7016
[startup+610.054 s]
Raw data (loadavg): 1.03 1.04 1.03 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 613 0 0 0 46146 5026 0 0 16 0 1 0 1841966530 5005312 583 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 583 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 511.74
Current children cumulated vsize (Kb) 7016
[startup+620.055 s]
Raw data (loadavg): 1.10 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 616 0 0 0 46812 5139 0 0 16 0 1 0 1841966530 5005312 586 4294967295 134512640 134702520 3221223968 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 586 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 519.53
Current children cumulated vsize (Kb) 7016
[startup+630.054 s]
Raw data (loadavg): 1.08 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 619 0 0 0 47642 5195 0 0 17 0 1 0 1841966530 5005312 589 4294967295 134512640 134702520 3221223968 3221223088 134586058 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 589 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 528.39
Current children cumulated vsize (Kb) 7016
[startup+640.056 s]
Raw data (loadavg): 1.07 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 622 0 0 0 48530 5232 0 0 18 0 1 0 1841966530 5005312 592 4294967295 134512640 134702520 3221223968 3221223088 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 592 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 537.64
Current children cumulated vsize (Kb) 7016
[startup+650.057 s]
Raw data (loadavg): 1.14 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 626 0 0 0 49418 5271 0 0 20 0 1 0 1841966530 5005312 596 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 596 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 546.91
Current children cumulated vsize (Kb) 7016
[startup+660.058 s]
Raw data (loadavg): 1.12 1.06 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 631 0 0 0 50280 5319 0 0 16 0 1 0 1841966530 5005312 601 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 601 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 556.01
Current children cumulated vsize (Kb) 7016
[startup+670.059 s]
Raw data (loadavg): 1.17 1.08 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 631 0 0 0 50892 5452 0 0 16 0 1 0 1841966530 5005312 601 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 601 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 563.46
Current children cumulated vsize (Kb) 7016
[startup+680.06 s]
Raw data (loadavg): 1.15 1.07 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 632 0 0 0 51495 5585 0 0 15 0 1 0 1841966530 5005312 602 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 602 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 570.82
Current children cumulated vsize (Kb) 7016
[startup+690.061 s]
Raw data (loadavg): 1.12 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 633 0 0 0 52347 5636 0 0 17 0 1 0 1841966530 5005312 603 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 603 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 579.85
Current children cumulated vsize (Kb) 7016
[startup+700.061 s]
Raw data (loadavg): 1.10 1.07 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 635 0 0 0 53295 5656 0 0 16 0 1 0 1841966530 5005312 605 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 605 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 589.53
Current children cumulated vsize (Kb) 7016
[startup+710.063 s]
Raw data (loadavg): 1.09 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 637 0 0 0 54221 5684 0 0 25 0 1 0 1841966530 5005312 607 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 607 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 599.07
Current children cumulated vsize (Kb) 7016
[startup+720.064 s]
Raw data (loadavg): 1.07 1.06 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 642 0 0 0 55040 5745 0 0 16 0 1 0 1841966530 5005312 612 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 612 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 607.87
Current children cumulated vsize (Kb) 7016
[startup+730.064 s]
Raw data (loadavg): 1.06 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 645 0 0 0 55926 5787 0 0 20 0 1 0 1841966530 5005312 615 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 615 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 617.15
Current children cumulated vsize (Kb) 7016
[startup+740.066 s]
Raw data (loadavg): 1.05 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 646 0 0 0 56801 5829 0 0 16 0 1 0 1841966530 5005312 616 4294967295 134512640 134702520 3221223968 3221222864 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 616 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 626.32
Current children cumulated vsize (Kb) 7016
[startup+750.067 s]
Raw data (loadavg): 1.04 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 646 0 0 0 57412 5963 0 0 15 0 1 0 1841966530 5005312 616 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 616 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 633.77
Current children cumulated vsize (Kb) 7016
[startup+760.068 s]
Raw data (loadavg): 1.04 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 647 0 0 0 58041 6090 0 0 17 0 1 0 1841966530 5005312 617 4294967295 134512640 134702520 3221223968 3221223088 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 617 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 641.33
Current children cumulated vsize (Kb) 7016
[startup+770.069 s]
Raw data (loadavg): 1.03 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 650 0 0 0 58921 6131 0 0 18 0 1 0 1841966530 5005312 620 4294967295 134512640 134702520 3221223968 3221223088 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 620 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 650.54
Current children cumulated vsize (Kb) 7016
[startup+780.07 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 653 0 0 0 59823 6164 0 0 16 0 1 0 1841966530 5005312 623 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 623 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 659.89
Current children cumulated vsize (Kb) 7016
[startup+790.071 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 657 0 0 0 60711 6200 0 0 18 0 1 0 1841966530 5005312 627 4294967295 134512640 134702520 3221223968 3221223088 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 627 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 669.13
Current children cumulated vsize (Kb) 7016
[startup+800.072 s]
Raw data (loadavg): 1.02 1.04 1.03 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 659 0 0 0 61607 6237 0 0 17 0 1 0 1841966530 5005312 629 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 629 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 678.46
Current children cumulated vsize (Kb) 7016
[startup+810.074 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 661 0 0 0 62588 6244 0 0 25 0 1 0 1841966530 5005312 631 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 631 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 688.34
Current children cumulated vsize (Kb) 7016
[startup+820.074 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 663 0 0 0 63490 6279 0 0 23 0 1 0 1841966530 5005312 633 4294967295 134512640 134702520 3221223968 3221223088 134578775 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 633 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 697.71
Current children cumulated vsize (Kb) 7016
[startup+830.075 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 664 0 0 0 64388 6315 0 0 16 0 1 0 1841966530 5005312 634 4294967295 134512640 134702520 3221223968 3221222864 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 634 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 707.05
Current children cumulated vsize (Kb) 7016
[startup+840.076 s]
Raw data (loadavg): 1.09 1.05 1.03 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 664 0 0 0 65008 6449 0 0 15 0 1 0 1841966530 5005312 634 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 634 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 714.59
Current children cumulated vsize (Kb) 7016
[startup+850.076 s]
Raw data (loadavg): 1.07 1.05 1.03 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 665 0 0 0 65651 6574 0 0 16 0 1 0 1841966530 5005312 635 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 635 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 722.27
Current children cumulated vsize (Kb) 7016
[startup+860.078 s]
Raw data (loadavg): 1.13 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 666 0 0 0 66628 6582 0 0 25 0 1 0 1841966530 5005312 636 4294967295 134512640 134702520 3221223968 3221223248 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 636 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 732.12
Current children cumulated vsize (Kb) 7016
[startup+870.079 s]
Raw data (loadavg): 1.11 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 669 0 0 0 67531 6617 0 0 25 0 1 0 1841966530 5005312 639 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 639 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 741.5
Current children cumulated vsize (Kb) 7016
[startup+880.08 s]
Raw data (loadavg): 1.10 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 671 0 0 0 68436 6648 0 0 17 0 1 0 1841966530 5005312 641 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 641 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 750.86
Current children cumulated vsize (Kb) 7016
[startup+890.08 s]
Raw data (loadavg): 1.08 1.06 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 673 0 0 0 69410 6657 0 0 25 0 1 0 1841966530 5005312 643 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 643 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 760.69
Current children cumulated vsize (Kb) 7016
[startup+900.081 s]
Raw data (loadavg): 1.07 1.06 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 674 0 0 0 70317 6688 0 0 25 0 1 0 1841966530 5005312 644 4294967295 134512640 134702520 3221223968 3221223088 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 644 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 770.07
Current children cumulated vsize (Kb) 7016
[startup+910.082 s]
Raw data (loadavg): 1.06 1.05 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 676 0 0 0 71212 6725 0 0 20 0 1 0 1841966530 5005312 646 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 646 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 779.39
Current children cumulated vsize (Kb) 7016
[startup+920.082 s]
Raw data (loadavg): 1.05 1.05 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 679 0 0 0 72109 6759 0 0 19 0 1 0 1841966530 5005312 649 4294967295 134512640 134702520 3221223968 3221223248 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 649 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 788.7
Current children cumulated vsize (Kb) 7016
[startup+930.083 s]
Raw data (loadavg): 1.12 1.07 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 681 0 0 0 72968 6800 0 0 15 0 1 0 1841966530 5005312 651 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 651 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 797.7
Current children cumulated vsize (Kb) 7016
[startup+940.084 s]
Raw data (loadavg): 1.18 1.08 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 681 0 0 0 73573 6932 0 0 15 0 1 0 1841966530 5005312 651 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 651 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 805.07
Current children cumulated vsize (Kb) 7016
[startup+950.084 s]
Raw data (loadavg): 1.15 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 682 0 0 0 74175 7065 0 0 17 0 1 0 1841966530 5111808 652 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 652 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 812.42
Current children cumulated vsize (Kb) 7120
[startup+960.084 s]
Raw data (loadavg): 1.21 1.09 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 684 0 0 0 75085 7097 0 0 16 0 1 0 1841966530 5111808 654 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1248 654 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (Kb) 7120
[startup+970.085 s]
Raw data (loadavg): 1.18 1.09 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 686 0 0 0 76042 7114 0 0 25 0 1 0 1841966530 5111808 656 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 656 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 831.58
Current children cumulated vsize (Kb) 7120
[startup+980.085 s]
Raw data (loadavg): 1.15 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 688 0 0 0 76943 7146 0 0 25 0 1 0 1841966530 5111808 658 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 658 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 840.91
Current children cumulated vsize (Kb) 7120
[startup+990.087 s]
Raw data (loadavg): 1.13 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 690 0 0 0 77846 7178 0 0 18 0 1 0 1841966530 5111808 660 4294967295 134512640 134702520 3221223968 3221223248 134553369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 660 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 850.26
Current children cumulated vsize (Kb) 7120
[startup+1000.09 s]
Raw data (loadavg): 1.11 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 691 0 0 0 78827 7185 0 0 25 0 1 0 1841966530 5111808 661 4294967295 134512640 134702520 3221223968 3221223088 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 661 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 860.14
Current children cumulated vsize (Kb) 7120
[startup+1010.09 s]
Raw data (loadavg): 1.09 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 693 0 0 0 79728 7219 0 0 21 0 1 0 1841966530 5111808 663 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 663 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 869.49
Current children cumulated vsize (Kb) 7120
[startup+1020.09 s]
Raw data (loadavg): 1.08 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 695 0 0 0 80630 7255 0 0 16 0 1 0 1841966530 5111808 665 4294967295 134512640 134702520 3221223968 3221223248 134553426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 665 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 878.87
Current children cumulated vsize (Kb) 7120
[startup+1030.09 s]
Raw data (loadavg): 1.06 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 697 0 0 0 81562 7276 0 0 17 0 1 0 1841966530 5111808 667 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 667 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 888.4
Current children cumulated vsize (Kb) 7120
[startup+1040.09 s]
Raw data (loadavg): 1.13 1.08 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 697 0 0 0 82174 7406 0 0 15 0 1 0 1841966530 5111808 667 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 667 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 895.82
Current children cumulated vsize (Kb) 7120
[startup+1050.09 s]
Raw data (loadavg): 1.11 1.08 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 698 0 0 0 82775 7537 0 0 15 0 1 0 1841966530 5111808 668 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1248 668 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 903.14
Current children cumulated vsize (Kb) 7120
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=21544) exited with status: 2
New process pid=21545
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=21545) exited with status: 0
New process pid=21546
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+1060.09 s]
Raw data (loadavg): 1.09 1.08 1.04 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 362 0 0 0 582 109 0 0 18 0 1 0 1842071644 2883584 333 4294967295 134512640 134702520 3221223712 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 704 333 413 48 0 656 0
[pid=21546] vsize: 2816
Current children cumulated CPU time (s) 910.8
Current children cumulated vsize (Kb) 4944
[startup+1070.09 s]
Raw data (loadavg): 1.08 1.07 1.04 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 362 0 0 0 1220 226 0 0 18 0 1 0 1842071644 2883584 333 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 704 333 413 48 0 656 0
[pid=21546] vsize: 2816
Current children cumulated CPU time (s) 918.35
Current children cumulated vsize (Kb) 4944
[startup+1080.09 s]
Raw data (loadavg): 1.06 1.07 1.04 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 430 0 0 0 1992 301 0 0 19 0 1 0 1842071644 4546560 401 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1110 401 413 48 0 1062 0
[pid=21546] vsize: 4440
Current children cumulated CPU time (s) 926.82
Current children cumulated vsize (Kb) 6568
[startup+1090.09 s]
Raw data (loadavg): 1.05 1.07 1.04 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 438 0 0 0 2835 356 0 0 25 0 1 0 1842071644 4546560 409 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1110 409 413 48 0 1062 0
[pid=21546] vsize: 4440
Current children cumulated CPU time (s) 935.8
Current children cumulated vsize (Kb) 6568
[startup+1100.1 s]
Raw data (loadavg): 1.04 1.07 1.04 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 446 0 0 0 3657 418 0 0 18 0 1 0 1842071644 4653056 417 4294967295 134512640 134702520 3221223712 3221222784 134617475 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 417 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 944.64
Current children cumulated vsize (Kb) 6672
[startup+1110.1 s]
Raw data (loadavg): 1.04 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 448 0 0 0 4407 503 0 0 18 0 1 0 1842071644 4653056 419 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 419 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 952.99
Current children cumulated vsize (Kb) 6672
[startup+1120.1 s]
Raw data (loadavg): 1.03 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 448 0 0 0 5019 633 0 0 18 0 1 0 1842071644 4653056 419 4294967295 134512640 134702520 3221223712 3221222608 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 419 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 960.41
Current children cumulated vsize (Kb) 6672
[startup+1130.1 s]
Raw data (loadavg): 1.03 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 454 0 0 0 5716 735 0 0 18 0 1 0 1842071644 4653056 425 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 425 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 968.4
Current children cumulated vsize (Kb) 6672
[startup+1140.1 s]
Raw data (loadavg): 1.02 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 459 0 0 0 6612 772 0 0 24 0 1 0 1842071644 4653056 430 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 430 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 977.73
Current children cumulated vsize (Kb) 6672
[startup+1150.1 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 465 0 0 0 7428 833 0 0 25 0 1 0 1842071644 4653056 436 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1136 436 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 986.5
Current children cumulated vsize (Kb) 6672
[startup+1160.1 s]
Raw data (loadavg): 1.01 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 468 0 0 0 8326 866 0 0 25 0 1 0 1842071644 4653056 439 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 439 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 995.81
Current children cumulated vsize (Kb) 6672
[startup+1170.1 s]
Raw data (loadavg): 1.01 1.05 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 471 0 0 0 9078 947 0 0 18 0 1 0 1842071644 4653056 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1136 442 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 1004.14
Current children cumulated vsize (Kb) 6672
[startup+1180.1 s]
Raw data (loadavg): 1.01 1.05 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 471 0 0 0 9676 1080 0 0 18 0 1 0 1842071644 4653056 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1136 442 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 1011.45
Current children cumulated vsize (Kb) 6672
[startup+1190.1 s]
Raw data (loadavg): 1.01 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 473 0 0 0 10407 1174 0 0 25 0 1 0 1842071644 4653056 444 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 444 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 1019.7
Current children cumulated vsize (Kb) 6672
[startup+1200.1 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 478 0 0 0 11301 1210 0 0 25 0 1 0 1842071644 4653056 449 4294967295 134512640 134702520 3221223712 3221222832 134578775 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1136 449 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 1029
Current children cumulated vsize (Kb) 6672
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 483 0 0 0 12144 1263 0 0 19 0 1 0 1842071644 4759552 454 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 454 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1037.96
Current children cumulated vsize (Kb) 6776
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.04 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 489 0 0 0 13008 1308 0 0 25 0 1 0 1842071644 4759552 460 4294967295 134512640 134702520 3221223712 3221222992 134553430 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 460 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1047.05
Current children cumulated vsize (Kb) 6776
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 494 0 0 0 13783 1383 0 0 18 0 1 0 1842071644 4759552 465 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 465 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1055.55
Current children cumulated vsize (Kb) 6776
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 494 0 0 0 14386 1514 0 0 18 0 1 0 1842071644 4759552 465 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1162 465 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1062.89
Current children cumulated vsize (Kb) 6776
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.03 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 495 0 0 0 14994 1642 0 0 25 0 1 0 1842071644 4759552 466 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1162 466 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1070.25
Current children cumulated vsize (Kb) 6776
[startup+1260.1 s]
Raw data (loadavg): 1.15 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 500 0 0 0 15831 1697 0 0 19 0 1 0 1842071644 4759552 471 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 471 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1079.17
Current children cumulated vsize (Kb) 6776
[startup+1270.11 s]
Raw data (loadavg): 1.13 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 504 0 0 0 16682 1748 0 0 25 0 1 0 1842071644 4759552 475 4294967295 134512640 134702520 3221223712 3221222992 134553465 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 475 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1088.19
Current children cumulated vsize (Kb) 6776
[startup+1280.11 s]
Raw data (loadavg): 1.11 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 507 0 0 0 17573 1784 0 0 25 0 1 0 1842071644 4759552 478 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 478 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1097.46
Current children cumulated vsize (Kb) 6776
[startup+1290.11 s]
Raw data (loadavg): 1.09 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 513 0 0 0 18379 1851 0 0 18 0 1 0 1842071644 4759552 484 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 484 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1106.19
Current children cumulated vsize (Kb) 6776
[startup+1300.11 s]
Raw data (loadavg): 1.08 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 513 0 0 0 19002 1976 0 0 18 0 1 0 1842071644 4759552 484 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 484 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1113.67
Current children cumulated vsize (Kb) 6776
[startup+1310.11 s]
Raw data (loadavg): 1.06 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 514 0 0 0 19626 2105 0 0 24 0 1 0 1842071644 4759552 485 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1162 485 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1121.2
Current children cumulated vsize (Kb) 6776
[startup+1320.11 s]
Raw data (loadavg): 1.13 1.07 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 517 0 0 0 20504 2146 0 0 25 0 1 0 1842071644 4759552 488 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 488 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1130.39
Current children cumulated vsize (Kb) 6776
[startup+1330.11 s]
Raw data (loadavg): 1.11 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 522 0 0 0 21310 2211 0 0 25 0 1 0 1842071644 4759552 493 4294967295 134512640 134702520 3221223712 3221222832 134578861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 493 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1139.1
Current children cumulated vsize (Kb) 6776
[startup+1340.11 s]
Raw data (loadavg): 1.10 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 525 0 0 0 22204 2245 0 0 25 0 1 0 1842071644 4759552 496 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 496 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1148.38
Current children cumulated vsize (Kb) 6776
[startup+1350.11 s]
Raw data (loadavg): 1.08 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 527 0 0 0 23092 2284 0 0 25 0 1 0 1842071644 4759552 498 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 498 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1157.65
Current children cumulated vsize (Kb) 6776
[startup+1360.11 s]
Raw data (loadavg): 1.07 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 529 0 0 0 23781 2391 0 0 18 0 1 0 1842071644 4759552 500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 500 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1165.61
Current children cumulated vsize (Kb) 6776
[startup+1370.11 s]
Raw data (loadavg): 1.06 1.05 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 529 0 0 0 24405 2515 0 0 18 0 1 0 1842071644 4759552 500 4294967295 134512640 134702520 3221223712 3221222608 134554398 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 500 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1173.09
Current children cumulated vsize (Kb) 6776
[startup+1380.11 s]
Raw data (loadavg): 1.05 1.05 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 534 0 0 0 25160 2599 0 0 18 0 1 0 1842071644 4870144 505 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1189 505 413 48 0 1141 0
[pid=21546] vsize: 4756
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (Kb) 6884
[startup+1390.12 s]
Raw data (loadavg): 1.04 1.05 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 538 0 0 0 26038 2640 0 0 25 0 1 0 1842071644 4870144 509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1189 509 413 48 0 1141 0
[pid=21546] vsize: 4756
Current children cumulated CPU time (s) 1190.67
Current children cumulated vsize (Kb) 6884
[startup+1400.12 s]
Raw data (loadavg): 1.03 1.05 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 540 0 0 0 26966 2663 0 0 18 0 1 0 1842071644 4870144 511 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1189 511 413 48 0 1141 0
[pid=21546] vsize: 4756
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (Kb) 6884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1400.12 s]
Raw data (loadavg): 1.03 1.05 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 540 0 0 0 26966 2663 0 0 18 0 1 0 1842071644 4870144 511 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1189 511 413 48 0 1141 0
[pid=21546] vsize: 4756
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (Kb) 6884
Sending SIGTERM to -21541
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=21548
New process pid=21549
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/15372/stat
open syscall for file /proc/15372/status
open syscall for file /proc/15372/cmdline
open syscall for file /proc/15372/environ
open syscall for file /proc/2659/stat
open syscall for file /proc/2659/status
open syscall for file /proc/2659/cmdline
open syscall for file /proc/2659/environ
open syscall for file /proc/2686/stat
open syscall for file /proc/2686/status
open syscall for file /proc/2686/cmdline
open syscall for file /proc/2686/environ
open syscall for file /proc/2710/stat
open syscall for file /proc/2710/status
open syscall for file /proc/2710/cmdline
open syscall for file /proc/2710/environ
open syscall for file /proc/30711/stat
open syscall for file /proc/30711/status
open syscall for file /proc/30711/cmdline
open syscall for file /proc/30711/environ
open syscall for file /proc/30712/stat
open syscall for file /proc/30712/status
open syscall for file /proc/30712/cmdline
open syscall for file /proc/30712/environ
open syscall for file /proc/704/stat
open syscall for file /proc/704/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/704/cmdline
open syscall for file /proc/704/environ
open syscall for file /proc/739/stat
open syscall for file /proc/739/status
open syscall for file /proc/739/cmdline
open syscall for file /proc/739/environ
open syscall for file /proc/16528/stat
open syscall for file /proc/16528/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/16528/cmdline
open syscall for file /proc/16528/environ
open syscall for file /proc/16529/stat
open syscall for file /proc/16529/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/16529/cmdline
open syscall for file /proc/16529/environ
open syscall for file /proc/16538/stat
open syscall for file /proc/16538/status
open syscall for file /proc/16538/cmdline
open syscall for file /proc/16538/environ
open syscall for file /proc/21504/stat
open syscall for file /proc/21504/status
open syscall for file /proc/21504/cmdline
open syscall for file /proc/21504/environ
open syscall for file /proc/21540/stat
open syscall for file /proc/21540/status
open syscall for file /proc/21540/cmdline
open syscall for file /proc/21540/environ
open syscall for file /proc/21541/stat
open syscall for file /proc/21541/status
open syscall for file /proc/21541/cmdline
open syscall for file /proc/21541/environ
open syscall for file /proc/21546/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/21546/status
open syscall for file /proc/21546/cmdline
open syscall for file /proc/21546/environ
open syscall for file /proc/21548/stat
open syscall for file /proc/21548/status
open syscall for file /proc/21548/cmdline
open syscall for file /proc/21548/environ
open syscall for file /proc/21549/stat
open syscall for file /proc/21549/status
open syscall for file /proc/21549/cmdline
open syscall for file /proc/21549/environ
One traced child (pid=21546) exited with status: 3
One traced child (pid=21548) exited with status: 0
One traced child (pid=21549) exited with status: 0
New process pid=21550
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=21550) exited with status: 0
New process pid=21551
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=21551) exited with status: 0
One traced child (pid=21541) 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): 1400.62
CPU time (s): 1200.41
CPU user time (s): 1098.16
CPU system time (s): 102.246
CPU usage (%): 85.7056
Max. virtual memory (cumulated for all children) (Kb): 7120