1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 27 (#equs: 0)
#decisions: 265; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1323, #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: 16079 (8430:>=*);
#decisions: 264; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1323, #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: 16088 (8421:>=*);
#decisions: 265; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 1323, #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: 16096 (8413:>=*);
#decisions: 269; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 1323, #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: 16097 (8412:>=*);
#decisions: 267; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1323, #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: 16105 (8404:>=*);
#decisions: 1191; #end-nodes: 161;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 0 / 80 (80)
#axs: 1323, #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: 16170 (8339:>=*);
#decisions: 263; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1323, #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: 16179 (8330:>=*);
#decisions: 433; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 1323, #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: 16229 (8280:>=*);
#decisions: 266; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1323, #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: 16237 (8272:>=*);
#decisions: 316; #end-nodes: 55;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 55 / 80 (80)
#axs: 1323, #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: 16245 (8264:>=*);
#decisions: 264; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 1323, #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: 16246 (8263:>=*);
#decisions: 1176; #end-nodes: 161;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 0 / 80 (80)
#axs: 1323, #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: 16321 (8188:>=*);
#decisions: 274; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1323, #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: 16329 (8180:>=*);
#decisions: 279; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 1323, #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: 16338 (8171:>=*);
#decisions: 324; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 1323, #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: 16372 (8137:>=*);
#decisions: 274; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1323, #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: 16380 (8129:>=*);
#decisions: 352; #end-nodes: 67;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 67 / 80 (80)
#axs: 1323, #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: 16404 (8105:>=*);
#decisions: 276; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 1323, #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: 16413 (8096:>=*);
#decisions: 276; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 1323, #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: 16422 (8087:>=*);
#decisions: 10503; #end-nodes: 2422;
#proof improvement attempts: 0; #restarts: 29
Current batch, end-nodes: 0 / 87 (87)
#axs: 1323, #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: 16538 (7971:>=*);
#decisions: 62147; #end-nodes: 16826;
#proof improvement attempts: 0; #restarts: 167
Current batch, end-nodes: 0 / 121 (121)
#axs: 1323, #non-axs: 1
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: 16550 (7959:>=*);
#decisions: 257; #end-nodes: 19;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 1323, #non-axs: 1
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: 16559 (7950:>=*);
#decisions: 24336; #end-nodes: 6035;
#proof improvement attempts: 0; #restarts: 68
Current batch, end-nodes: 29 / 97 (97)
#axs: 1323, #non-axs: 1
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: 16561 (7948:>=*);
#decisions: 251; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1323, #non-axs: 1
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: 16570 (7939:>=*);
#decisions: 395; #end-nodes: 69;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 69 / 80 (80)
#axs: 1323, #non-axs: 1
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: 16603 (7906:>=*);
#decisions: 248; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 1323, #non-axs: 1
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: 16612 (7897:>=*);
#decisions: 311570; #end-nodes: 110391;
#proof improvement attempts: 0; #restarts: 673
Current batch, end-nodes: 57 / 248 (248)
#axs: 1323, #non-axs: 2
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: 16616 (7893:>=*);
#decisions: 183464; #end-nodes: 58271;
#proof improvement attempts: 0; #restarts: 434
Current batch, end-nodes: 84 / 188 (188)
#axs: 1323, #non-axs: 2
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: 16622 (7887:>=*);
#decisions: 81966; #end-nodes: 22564;
#proof improvement attempts: 0; #restarts: 212
Current batch, end-nodes: 45 / 133 (133)
#axs: 1323, #non-axs: 2
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: 16623 (7886:>=*);
#decisions: 16347; #end-nodes: 3843;
#proof improvement attempts: 0; #restarts: 45
Current batch, end-nodes: 0 / 91 (91)
#axs: 1323, #non-axs: 2
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: 16628 (7881:>=*);
#decisions: 258; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 1323, #non-axs: 2
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: 16637 (7872:>=*);
#decisions: 274; #end-nodes: 18;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 1323, #non-axs: 2
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: 16646 (7863:>=*);
#decisions: 69347; #end-nodes: 18836;
#proof improvement attempts: 0; #restarts: 183
Current batch, end-nodes: 51 / 125 (125)
#axs: 1323, #non-axs: 2
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: 16650 (7859:>=*);
#decisions: 319; #end-nodes: 35;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 1323, #non-axs: 2
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: 16651 (7858:>=*);
#decisions: 2216217; #end-nodes: 1125923;
#proof improvement attempts: 0; #restarts: 2699
Current batch, end-nodes: 4 / 754 (754)
#axs: 1323, #non-axs: 2
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: 16656 (7853:>=*);
#decisions: 247; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 1323, #non-axs: 2
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: 16657 (7852:>=*);
#decisions: 247; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1323, #non-axs: 2
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: 16664 (7845:>=*);
#decisions: 242; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 1323, #non-axs: 2
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: 16665 (7844:>=*);
#decisions: 266; #end-nodes: 24;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 1323, #non-axs: 2
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: 16666 (7843:>=*);
#decisions: 260; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 1323, #non-axs: 2
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: 16673 (7836:>=*);
#decisions: 242; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 1323, #non-axs: 2
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: 16674 (7835:>=*);
#decisions: 413495; #end-nodes: 155143;
#proof improvement attempts: 0; #restarts: 839
Current batch, end-nodes: 224 / 289 (289)
#axs: 1323, #non-axs: 2
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: 16679 (7830:>=*);
#decisions: 1069866; #end-nodes: 482560;
#proof improvement attempts: 0; #restarts: 1671
Current batch, end-nodes: 214 / 497 (497)
#axs: 1323, #non-axs: 2
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: 16684 (7825:>=*);
#decisions: 367046; #end-nodes: 134983;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 1323, #non-axs: 2
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:) 16684 (7825:>=*)
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: 27 (#equs: 0)
Time taken: 15 min, 0 sec
2:
seed: 0
Nr of vars set: 27 (#equs: 0)
Nr of vars set: 27 (#equs: 0)
#decisions: 217303; #end-nodes: 80130;
#proof improvement attempts: 0; #restarts: 454
Current batch, end-nodes: 0 / 233 (233)
#axs: 1081, #non-axs: 2
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: 16694 (6681:>=*);
#decisions: 271; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 120 (120)
#axs: 1081, #non-axs: 2
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: 16703 (6672:>=*);
#decisions: 272; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 1081, #non-axs: 2
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: 16712 (6663:>=*);
#decisions: 281; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 120 (120)
#axs: 1081, #non-axs: 2
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: 16720 (6655:>=*);
#decisions: 392; #end-nodes: 44;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 44 / 120 (120)
#axs: 1081, #non-axs: 2
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: 16762 (6613:>=*);
#decisions: 397; #end-nodes: 108;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 108 / 120 (120)
#axs: 1081, #non-axs: 2
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: 16787 (6588:>=*);
#decisions: 271; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 120 (120)
#axs: 1081, #non-axs: 2
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: 16796 (6579:>=*);
#decisions: 273; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 1081, #non-axs: 2
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: 16804 (6571:>=*);
Interupt request received.
Model found with constant:
(pushed:) 16804 (6571:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 27 (#equs: 0)
Time taken: 5 min, 3 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) R 8818 8819 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787646425 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8819/statm): 174 3 169 147 0 27 0
[pid=8819] 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=8820
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=8820) exited with status: 0
New process pid=8821
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=8821) exited with status: 0
New process pid=8822
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/wulflinc13/normalized-my_adder.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0029 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 382 0 0 0 294 217 0 0 16 0 1 0 1787646432 2580480 352 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 630 352 413 48 0 582 0
[pid=8822] vsize: 2520
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (Kb) 4648
[startup+20.0045 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 386 0 0 0 646 429 0 0 16 0 1 0 1787646432 2580480 356 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 630 356 413 48 0 582 0
[pid=8822] vsize: 2520
Current children cumulated CPU time (s) 10.75
Current children cumulated vsize (Kb) 4648
[startup+30.0052 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 390 0 0 0 1026 623 0 0 16 0 1 0 1787646432 2707456 360 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 661 360 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 16.49
Current children cumulated vsize (Kb) 4772
[startup+40.0069 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 393 0 0 0 1419 825 0 0 16 0 1 0 1787646432 2707456 363 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 661 363 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 22.44
Current children cumulated vsize (Kb) 4772
[startup+50.0085 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 394 0 0 0 1741 1041 0 0 16 0 1 0 1787646432 2707456 364 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 661 364 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 27.82
Current children cumulated vsize (Kb) 4772
[startup+60.0092 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 396 0 0 0 2115 1236 0 0 15 0 1 0 1787646432 2707456 366 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 661 366 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 33.51
Current children cumulated vsize (Kb) 4772
[startup+70.0109 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 400 0 0 0 2472 1450 0 0 16 0 1 0 1787646432 2707456 370 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 661 370 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 39.22
Current children cumulated vsize (Kb) 4772
[startup+80.0115 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 403 0 0 0 2832 1656 0 0 16 0 1 0 1787646432 2707456 373 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 661 373 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 44.88
Current children cumulated vsize (Kb) 4772
[startup+90.0131 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 407 0 0 0 3256 1845 0 0 16 0 1 0 1787646432 2707456 377 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 661 377 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (Kb) 4772
[startup+100.014 s]
Raw data (loadavg): 1.09 1.02 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 409 0 0 0 3625 2049 0 0 16 0 1 0 1787646432 2707456 379 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 661 379 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 56.74
Current children cumulated vsize (Kb) 4772
[startup+110.014 s]
Raw data (loadavg): 1.15 1.03 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 412 0 0 0 4024 2241 0 0 16 0 1 0 1787646432 2707456 382 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 661 382 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 62.65
Current children cumulated vsize (Kb) 4772
[startup+120.016 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 416 0 0 0 4476 2414 0 0 16 0 1 0 1787646432 2707456 386 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 661 386 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 68.9
Current children cumulated vsize (Kb) 4772
[startup+130.017 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 417 0 0 0 4832 2625 0 0 16 0 1 0 1787646432 2707456 387 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 661 387 413 48 0 613 0
[pid=8822] vsize: 2644
Current children cumulated CPU time (s) 74.57
Current children cumulated vsize (Kb) 4772
[startup+140.018 s]
Raw data (loadavg): 1.09 1.03 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 420 0 0 0 5308 2793 0 0 16 0 1 0 1787646432 2838528 390 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 390 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 81.01
Current children cumulated vsize (Kb) 4900
[startup+150.019 s]
Raw data (loadavg): 1.07 1.03 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 421 0 0 0 5623 3008 0 0 16 0 1 0 1787646432 2838528 391 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 391 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 86.31
Current children cumulated vsize (Kb) 4900
[startup+160.02 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 421 0 0 0 5955 3227 0 0 16 0 1 0 1787646432 2838528 391 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 391 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 91.82
Current children cumulated vsize (Kb) 4900
[startup+170.02 s]
Raw data (loadavg): 1.20 1.06 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 421 0 0 0 6341 3429 0 0 16 0 1 0 1787646432 2838528 391 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 391 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 97.7
Current children cumulated vsize (Kb) 4900
[startup+180.021 s]
Raw data (loadavg): 1.25 1.07 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 421 0 0 0 6689 3642 0 0 16 0 1 0 1787646432 2838528 391 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 391 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 103.31
Current children cumulated vsize (Kb) 4900
[startup+190.023 s]
Raw data (loadavg): 1.29 1.08 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 421 0 0 0 7045 3851 0 0 16 0 1 0 1787646432 2838528 391 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 391 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 108.96
Current children cumulated vsize (Kb) 4900
[startup+200.023 s]
Raw data (loadavg): 1.24 1.08 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 422 0 0 0 7484 4028 0 0 16 0 1 0 1787646432 2838528 392 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 392 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 115.12
Current children cumulated vsize (Kb) 4900
[startup+210.024 s]
Raw data (loadavg): 1.21 1.08 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 424 0 0 0 7836 4235 0 0 16 0 1 0 1787646432 2838528 394 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 394 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 120.71
Current children cumulated vsize (Kb) 4900
[startup+220.026 s]
Raw data (loadavg): 1.17 1.08 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 424 0 0 0 8247 4425 0 0 16 0 1 0 1787646432 2838528 394 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 394 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 126.72
Current children cumulated vsize (Kb) 4900
[startup+230.026 s]
Raw data (loadavg): 1.15 1.07 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 425 0 0 0 8585 4641 0 0 16 0 1 0 1787646432 2838528 395 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 395 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 132.26
Current children cumulated vsize (Kb) 4900
[startup+240.028 s]
Raw data (loadavg): 1.12 1.07 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 425 0 0 0 8931 4851 0 0 16 0 1 0 1787646432 2838528 395 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 395 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 137.82
Current children cumulated vsize (Kb) 4900
[startup+250.029 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 425 0 0 0 9303 5055 0 0 16 0 1 0 1787646432 2838528 395 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 395 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 143.58
Current children cumulated vsize (Kb) 4900
[startup+260.029 s]
Raw data (loadavg): 1.09 1.06 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 425 0 0 0 9641 5274 0 0 16 0 1 0 1787646432 2838528 395 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 395 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 149.15
Current children cumulated vsize (Kb) 4900
[startup+270.03 s]
Raw data (loadavg): 1.07 1.06 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 425 0 0 0 10036 5466 0 0 15 0 1 0 1787646432 2838528 395 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 395 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 155.02
Current children cumulated vsize (Kb) 4900
[startup+280.031 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 425 0 0 0 10400 5671 0 0 16 0 1 0 1787646432 2838528 395 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 395 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 160.71
Current children cumulated vsize (Kb) 4900
[startup+290.032 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 426 0 0 0 10773 5879 0 0 16 0 1 0 1787646432 2838528 396 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 396 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 166.52
Current children cumulated vsize (Kb) 4900
[startup+300.033 s]
Raw data (loadavg): 1.04 1.05 1.01 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 426 0 0 0 11105 6095 0 0 16 0 1 0 1787646432 2838528 396 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 396 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 172
Current children cumulated vsize (Kb) 4900
[startup+310.034 s]
Raw data (loadavg): 1.04 1.05 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 426 0 0 0 11498 6291 0 0 16 0 1 0 1787646432 2838528 396 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 396 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 177.89
Current children cumulated vsize (Kb) 4900
[startup+320.034 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 427 0 0 0 11870 6494 0 0 16 0 1 0 1787646432 2838528 397 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 397 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 183.64
Current children cumulated vsize (Kb) 4900
[startup+330.035 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 427 0 0 0 12233 6706 0 0 16 0 1 0 1787646432 2838528 397 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 397 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 189.39
Current children cumulated vsize (Kb) 4900
[startup+340.037 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 428 0 0 0 12674 6886 0 0 16 0 1 0 1787646432 2838528 398 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 398 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 195.6
Current children cumulated vsize (Kb) 4900
[startup+350.037 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 428 0 0 0 13031 7098 0 0 16 0 1 0 1787646432 2838528 398 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 398 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 201.29
Current children cumulated vsize (Kb) 4900
[startup+360.038 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 429 0 0 0 13430 7301 0 0 16 0 1 0 1787646432 2838528 399 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 399 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 207.31
Current children cumulated vsize (Kb) 4900
[startup+370.04 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 430 0 0 0 13844 7493 0 0 16 0 1 0 1787646432 2838528 400 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 400 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 213.37
Current children cumulated vsize (Kb) 4900
[startup+380.04 s]
Raw data (loadavg): 1.12 1.07 1.02 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 431 0 0 0 14206 7704 0 0 16 0 1 0 1787646432 2838528 401 4294967295 134512640 134702520 3221223968 3221223248 134553409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 401 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 219.1
Current children cumulated vsize (Kb) 4900
[startup+390.042 s]
Raw data (loadavg): 1.10 1.07 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 433 0 0 0 14696 7866 0 0 16 0 1 0 1787646432 2838528 403 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 693 403 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 225.62
Current children cumulated vsize (Kb) 4900
[startup+400.043 s]
Raw data (loadavg): 1.16 1.08 1.02 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 435 0 0 0 15065 8067 0 0 16 0 1 0 1787646432 2838528 405 4294967295 134512640 134702520 3221223968 3221223088 134588162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 405 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 231.32
Current children cumulated vsize (Kb) 4900
[startup+410.043 s]
Raw data (loadavg): 1.13 1.08 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 437 0 0 0 15574 8227 0 0 16 0 1 0 1787646432 2838528 407 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 407 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 238.01
Current children cumulated vsize (Kb) 4900
[startup+420.044 s]
Raw data (loadavg): 1.11 1.07 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 439 0 0 0 15969 8431 0 0 16 0 1 0 1787646432 2838528 409 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 409 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 244
Current children cumulated vsize (Kb) 4900
[startup+430.044 s]
Raw data (loadavg): 1.09 1.07 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 444 0 0 0 16459 8593 0 0 16 0 1 0 1787646432 2838528 414 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 414 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 250.52
Current children cumulated vsize (Kb) 4900
[startup+440.046 s]
Raw data (loadavg): 1.08 1.07 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 447 0 0 0 16844 8796 0 0 16 0 1 0 1787646432 2838528 417 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 693 417 413 48 0 645 0
[pid=8822] vsize: 2772
Current children cumulated CPU time (s) 256.4
Current children cumulated vsize (Kb) 4900
[startup+450.047 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 451 0 0 0 17356 8958 0 0 16 0 1 0 1787646432 2969600 421 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 725 421 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 263.14
Current children cumulated vsize (Kb) 5028
[startup+460.047 s]
Raw data (loadavg): 1.13 1.08 1.02 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 453 0 0 0 17758 9159 0 0 16 0 1 0 1787646432 2969600 423 4294967295 134512640 134702520 3221223968 3221223072 134574826 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 725 423 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 269.17
Current children cumulated vsize (Kb) 5028
[startup+470.049 s]
Raw data (loadavg): 1.11 1.08 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 454 0 0 0 18264 9315 0 0 16 0 1 0 1787646432 2969600 424 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 725 424 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 275.79
Current children cumulated vsize (Kb) 5028
[startup+480.05 s]
Raw data (loadavg): 1.17 1.09 1.02 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 457 0 0 0 18666 9507 0 0 16 0 1 0 1787646432 2969600 427 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 725 427 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 281.73
Current children cumulated vsize (Kb) 5028
[startup+490.051 s]
Raw data (loadavg): 1.21 1.10 1.03 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 459 0 0 0 19209 9664 0 0 16 0 1 0 1787646432 2969600 429 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 725 429 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 288.73
Current children cumulated vsize (Kb) 5028
[startup+500.053 s]
Raw data (loadavg): 1.18 1.10 1.03 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 461 0 0 0 19605 9862 0 0 16 0 1 0 1787646432 2969600 431 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 725 431 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 294.67
Current children cumulated vsize (Kb) 5028
[startup+510.054 s]
Raw data (loadavg): 1.23 1.11 1.03 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 463 0 0 0 20145 10013 0 0 16 0 1 0 1787646432 2969600 433 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 725 433 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 301.58
Current children cumulated vsize (Kb) 5028
[startup+520.055 s]
Raw data (loadavg): 1.19 1.11 1.03 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 465 0 0 0 20530 10222 0 0 16 0 1 0 1787646432 2969600 435 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 725 435 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 307.52
Current children cumulated vsize (Kb) 5028
[startup+530.057 s]
Raw data (loadavg): 1.23 1.12 1.03 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 468 0 0 0 21080 10371 0 0 16 0 1 0 1787646432 2969600 438 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 725 438 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 314.51
Current children cumulated vsize (Kb) 5028
[startup+540.058 s]
Raw data (loadavg): 1.28 1.13 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 470 0 0 0 21483 10561 0 0 16 0 1 0 1787646432 2969600 440 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 725 440 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 320.44
Current children cumulated vsize (Kb) 5028
[startup+550.059 s]
Raw data (loadavg): 1.31 1.14 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 473 0 0 0 22022 10714 0 0 16 0 1 0 1787646432 2969600 443 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 725 443 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 327.36
Current children cumulated vsize (Kb) 5028
[startup+560.06 s]
Raw data (loadavg): 1.26 1.14 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 475 0 0 0 22449 10898 0 0 16 0 1 0 1787646432 2969600 445 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 725 445 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 333.47
Current children cumulated vsize (Kb) 5028
[startup+570.062 s]
Raw data (loadavg): 1.22 1.13 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 476 0 0 0 22984 11050 0 0 16 0 1 0 1787646432 2969600 446 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 725 446 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 340.34
Current children cumulated vsize (Kb) 5028
[startup+580.062 s]
Raw data (loadavg): 1.18 1.13 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 479 0 0 0 23486 11214 0 0 16 0 1 0 1787646432 2969600 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 725 449 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 347
Current children cumulated vsize (Kb) 5028
[startup+590.063 s]
Raw data (loadavg): 1.16 1.12 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 481 0 0 0 23937 11392 0 0 16 0 1 0 1787646432 2969600 451 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 725 451 413 48 0 677 0
[pid=8822] vsize: 2900
Current children cumulated CPU time (s) 353.29
Current children cumulated vsize (Kb) 5028
[startup+600.064 s]
Raw data (loadavg): 1.21 1.14 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 483 0 0 0 24523 11533 0 0 16 0 1 0 1787646432 3100672 453 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 757 453 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 360.56
Current children cumulated vsize (Kb) 5156
[startup+610.064 s]
Raw data (loadavg): 1.25 1.15 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 485 0 0 0 24906 11733 0 0 16 0 1 0 1787646432 3100672 455 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 757 455 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 366.39
Current children cumulated vsize (Kb) 5156
[startup+620.065 s]
Raw data (loadavg): 1.21 1.14 1.05 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 489 0 0 0 25474 11877 0 0 16 0 1 0 1787646432 3100672 459 4294967295 134512640 134702520 3221223968 3221223088 134578986 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 757 459 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 373.51
Current children cumulated vsize (Kb) 5156
[startup+630.066 s]
Raw data (loadavg): 1.18 1.14 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 491 0 0 0 25912 12060 0 0 16 0 1 0 1787646432 3100672 461 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 757 461 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 379.72
Current children cumulated vsize (Kb) 5156
[startup+640.066 s]
Raw data (loadavg): 1.15 1.13 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 495 0 0 0 26452 12213 0 0 16 0 1 0 1787646432 3100672 465 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 757 465 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 386.65
Current children cumulated vsize (Kb) 5156
[startup+650.067 s]
Raw data (loadavg): 1.20 1.14 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 498 0 0 0 27019 12352 0 0 15 0 1 0 1787646432 3100672 468 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 757 468 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 393.71
Current children cumulated vsize (Kb) 5156
[startup+660.068 s]
Raw data (loadavg): 1.25 1.15 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 499 0 0 0 27441 12538 0 0 16 0 1 0 1787646432 3100672 469 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 757 469 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 399.79
Current children cumulated vsize (Kb) 5156
[startup+670.069 s]
Raw data (loadavg): 1.29 1.17 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 502 0 0 0 28034 12678 0 0 16 0 1 0 1787646432 3100672 472 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 757 472 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 407.12
Current children cumulated vsize (Kb) 5156
[startup+680.07 s]
Raw data (loadavg): 1.24 1.16 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 504 0 0 0 28445 12869 0 0 16 0 1 0 1787646432 3100672 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 757 474 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 413.14
Current children cumulated vsize (Kb) 5156
[startup+690.071 s]
Raw data (loadavg): 1.21 1.15 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 506 0 0 0 29028 13005 0 0 16 0 1 0 1787646432 3100672 476 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 757 476 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 420.33
Current children cumulated vsize (Kb) 5156
[startup+700.071 s]
Raw data (loadavg): 1.17 1.15 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 506 0 0 0 29600 13154 0 0 16 0 1 0 1787646432 3100672 476 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 757 476 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 427.54
Current children cumulated vsize (Kb) 5156
[startup+710.072 s]
Raw data (loadavg): 1.15 1.14 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 508 0 0 0 30004 13347 0 0 16 0 1 0 1787646432 3100672 478 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 757 478 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 433.51
Current children cumulated vsize (Kb) 5156
[startup+720.073 s]
Raw data (loadavg): 1.20 1.15 1.06 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 511 0 0 0 30593 13481 0 0 16 0 1 0 1787646432 3100672 481 4294967295 134512640 134702520 3221223968 3221223248 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 757 481 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 440.74
Current children cumulated vsize (Kb) 5156
[startup+730.073 s]
Raw data (loadavg): 1.17 1.15 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 511 0 0 0 31090 13647 0 0 16 0 1 0 1787646432 3100672 481 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 757 481 413 48 0 709 0
[pid=8822] vsize: 3028
Current children cumulated CPU time (s) 447.37
Current children cumulated vsize (Kb) 5156
[startup+740.074 s]
Raw data (loadavg): 1.14 1.14 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 514 0 0 0 31608 13808 0 0 15 0 1 0 1787646432 3227648 484 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 484 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 454.16
Current children cumulated vsize (Kb) 5280
[startup+750.076 s]
Raw data (loadavg): 1.12 1.14 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 516 0 0 0 32190 13951 0 0 16 0 1 0 1787646432 3227648 486 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 486 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 461.41
Current children cumulated vsize (Kb) 5280
[startup+760.076 s]
Raw data (loadavg): 1.10 1.13 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 518 0 0 0 32615 14140 0 0 16 0 1 0 1787646432 3227648 488 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 488 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 467.55
Current children cumulated vsize (Kb) 5280
[startup+770.078 s]
Raw data (loadavg): 1.09 1.13 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 519 0 0 0 33208 14277 0 0 15 0 1 0 1787646432 3227648 489 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 489 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 474.85
Current children cumulated vsize (Kb) 5280
[startup+780.078 s]
Raw data (loadavg): 1.07 1.12 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 522 0 0 0 33807 14407 0 0 16 0 1 0 1787646432 3227648 492 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 492 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 482.14
Current children cumulated vsize (Kb) 5280
[startup+790.079 s]
Raw data (loadavg): 1.06 1.12 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 524 0 0 0 34231 14594 0 0 16 0 1 0 1787646432 3227648 494 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 494 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 488.25
Current children cumulated vsize (Kb) 5280
[startup+800.08 s]
Raw data (loadavg): 1.05 1.11 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 525 0 0 0 34858 14717 0 0 16 0 1 0 1787646432 3227648 495 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 495 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 495.75
Current children cumulated vsize (Kb) 5280
[startup+810.08 s]
Raw data (loadavg): 1.04 1.11 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 527 0 0 0 35400 14868 0 0 16 0 1 0 1787646432 3227648 497 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 497 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 502.68
Current children cumulated vsize (Kb) 5280
[startup+820.081 s]
Raw data (loadavg): 1.04 1.11 1.05 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 529 0 0 0 35895 15036 0 0 16 0 1 0 1787646432 3227648 499 4294967295 134512640 134702520 3221223968 3221223088 134578847 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 499 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 509.31
Current children cumulated vsize (Kb) 5280
[startup+830.082 s]
Raw data (loadavg): 1.03 1.10 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 530 0 0 0 36497 15169 0 0 16 0 1 0 1787646432 3227648 500 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 500 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 516.66
Current children cumulated vsize (Kb) 5280
[startup+840.082 s]
Raw data (loadavg): 1.02 1.10 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 531 0 0 0 36966 15340 0 0 16 0 1 0 1787646432 3227648 501 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 501 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 523.06
Current children cumulated vsize (Kb) 5280
[startup+850.083 s]
Raw data (loadavg): 1.02 1.09 1.04 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 532 0 0 0 37510 15496 0 0 16 0 1 0 1787646432 3227648 502 4294967295 134512640 134702520 3221223968 3221223248 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 502 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 530.06
Current children cumulated vsize (Kb) 5280
[startup+860.084 s]
Raw data (loadavg): 1.09 1.11 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 534 0 0 0 38148 15616 0 0 16 0 1 0 1787646432 3227648 504 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 504 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 537.64
Current children cumulated vsize (Kb) 5280
[startup+870.084 s]
Raw data (loadavg): 1.08 1.10 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 537 0 0 0 38553 15813 0 0 16 0 1 0 1787646432 3227648 507 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 507 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 543.66
Current children cumulated vsize (Kb) 5280
[startup+880.085 s]
Raw data (loadavg): 1.14 1.12 1.05 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 537 0 0 0 39003 15990 0 0 16 0 1 0 1787646432 3227648 507 4294967295 134512640 134702520 3221223968 3221223248 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 507 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 549.93
Current children cumulated vsize (Kb) 5280
[startup+890.086 s]
Raw data (loadavg): 1.12 1.11 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 39313 16210 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 555.23
Current children cumulated vsize (Kb) 5280
[startup+900.086 s]
Raw data (loadavg): 1.18 1.12 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 39660 16424 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 560.84
Current children cumulated vsize (Kb) 5280
[startup+910.087 s]
Raw data (loadavg): 1.15 1.12 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 40073 16616 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 566.89
Current children cumulated vsize (Kb) 5280
[startup+920.088 s]
Raw data (loadavg): 1.13 1.12 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 40402 16835 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 572.37
Current children cumulated vsize (Kb) 5280
[startup+930.088 s]
Raw data (loadavg): 1.11 1.11 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 40802 17030 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 578.32
Current children cumulated vsize (Kb) 5280
[startup+940.089 s]
Raw data (loadavg): 1.09 1.11 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 41212 17220 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 584.32
Current children cumulated vsize (Kb) 5280
[startup+950.09 s]
Raw data (loadavg): 1.23 1.14 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 41585 17419 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 590.04
Current children cumulated vsize (Kb) 5280
[startup+960.09 s]
Raw data (loadavg): 1.20 1.13 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 42046 17591 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 596.37
Current children cumulated vsize (Kb) 5280
[startup+970.092 s]
Raw data (loadavg): 1.16 1.13 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 42397 17798 0 0 15 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 601.95
Current children cumulated vsize (Kb) 5280
[startup+980.093 s]
Raw data (loadavg): 1.14 1.12 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 42824 17983 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 608.07
Current children cumulated vsize (Kb) 5280
[startup+990.093 s]
Raw data (loadavg): 1.12 1.12 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 43250 18166 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 614.16
Current children cumulated vsize (Kb) 5280
[startup+1000.09 s]
Raw data (loadavg): 1.18 1.13 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 43644 18363 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 620.07
Current children cumulated vsize (Kb) 5280
[startup+1010.1 s]
Raw data (loadavg): 1.15 1.12 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 44108 18533 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 626.41
Current children cumulated vsize (Kb) 5280
[startup+1020.1 s]
Raw data (loadavg): 1.13 1.12 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 44493 18732 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 632.25
Current children cumulated vsize (Kb) 5280
[startup+1030.1 s]
Raw data (loadavg): 1.11 1.12 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 44841 18942 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 637.83
Current children cumulated vsize (Kb) 5280
[startup+1040.1 s]
Raw data (loadavg): 1.09 1.11 1.06 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 538 0 0 0 45190 19152 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223088 134572608 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 643.42
Current children cumulated vsize (Kb) 5280
[startup+1050.1 s]
Raw data (loadavg): 1.08 1.11 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 45594 19342 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 649.36
Current children cumulated vsize (Kb) 5280
[startup+1060.1 s]
Raw data (loadavg): 1.06 1.10 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 45947 19555 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 655.02
Current children cumulated vsize (Kb) 5280
[startup+1070.1 s]
Raw data (loadavg): 1.05 1.10 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 46311 19760 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 660.71
Current children cumulated vsize (Kb) 5280
[startup+1080.1 s]
Raw data (loadavg): 1.05 1.10 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 46747 19939 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 666.86
Current children cumulated vsize (Kb) 5280
[startup+1090.1 s]
Raw data (loadavg): 1.04 1.09 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 47122 20140 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 672.62
Current children cumulated vsize (Kb) 5280
[startup+1100.1 s]
Raw data (loadavg): 1.03 1.09 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 47552 20323 0 0 15 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 678.75
Current children cumulated vsize (Kb) 5280
[startup+1110.11 s]
Raw data (loadavg): 1.03 1.08 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 47955 20522 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 684.77
Current children cumulated vsize (Kb) 5280
[startup+1120.11 s]
Raw data (loadavg): 1.10 1.10 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 48368 20715 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 690.83
Current children cumulated vsize (Kb) 5280
[startup+1130.11 s]
Raw data (loadavg): 1.09 1.09 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 48809 20900 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 697.09
Current children cumulated vsize (Kb) 5280
[startup+1140.11 s]
Raw data (loadavg): 1.07 1.09 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 49199 21094 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 702.93
Current children cumulated vsize (Kb) 5280
[startup+1150.11 s]
Raw data (loadavg): 1.06 1.09 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 49712 21250 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 709.62
Current children cumulated vsize (Kb) 5280
[startup+1160.11 s]
Raw data (loadavg): 1.12 1.10 1.06 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 50091 21448 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 715.39
Current children cumulated vsize (Kb) 5280
[startup+1170.11 s]
Raw data (loadavg): 1.10 1.10 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 50578 21611 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 721.89
Current children cumulated vsize (Kb) 5280
[startup+1180.11 s]
Raw data (loadavg): 1.09 1.09 1.06 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 50956 21809 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 727.65
Current children cumulated vsize (Kb) 5280
[startup+1190.11 s]
Raw data (loadavg): 1.07 1.09 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 51466 21967 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 734.33
Current children cumulated vsize (Kb) 5280
[startup+1200.12 s]
Raw data (loadavg): 1.06 1.08 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 538 0 0 0 51839 22166 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 740.05
Current children cumulated vsize (Kb) 5280
[startup+1210.12 s]
Raw data (loadavg): 1.05 1.08 1.05 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 538 0 0 0 52365 22316 0 0 16 0 1 0 1787646432 3227648 508 4294967295 134512640 134702520 3221223968 3221223088 134573853 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 508 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 746.81
Current children cumulated vsize (Kb) 5280
[startup+1220.12 s]
Raw data (loadavg): 1.04 1.08 1.05 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) R 8819 8819 1333 0 -1 0 539 0 0 0 52752 22510 0 0 16 0 1 0 1787646432 3227648 509 4294967295 134512640 134702520 3221223968 3221223248 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 509 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 752.62
Current children cumulated vsize (Kb) 5280
[startup+1230.12 s]
Raw data (loadavg): 1.04 1.08 1.05 2/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 539 0 0 0 53285 22660 0 0 16 0 1 0 1787646432 3227648 509 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 509 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 759.45
Current children cumulated vsize (Kb) 5280
[startup+1240.12 s]
Raw data (loadavg): 1.03 1.07 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 539 0 0 0 53688 22854 0 0 16 0 1 0 1787646432 3227648 509 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 509 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 765.42
Current children cumulated vsize (Kb) 5280
[startup+1250.12 s]
Raw data (loadavg): 1.11 1.09 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 539 0 0 0 54231 23001 0 0 16 0 1 0 1787646432 3227648 509 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 509 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 772.32
Current children cumulated vsize (Kb) 5280
[startup+1260.12 s]
Raw data (loadavg): 1.09 1.08 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 539 0 0 0 54617 23198 0 0 16 0 1 0 1787646432 3227648 509 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 509 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 778.15
Current children cumulated vsize (Kb) 5280
[startup+1270.12 s]
Raw data (loadavg): 1.07 1.08 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 539 0 0 0 55160 23350 0 0 16 0 1 0 1787646432 3227648 509 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 509 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 785.1
Current children cumulated vsize (Kb) 5280
[startup+1280.12 s]
Raw data (loadavg): 1.06 1.08 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 539 0 0 0 55609 23536 0 0 16 0 1 0 1787646432 3227648 509 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 509 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 791.45
Current children cumulated vsize (Kb) 5280
[startup+1290.12 s]
Raw data (loadavg): 1.05 1.08 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 539 0 0 0 56142 23687 0 0 16 0 1 0 1787646432 3227648 509 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 509 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 798.29
Current children cumulated vsize (Kb) 5280
[startup+1300.12 s]
Raw data (loadavg): 1.04 1.07 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 56635 23853 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 804.88
Current children cumulated vsize (Kb) 5280
[startup+1310.13 s]
Raw data (loadavg): 1.04 1.07 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 57101 24023 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 811.24
Current children cumulated vsize (Kb) 5280
[startup+1320.13 s]
Raw data (loadavg): 1.03 1.07 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 57672 24169 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 818.41
Current children cumulated vsize (Kb) 5280
[startup+1330.13 s]
Raw data (loadavg): 1.03 1.06 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 58067 24367 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 824.34
Current children cumulated vsize (Kb) 5280
[startup+1340.13 s]
Raw data (loadavg): 1.02 1.06 1.05 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 58513 24545 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 830.58
Current children cumulated vsize (Kb) 5280
[startup+1350.13 s]
Raw data (loadavg): 1.02 1.06 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 58835 24763 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 835.98
Current children cumulated vsize (Kb) 5280
[startup+1360.13 s]
Raw data (loadavg): 1.01 1.06 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 59188 24967 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 841.55
Current children cumulated vsize (Kb) 5280
[startup+1370.13 s]
Raw data (loadavg): 1.01 1.05 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 59570 25159 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 847.29
Current children cumulated vsize (Kb) 5280
[startup+1380.13 s]
Raw data (loadavg): 1.01 1.05 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 59921 25364 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 852.85
Current children cumulated vsize (Kb) 5280
[startup+1390.13 s]
Raw data (loadavg): 1.01 1.05 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 60311 25557 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 858.68
Current children cumulated vsize (Kb) 5280
[startup+1400.14 s]
Raw data (loadavg): 1.01 1.05 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 60686 25763 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 864.49
Current children cumulated vsize (Kb) 5280
[startup+1410.14 s]
Raw data (loadavg): 1.08 1.06 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 61039 25970 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 870.09
Current children cumulated vsize (Kb) 5280
[startup+1420.14 s]
Raw data (loadavg): 1.07 1.06 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 61514 26142 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 876.56
Current children cumulated vsize (Kb) 5280
[startup+1430.14 s]
Raw data (loadavg): 1.06 1.06 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 61865 26351 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (Kb) 5280
[startup+1440.14 s]
Raw data (loadavg): 1.05 1.06 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 62302 26534 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 888.36
Current children cumulated vsize (Kb) 5280
[startup+1450.14 s]
Raw data (loadavg): 1.04 1.05 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 62699 26732 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 894.31
Current children cumulated vsize (Kb) 5280
[startup+1460.14 s]
Raw data (loadavg): 1.04 1.05 1.04 1/57 8822
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1787646425 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 242 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8822/stat): 8822 (vallst) T 8819 8819 1333 0 -1 0 540 0 0 0 63079 26935 0 0 16 0 1 0 1787646432 3227648 510 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8822/statm): 788 510 413 48 0 740 0
[pid=8822] vsize: 3152
Current children cumulated CPU time (s) 900.14
Current children cumulated vsize (Kb) 5280
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=8822) exited with status: 2
New process pid=8823
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=8823) exited with status: 0
New process pid=8824
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+1470.14 s]
Raw data (loadavg): 1.03 1.05 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 371 0 0 0 264 189 0 0 16 0 1 0 1787792589 2576384 342 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 629 342 413 48 0 581 0
[pid=8824] vsize: 2516
Current children cumulated CPU time (s) 905.23
Current children cumulated vsize (Kb) 4644
[startup+1480.14 s]
Raw data (loadavg): 1.02 1.05 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 380 0 0 0 593 397 0 0 16 0 1 0 1787792589 2707456 351 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 661 351 413 48 0 613 0
[pid=8824] vsize: 2644
Current children cumulated CPU time (s) 910.6
Current children cumulated vsize (Kb) 4772
[startup+1490.14 s]
Raw data (loadavg): 1.02 1.05 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 387 0 0 0 969 605 0 0 16 0 1 0 1787792589 2707456 358 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 661 358 413 48 0 613 0
[pid=8824] vsize: 2644
Current children cumulated CPU time (s) 916.44
Current children cumulated vsize (Kb) 4772
[startup+1500.15 s]
Raw data (loadavg): 1.09 1.06 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 392 0 0 0 1270 834 0 0 16 0 1 0 1787792589 2707456 363 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 661 363 413 48 0 613 0
[pid=8824] vsize: 2644
Current children cumulated CPU time (s) 921.74
Current children cumulated vsize (Kb) 4772
[startup+1510.15 s]
Raw data (loadavg): 1.08 1.06 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 396 0 0 0 1630 1042 0 0 16 0 1 0 1787792589 2707456 367 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 661 367 413 48 0 613 0
[pid=8824] vsize: 2644
Current children cumulated CPU time (s) 927.42
Current children cumulated vsize (Kb) 4772
[startup+1520.15 s]
Raw data (loadavg): 1.06 1.06 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 401 0 0 0 2031 1231 0 0 16 0 1 0 1787792589 2707456 372 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 661 372 413 48 0 613 0
[pid=8824] vsize: 2644
Current children cumulated CPU time (s) 933.32
Current children cumulated vsize (Kb) 4772
[startup+1530.15 s]
Raw data (loadavg): 1.13 1.07 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 403 0 0 0 2355 1449 0 0 16 0 1 0 1787792589 2707456 374 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 661 374 413 48 0 613 0
[pid=8824] vsize: 2644
Current children cumulated CPU time (s) 938.74
Current children cumulated vsize (Kb) 4772
[startup+1540.15 s]
Raw data (loadavg): 1.11 1.07 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 409 0 0 0 2780 1635 0 0 16 0 1 0 1787792589 2711552 380 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 662 380 413 48 0 614 0
[pid=8824] vsize: 2648
Current children cumulated CPU time (s) 944.85
Current children cumulated vsize (Kb) 4776
[startup+1550.15 s]
Raw data (loadavg): 1.09 1.06 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 410 0 0 0 3088 1853 0 0 15 0 1 0 1787792589 2711552 381 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 662 381 413 48 0 614 0
[pid=8824] vsize: 2648
Current children cumulated CPU time (s) 950.11
Current children cumulated vsize (Kb) 4776
[startup+1560.15 s]
Raw data (loadavg): 1.08 1.06 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 411 0 0 0 3486 2039 0 0 16 0 1 0 1787792589 2711552 382 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 662 382 413 48 0 614 0
[pid=8824] vsize: 2648
Current children cumulated CPU time (s) 955.95
Current children cumulated vsize (Kb) 4776
[startup+1570.15 s]
Raw data (loadavg): 1.06 1.06 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 413 0 0 0 3815 2253 0 0 16 0 1 0 1787792589 2838528 384 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 693 384 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 961.38
Current children cumulated vsize (Kb) 4900
[startup+1580.15 s]
Raw data (loadavg): 1.05 1.06 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 415 0 0 0 4119 2480 0 0 16 0 1 0 1787792589 2838528 386 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 693 386 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 966.69
Current children cumulated vsize (Kb) 4900
[startup+1590.15 s]
Raw data (loadavg): 1.04 1.05 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 417 0 0 0 4551 2663 0 0 16 0 1 0 1787792589 2838528 388 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 693 388 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 972.84
Current children cumulated vsize (Kb) 4900
[startup+1600.15 s]
Raw data (loadavg): 1.04 1.05 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 419 0 0 0 4882 2878 0 0 16 0 1 0 1787792589 2838528 390 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 693 390 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 978.3
Current children cumulated vsize (Kb) 4900
[startup+1610.16 s]
Raw data (loadavg): 1.03 1.05 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 422 0 0 0 5237 3086 0 0 16 0 1 0 1787792589 2838528 393 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 693 393 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 983.93
Current children cumulated vsize (Kb) 4900
[startup+1620.16 s]
Raw data (loadavg): 1.03 1.05 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 425 0 0 0 5673 3274 0 0 16 0 1 0 1787792589 2838528 396 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 693 396 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 990.17
Current children cumulated vsize (Kb) 4900
[startup+1630.16 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) R 8819 8819 1333 0 -1 0 427 0 0 0 5995 3492 0 0 16 0 1 0 1787792589 2838528 398 4294967295 134512640 134702520 3221223712 3221222832 134579031 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8824/statm): 693 398 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 995.57
Current children cumulated vsize (Kb) 4900
[startup+1640.16 s]
Raw data (loadavg): 1.02 1.04 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 430 0 0 0 6454 3667 0 0 16 0 1 0 1787792589 2838528 401 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 693 401 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (Kb) 4900
[startup+1650.16 s]
Raw data (loadavg): 1.01 1.04 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 433 0 0 0 6810 3873 0 0 16 0 1 0 1787792589 2838528 404 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 693 404 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 1007.53
Current children cumulated vsize (Kb) 4900
[startup+1660.16 s]
Raw data (loadavg): 1.01 1.04 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 435 0 0 0 7206 4068 0 0 16 0 1 0 1787792589 2838528 406 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 693 406 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 1013.44
Current children cumulated vsize (Kb) 4900
[startup+1670.16 s]
Raw data (loadavg): 1.01 1.04 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 438 0 0 0 7640 4252 0 0 16 0 1 0 1787792589 2838528 409 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 693 409 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 1019.62
Current children cumulated vsize (Kb) 4900
[startup+1680.16 s]
Raw data (loadavg): 1.01 1.04 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 441 0 0 0 7976 4469 0 0 16 0 1 0 1787792589 2838528 412 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 693 412 413 48 0 645 0
[pid=8824] vsize: 2772
Current children cumulated CPU time (s) 1025.15
Current children cumulated vsize (Kb) 4900
[startup+1690.16 s]
Raw data (loadavg): 1.01 1.03 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 444 0 0 0 8480 4625 0 0 16 0 1 0 1787792589 2965504 415 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 724 415 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1031.75
Current children cumulated vsize (Kb) 5024
[startup+1700.16 s]
Raw data (loadavg): 1.00 1.03 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 448 0 0 0 8833 4842 0 0 16 0 1 0 1787792589 2965504 419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 724 419 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1037.45
Current children cumulated vsize (Kb) 5024
[startup+1710.16 s]
Raw data (loadavg): 1.00 1.03 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 452 0 0 0 9340 5004 0 0 16 0 1 0 1787792589 2965504 423 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 724 423 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1044.14
Current children cumulated vsize (Kb) 5024
[startup+1720.16 s]
Raw data (loadavg): 1.00 1.03 1.02 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 454 0 0 0 9706 5213 0 0 16 0 1 0 1787792589 2965504 425 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 724 425 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1049.89
Current children cumulated vsize (Kb) 5024
[startup+1730.16 s]
Raw data (loadavg): 1.08 1.04 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 457 0 0 0 10208 5376 0 0 16 0 1 0 1787792589 2965504 428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 724 428 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1056.54
Current children cumulated vsize (Kb) 5024
[startup+1740.17 s]
Raw data (loadavg): 1.14 1.06 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 460 0 0 0 10572 5576 0 0 16 0 1 0 1787792589 2965504 431 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 724 431 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1062.18
Current children cumulated vsize (Kb) 5024
[startup+1750.17 s]
Raw data (loadavg): 1.12 1.06 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 464 0 0 0 11087 5732 0 0 16 0 1 0 1787792589 2965504 435 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 724 435 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1068.89
Current children cumulated vsize (Kb) 5024
[startup+1760.17 s]
Raw data (loadavg): 1.10 1.05 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 466 0 0 0 11450 5933 0 0 16 0 1 0 1787792589 2965504 437 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 724 437 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1074.53
Current children cumulated vsize (Kb) 5024
[startup+1770.17 s]
Raw data (loadavg): 1.09 1.05 1.03 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 469 0 0 0 11989 6085 0 0 16 0 1 0 1787792589 2965504 440 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 724 440 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1081.44
Current children cumulated vsize (Kb) 5024
[startup+1780.17 s]
Raw data (loadavg): 1.23 1.08 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 470 0 0 0 12378 6283 0 0 16 0 1 0 1787792589 2965504 441 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 724 441 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1087.31
Current children cumulated vsize (Kb) 5024
[startup+1790.17 s]
Raw data (loadavg): 1.19 1.08 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 474 0 0 0 12912 6433 0 0 16 0 1 0 1787792589 2965504 445 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 724 445 413 48 0 676 0
[pid=8824] vsize: 2896
Current children cumulated CPU time (s) 1094.15
Current children cumulated vsize (Kb) 5024
[startup+1800.17 s]
Raw data (loadavg): 1.16 1.08 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 478 0 0 0 13274 6636 0 0 16 0 1 0 1787792589 3096576 449 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 756 449 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1099.8
Current children cumulated vsize (Kb) 5152
[startup+1810.17 s]
Raw data (loadavg): 1.21 1.09 1.04 2/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) R 8819 8819 1333 0 -1 0 482 0 0 0 13798 6790 0 0 16 0 1 0 1787792589 3096576 453 4294967295 134512640 134702520 3221223712 3221222832 134588530 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8824/statm): 756 453 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1106.58
Current children cumulated vsize (Kb) 5152
[startup+1820.18 s]
Raw data (loadavg): 1.18 1.09 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 483 0 0 0 14189 6988 0 0 16 0 1 0 1787792589 3096576 454 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 756 454 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1112.47
Current children cumulated vsize (Kb) 5152
[startup+1830.18 s]
Raw data (loadavg): 1.15 1.08 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 486 0 0 0 14728 7138 0 0 16 0 1 0 1787792589 3096576 457 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 756 457 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1119.36
Current children cumulated vsize (Kb) 5152
[startup+1840.18 s]
Raw data (loadavg): 1.13 1.08 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 490 0 0 0 15200 7308 0 0 16 0 1 0 1787792589 3096576 461 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 756 461 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1125.78
Current children cumulated vsize (Kb) 5152
[startup+1850.18 s]
Raw data (loadavg): 1.18 1.09 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 492 0 0 0 15664 7476 0 0 16 0 1 0 1787792589 3096576 463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 756 463 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1132.1
Current children cumulated vsize (Kb) 5152
[startup+1860.18 s]
Raw data (loadavg): 1.15 1.09 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 496 0 0 0 16214 7622 0 0 16 0 1 0 1787792589 3096576 467 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 756 467 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1139.06
Current children cumulated vsize (Kb) 5152
[startup+1870.18 s]
Raw data (loadavg): 1.13 1.09 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 498 0 0 0 16604 7827 0 0 16 0 1 0 1787792589 3096576 469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 756 469 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1145.01
Current children cumulated vsize (Kb) 5152
[startup+1880.18 s]
Raw data (loadavg): 1.11 1.08 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 501 0 0 0 17149 7975 0 0 15 0 1 0 1787792589 3096576 472 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 756 472 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1151.94
Current children cumulated vsize (Kb) 5152
[startup+1890.18 s]
Raw data (loadavg): 1.17 1.10 1.05 2/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) R 8819 8819 1333 0 -1 0 502 0 0 0 17541 8174 0 0 16 0 1 0 1787792589 3096576 473 4294967295 134512640 134702520 3221223712 3221222832 134584554 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8824/statm): 756 473 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1157.85
Current children cumulated vsize (Kb) 5152
[startup+1900.19 s]
Raw data (loadavg): 1.14 1.09 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 503 0 0 0 18094 8319 0 0 16 0 1 0 1787792589 3096576 474 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 756 474 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1164.83
Current children cumulated vsize (Kb) 5152
[startup+1910.19 s]
Raw data (loadavg): 1.12 1.09 1.04 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 505 0 0 0 18540 8495 0 0 16 0 1 0 1787792589 3096576 476 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 756 476 413 48 0 708 0
[pid=8824] vsize: 3024
Current children cumulated CPU time (s) 1171.05
Current children cumulated vsize (Kb) 5152
[startup+1920.19 s]
Raw data (loadavg): 1.18 1.10 1.05 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 508 0 0 0 19060 8655 0 0 16 0 1 0 1787792589 3227648 479 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 788 479 413 48 0 740 0
[pid=8824] vsize: 3152
Current children cumulated CPU time (s) 1177.85
Current children cumulated vsize (Kb) 5280
[startup+1930.19 s]
Raw data (loadavg): 1.15 1.10 1.05 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 511 0 0 0 19631 8801 0 0 16 0 1 0 1787792589 3227648 482 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 788 482 413 48 0 740 0
[pid=8824] vsize: 3152
Current children cumulated CPU time (s) 1185.02
Current children cumulated vsize (Kb) 5280
[startup+1940.19 s]
Raw data (loadavg): 1.21 1.11 1.05 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 512 0 0 0 20008 8998 0 0 16 0 1 0 1787792589 3227648 483 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 788 483 413 48 0 740 0
[pid=8824] vsize: 3152
Current children cumulated CPU time (s) 1190.76
Current children cumulated vsize (Kb) 5280
[startup+1950.19 s]
Raw data (loadavg): 1.18 1.11 1.05 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 514 0 0 0 20575 9145 0 0 16 0 1 0 1787792589 3227648 485 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8824/statm): 788 485 413 48 0 740 0
[pid=8824] vsize: 3152
Current children cumulated CPU time (s) 1197.9
Current children cumulated vsize (Kb) 5280
[startup+1960.19 s]
Raw data (loadavg): 1.15 1.10 1.05 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 516 0 0 0 20962 9342 0 0 15 0 1 0 1787792589 3227648 487 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 788 487 413 48 0 740 0
[pid=8824] vsize: 3152
Current children cumulated CPU time (s) 1203.74
Current children cumulated vsize (Kb) 5280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1960.19 s]
Raw data (loadavg): 1.15 1.10 1.05 1/57 8824
Raw data (/proc/8819/stat): 8819 (vallstSAT2005PB) S 8818 8819 1333 0 -1 0 378 917 0 0 1 1 63101 26967 17 0 1 0 1787646425 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8819/statm): 532 248 485 147 0 385 0
[pid=8819] vsize: 2128
Raw data (/proc/8824/stat): 8824 (vallst) T 8819 8819 1333 0 -1 0 516 0 0 0 20962 9342 0 0 15 0 1 0 1787792589 3227648 487 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8824/statm): 788 487 413 48 0 740 0
[pid=8824] vsize: 3152
Current children cumulated CPU time (s) 1203.74
Current children cumulated vsize (Kb) 5280
Sending SIGTERM to -8819
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=8826
New process pid=8827
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=8824) exited with status: 3
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1517/stat
open syscall for file /proc/1517/status
open syscall for file /proc/1517/cmdline
open syscall for file /proc/1517/environ
open syscall for file /proc/1541/stat
open syscall for file /proc/1541/status
open syscall for file /proc/1541/cmdline
open syscall for file /proc/1541/environ
open syscall for file /proc/1564/stat
open syscall for file /proc/1564/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/1564/cmdline
open syscall for file /proc/1564/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/22415/stat
open syscall for file /proc/22415/status
open syscall for file /proc/22415/cmdline
open syscall for file /proc/22415/environ
open syscall for file /proc/26525/stat
open syscall for file /proc/26525/status
open syscall for file /proc/26525/cmdline
open syscall for file /proc/26525/environ
open syscall for file /proc/26552/stat
open syscall for file /proc/26552/status
open syscall for file /proc/26552/cmdline
open syscall for file /proc/26552/environ
open syscall for file /proc/26576/stat
open syscall for file /proc/26576/status
open syscall for file /proc/26576/cmdline
open syscall for file /proc/26576/environ
open syscall for file /proc/16566/stat
open syscall for file /proc/16566/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/16566/cmdline
open syscall for file /proc/16566/environ
open syscall for file /proc/16602/stat
open syscall for file /proc/16602/status
open syscall for file /proc/16602/cmdline
open syscall for file /proc/16602/environ
open syscall for file /proc/1333/stat
open syscall for file /proc/1333/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/1333/cmdline
open syscall for file /proc/1333/environ
open syscall for file /proc/1334/stat
open syscall for file /proc/1334/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/1334/cmdline
open syscall for file /proc/1334/environ
open syscall for file /proc/1343/stat
open syscall for file /proc/1343/status
open syscall for file /proc/1343/cmdline
open syscall for file /proc/1343/environ
open syscall for file /proc/8782/stat
open syscall for file /proc/8782/status
open syscall for file /proc/8782/cmdline
open syscall for file /proc/8782/environ
open syscall for file /proc/8818/stat
open syscall for file /proc/8818/status
open syscall for file /proc/8818/cmdline
open syscall for file /proc/8818/environ
open syscall for file /proc/8819/stat
open syscall for file /proc/8819/status
open syscall for file /proc/8819/cmdline
open syscall for file /proc/8819/environ
open syscall for file /proc/8826/stat
open syscall for file /proc/8826/status
open syscall for file /proc/8826/cmdline
open syscall for file /proc/8826/environ
open syscall for file /proc/8827/stat
open syscall for file /proc/8827/status
open syscall for file /proc/8827/cmdline
open syscall for file /proc/8827/environ
One traced child (pid=8826) exited with status: 0
One traced child (pid=8827) exited with status: 0
New process pid=8828
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=8828) exited with status: 0
New process pid=8829
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=8829) exited with status: 0
One traced child (pid=8819) 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): 1960.69
CPU time (s): 1203.88
CPU user time (s): 840.687
CPU system time (s): 363.188
CPU usage (%): 61.4007
Max. virtual memory (cumulated for all children) (Kb): 5280