1:
seed: 0
Nr of vars set: 1008 (#equs: 0)
Nr of vars set: 1008 (#equs: 0)
#decisions: 3658; #end-nodes: 283;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 41 / 80 (80)
#axs: 141, #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: 499323668 (3288463:>=*);
#decisions: 820; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 141, #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: 499323676 (3288455:>=*);
#decisions: 884; #end-nodes: 42;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 141, #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: 499323726 (3288405:>=*);
#decisions: 821; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 141, #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: 499323732 (3288399:>=*);
#decisions: 812; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 141, #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: 499323734 (3288397:>=*);
#decisions: 825; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 141, #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: 499323737 (3288394:>=*);
#decisions: 842; #end-nodes: 31;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 141, #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: 499323740 (3288391:>=*);
#decisions: 867; #end-nodes: 39;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 39 / 80 (80)
#axs: 141, #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: 499323755 (3288376:>=*);
#decisions: 810; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 141, #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: 499323757 (3288374:>=*);
#decisions: 835; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 141, #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: 499323761 (3288370:>=*);
#decisions: 813; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #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: 499323771 (3288360:>=*);
#decisions: 837; #end-nodes: 29;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 141, #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: 499323774 (3288357:>=*);
#decisions: 1806; #end-nodes: 107;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 27 / 80 (80)
#axs: 141, #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: 499468496 (3143635:>=*);
#decisions: 878; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 141, #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: 499468506 (3143625:>=*);
#decisions: 878; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 141, #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: 499468509 (3143622:>=*);
#decisions: 883; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 141, #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: 499468510 (3143621:>=*);
#decisions: 951; #end-nodes: 45;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 141, #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: 499468593 (3143538:>=*);
#decisions: 932; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 141, #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: 499468603 (3143528:>=*);
#decisions: 944; #end-nodes: 50;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 50 / 80 (80)
#axs: 141, #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: 499468627 (3143504:>=*);
#decisions: 3387; #end-nodes: 277;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 34 / 80 (80)
#axs: 141, #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: 499680185 (2931946:>=*);
#decisions: 732; #end-nodes: 37;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 141, #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: 499681689 (2930442:>=*);
#decisions: 3277; #end-nodes: 280;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 37 / 80 (80)
#axs: 141, #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: 499776106 (2836025:>=*);
#decisions: 725; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 141, #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: 499776108 (2836023:>=*);
#decisions: 729; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 141, #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: 499779247 (2832884:>=*);
#decisions: 694; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 141, #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: 499779359 (2832772:>=*);
#decisions: 37987; #end-nodes: 3883;
#proof improvement attempts: 0; #restarts: 45
Current batch, end-nodes: 27 / 91 (91)
#axs: 141, #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: 499833861 (2778270:>=*);
#decisions: 749; #end-nodes: 25;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 141, #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: 499833875 (2778256:>=*);
#decisions: 710; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #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: 499833881 (2778250:>=*);
#decisions: 791; #end-nodes: 76;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 76 / 80 (80)
#axs: 141, #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: 499833889 (2778242:>=*);
#decisions: 76256; #end-nodes: 8290;
#proof improvement attempts: 0; #restarts: 90
Current batch, end-nodes: 66 / 102 (102)
#axs: 141, #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: 500174901 (2437230:>=*);
#decisions: 476; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #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: 500174908 (2437223:>=*);
#decisions: 475; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #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: 500174910 (2437221:>=*);
#decisions: 509; #end-nodes: 35;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 141, #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: 500174912 (2437219:>=*);
#decisions: 647; #end-nodes: 79;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 79 / 80 (80)
#axs: 141, #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: 500177535 (2434596:>=*);
#decisions: 456; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #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: 500178175 (2433956:>=*);
#decisions: 516; #end-nodes: 50;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 50 / 80 (80)
#axs: 141, #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: 500178191 (2433940:>=*);
#decisions: 609506; #end-nodes: 110234;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 500178191 (2433940:>=*)
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: 1008 (#equs: 0)
Time taken: 5 min, 0 sec
2:
seed: 0
Nr of vars set: 1008 (#equs: 0)
Nr of vars set: 1008 (#equs: 0)
#decisions: 864101; #end-nodes: 194021;
#proof improvement attempts: 0; #restarts: 854
Current batch, end-nodes: 295 / 333 (333)
#axs: 141, #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: 1680226 (2428993:>=*);
#decisions: 478; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 141, #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: 1680274 (2428945:>=*);
#decisions: 484; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 120 (120)
#axs: 141, #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: 1680318 (2428901:>=*);
#decisions: 495; #end-nodes: 18;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 18 / 120 (120)
#axs: 141, #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: 1680366 (2428853:>=*);
#decisions: 147318; #end-nodes: 24191;
#proof improvement attempts: 0; #restarts: 171
Current batch, end-nodes: 29 / 162 (162)
#axs: 141, #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: 1862305 (2246914:>=*);
#decisions: 1432167; #end-nodes: 378305;
#proof improvement attempts: 0; #restarts: 1324
Current batch, end-nodes: 383 / 451 (451)
#axs: 141, #non-axs: 42
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: 1862401 (2246818:>=*);
#decisions: 504; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 120 (120)
#axs: 141, #non-axs: 42
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: 1862408 (2246811:>=*);
#decisions: 298378; #end-nodes: 55570;
#proof improvement attempts: 0; #restarts: 341
Current batch, end-nodes: 153 / 205 (205)
#axs: 141, #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: 1862530 (2246689:>=*);
#decisions: 530; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 141, #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: 1862562 (2246657:>=*);
#decisions: 546; #end-nodes: 25;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 25 / 120 (120)
#axs: 141, #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: 1862572 (2246647:>=*);
#decisions: 522; #end-nodes: 27;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 27 / 120 (120)
#axs: 141, #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: 1862577 (2246642:>=*);
Interupt request received.
#decisions: 813076; #end-nodes: 189155;
#proof improvement attempts: 0; #restarts: 840
Current batch, end-nodes: 232 / 330 (330)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 1862577 (2246642:>=*)
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: 1602 (#equs: 0)
Time taken: 15 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/6437/stat): 6437 (vallstSAT2005PB) R 6436 6437 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20420669 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6437/statm): 174 3 169 147 0 27 0
[pid=6437] 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=6438
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=6438) exited with status: 0
New process pid=6439
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=6439) exited with status: 0
New process pid=6440
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/wulflinc5/normalized-mps-v2-13-7-ran10x10b.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0034 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 337 0 0 0 602 121 0 0 17 0 1 0 20420675 2576384 307 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 629 307 413 48 0 581 0
[pid=6440] vsize: 2516
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (Kb) 4644
[startup+20.0042 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 393 0 0 0 1248 237 0 0 19 0 1 0 20420675 3325952 363 4294967295 134512640 134702520 3221223952 3221223232 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6440/statm): 812 363 413 48 0 764 0
[pid=6440] vsize: 3248
Current children cumulated CPU time (s) 14.87
Current children cumulated vsize (Kb) 5376
[startup+30.0049 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 542 0 0 0 2023 309 0 0 25 0 1 0 20420675 3325952 512 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 812 512 413 48 0 764 0
[pid=6440] vsize: 3248
Current children cumulated CPU time (s) 23.34
Current children cumulated vsize (Kb) 5376
[startup+40.0056 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 549 0 0 0 2794 383 0 0 20 0 1 0 20420675 3452928 519 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 519 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 31.79
Current children cumulated vsize (Kb) 5500
[startup+50.0074 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 554 0 0 0 3612 440 0 0 23 0 1 0 20420675 3452928 524 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 524 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 40.54
Current children cumulated vsize (Kb) 5500
[startup+60.0081 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 558 0 0 0 4398 508 0 0 20 0 1 0 20420675 3452928 528 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 843 528 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 49.08
Current children cumulated vsize (Kb) 5500
[startup+70.0088 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 561 0 0 0 5219 564 0 0 21 0 1 0 20420675 3452928 531 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 531 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 57.85
Current children cumulated vsize (Kb) 5500
[startup+80.0106 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 562 0 0 0 6090 608 0 0 25 0 1 0 20420675 3452928 532 4294967295 134512640 134702520 3221223952 3221222848 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 532 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 67
Current children cumulated vsize (Kb) 5500
[startup+90.0113 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 562 0 0 0 6955 652 0 0 20 0 1 0 20420675 3452928 532 4294967295 134512640 134702520 3221223952 3221199408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 532 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 76.09
Current children cumulated vsize (Kb) 5500
[startup+100.012 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 565 0 0 0 7780 709 0 0 22 0 1 0 20420675 3452928 535 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 535 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 84.91
Current children cumulated vsize (Kb) 5500
[startup+110.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 567 0 0 0 8602 766 0 0 25 0 1 0 20420675 3452928 537 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 537 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 93.7
Current children cumulated vsize (Kb) 5500
[startup+120.013 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 567 0 0 0 9485 803 0 0 25 0 1 0 20420675 3452928 537 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 537 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 102.9
Current children cumulated vsize (Kb) 5500
[startup+130.013 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 569 0 0 0 10337 850 0 0 25 0 1 0 20420675 3452928 539 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 539 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 111.89
Current children cumulated vsize (Kb) 5500
[startup+140.014 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 571 0 0 0 11151 913 0 0 21 0 1 0 20420675 3452928 541 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 843 541 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 120.66
Current children cumulated vsize (Kb) 5500
[startup+150.016 s]
Raw data (loadavg): 1.14 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 574 0 0 0 11979 965 0 0 25 0 1 0 20420675 3452928 544 4294967295 134512640 134702520 3221223952 3221223120 134658402 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 544 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 129.46
Current children cumulated vsize (Kb) 5500
[startup+160.016 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 574 0 0 0 12862 1004 0 0 25 0 1 0 20420675 3452928 544 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 544 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 138.68
Current children cumulated vsize (Kb) 5500
[startup+170.016 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 575 0 0 0 13718 1050 0 0 25 0 1 0 20420675 3452928 545 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 545 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 147.7
Current children cumulated vsize (Kb) 5500
[startup+180.017 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 578 0 0 0 14530 1111 0 0 22 0 1 0 20420675 3452928 548 4294967295 134512640 134702520 3221223952 3221223232 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 548 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 156.43
Current children cumulated vsize (Kb) 5500
[startup+190.018 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 580 0 0 0 15356 1168 0 0 22 0 1 0 20420675 3579904 550 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 874 550 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 165.26
Current children cumulated vsize (Kb) 5624
[startup+200.018 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 581 0 0 0 16242 1205 0 0 25 0 1 0 20420675 3579904 551 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 551 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 174.49
Current children cumulated vsize (Kb) 5624
[startup+210.019 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 582 0 0 0 17105 1251 0 0 23 0 1 0 20420675 3579904 552 4294967295 134512640 134702520 3221223952 3221217628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 552 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 183.58
Current children cumulated vsize (Kb) 5624
[startup+220.019 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 586 0 0 0 17944 1303 0 0 25 0 1 0 20420675 3579904 556 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6440/statm): 874 556 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 192.49
Current children cumulated vsize (Kb) 5624
[startup+230.02 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 589 0 0 0 18783 1357 0 0 25 0 1 0 20420675 3579904 559 4294967295 134512640 134702520 3221223952 3221222848 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 559 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 201.42
Current children cumulated vsize (Kb) 5624
[startup+240.02 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 591 0 0 0 19640 1403 0 0 25 0 1 0 20420675 3579904 561 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 561 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 210.45
Current children cumulated vsize (Kb) 5624
[startup+250.022 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 591 0 0 0 20519 1442 0 0 25 0 1 0 20420675 3579904 561 4294967295 134512640 134702520 3221223952 3221223084 1074652320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 561 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 219.63
Current children cumulated vsize (Kb) 5624
[startup+260.023 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 595 0 0 0 21354 1494 0 0 23 0 1 0 20420675 3579904 565 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 565 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 228.5
Current children cumulated vsize (Kb) 5624
[startup+270.023 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 598 0 0 0 22179 1552 0 0 23 0 1 0 20420675 3579904 568 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 568 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 237.33
Current children cumulated vsize (Kb) 5624
[startup+280.024 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 601 0 0 0 23024 1604 0 0 25 0 1 0 20420675 3579904 571 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 571 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 246.3
Current children cumulated vsize (Kb) 5624
[startup+290.025 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 601 0 0 0 23913 1642 0 0 25 0 1 0 20420675 3579904 571 4294967295 134512640 134702520 3221223952 3221222848 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 571 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 255.57
Current children cumulated vsize (Kb) 5624
[startup+300.026 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 603 0 0 0 24769 1691 0 0 23 0 1 0 20420675 3579904 573 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 874 573 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 264.62
Current children cumulated vsize (Kb) 5624
[startup+310.027 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 606 0 0 0 25613 1742 0 0 25 0 1 0 20420675 3579904 576 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 874 576 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 273.57
Current children cumulated vsize (Kb) 5624
[startup+320.027 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 608 0 0 0 26441 1798 0 0 25 0 1 0 20420675 3579904 578 4294967295 134512640 134702520 3221223952 3221223232 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 578 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 282.41
Current children cumulated vsize (Kb) 5624
[startup+330.028 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 610 0 0 0 27299 1849 0 0 25 0 1 0 20420675 3579904 580 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 580 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 291.5
Current children cumulated vsize (Kb) 5624
[startup+340.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 610 0 0 0 28180 1887 0 0 25 0 1 0 20420675 3579904 580 4294967295 134512640 134702520 3221223952 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 580 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 300.69
Current children cumulated vsize (Kb) 5624
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=6440) exited with status: 2
New process pid=6443
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=6443) exited with status: 0
New process pid=6444
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+350.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 312 0 0 0 431 170 0 0 17 0 1 0 20454701 2539520 283 4294967295 134512640 134702520 3221223712 3221222720 134553364 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6444/statm): 620 283 413 48 0 572 0
[pid=6444] vsize: 2480
Current children cumulated CPU time (s) 306.92
Current children cumulated vsize (Kb) 4608
[startup+360.03 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 496 0 0 0 1012 301 0 0 19 0 1 0 20454701 3153920 467 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 770 467 413 48 0 722 0
[pid=6444] vsize: 3080
Current children cumulated CPU time (s) 314.04
Current children cumulated vsize (Kb) 5208
[startup+370.031 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 504 0 0 0 1646 425 0 0 18 0 1 0 20454701 3153920 475 4294967295 134512640 134702520 3221223712 3221223104 134604489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6444/statm): 770 475 413 48 0 722 0
[pid=6444] vsize: 3080
Current children cumulated CPU time (s) 321.62
Current children cumulated vsize (Kb) 5208
[startup+380.032 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 506 0 0 0 2101 597 0 0 17 0 1 0 20454701 3153920 477 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 770 477 413 48 0 722 0
[pid=6444] vsize: 3080
Current children cumulated CPU time (s) 327.89
Current children cumulated vsize (Kb) 5208
[startup+390.031 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 510 0 0 0 2691 726 0 0 19 0 1 0 20454701 3153920 481 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 770 481 413 48 0 722 0
[pid=6444] vsize: 3080
Current children cumulated CPU time (s) 335.08
Current children cumulated vsize (Kb) 5208
[startup+400.033 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 515 0 0 0 3322 847 0 0 18 0 1 0 20454701 3280896 486 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 486 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 342.6
Current children cumulated vsize (Kb) 5332
[startup+410.034 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 517 0 0 0 3797 1021 0 0 17 0 1 0 20454701 3280896 488 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/6444/statm): 801 488 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 349.09
Current children cumulated vsize (Kb) 5332
[startup+420.034 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 520 0 0 0 4388 1153 0 0 17 0 1 0 20454701 3280896 491 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 491 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 356.32
Current children cumulated vsize (Kb) 5332
[startup+430.034 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 524 0 0 0 5049 1261 0 0 20 0 1 0 20454701 3280896 495 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 495 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 364.01
Current children cumulated vsize (Kb) 5332
[startup+440.035 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 527 0 0 0 5541 1425 0 0 17 0 1 0 20454701 3280896 498 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 801 498 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 370.57
Current children cumulated vsize (Kb) 5332
[startup+450.036 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 529 0 0 0 6093 1575 0 0 19 0 1 0 20454701 3280896 500 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 500 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 377.59
Current children cumulated vsize (Kb) 5332
[startup+460.037 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 534 0 0 0 6741 1688 0 0 18 0 1 0 20454701 3280896 505 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 505 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 385.2
Current children cumulated vsize (Kb) 5332
[startup+470.037 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 537 0 0 0 7318 1823 0 0 17 0 1 0 20454701 3280896 508 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 801 508 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 392.32
Current children cumulated vsize (Kb) 5332
[startup+480.038 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 539 0 0 0 7812 1990 0 0 19 0 1 0 20454701 3280896 510 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 510 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 398.93
Current children cumulated vsize (Kb) 5332
[startup+490.039 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 542 0 0 0 8470 2095 0 0 18 0 1 0 20454701 3403776 513 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 513 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 406.56
Current children cumulated vsize (Kb) 5452
[startup+500.039 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 545 0 0 0 9151 2200 0 0 23 0 1 0 20454701 3403776 516 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 516 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 414.42
Current children cumulated vsize (Kb) 5452
[startup+510.04 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 546 0 0 0 9566 2392 0 0 17 0 1 0 20454701 3403776 517 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 517 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 420.49
Current children cumulated vsize (Kb) 5452
[startup+520.04 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 549 0 0 0 10192 2511 0 0 17 0 1 0 20454701 3403776 520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 831 520 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 427.94
Current children cumulated vsize (Kb) 5452
[startup+530.041 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 552 0 0 0 10880 2612 0 0 20 0 1 0 20454701 3403776 523 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 523 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 435.83
Current children cumulated vsize (Kb) 5452
[startup+540.041 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 556 0 0 0 11423 2758 0 0 17 0 1 0 20454701 3403776 527 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 527 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 442.72
Current children cumulated vsize (Kb) 5452
[startup+550.043 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 558 0 0 0 11958 2914 0 0 22 0 1 0 20454701 3403776 529 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 831 529 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 449.63
Current children cumulated vsize (Kb) 5452
[startup+560.044 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 560 0 0 0 12612 3029 0 0 19 0 1 0 20454701 3403776 531 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 531 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 457.32
Current children cumulated vsize (Kb) 5452
[startup+570.044 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 564 0 0 0 13297 3133 0 0 18 0 1 0 20454701 3403776 535 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 535 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 465.21
Current children cumulated vsize (Kb) 5452
[startup+580.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 565 0 0 0 13755 3306 0 0 17 0 1 0 20454701 3403776 536 4294967295 134512640 134702520 3221223712 3221222480 134552225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 536 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 471.52
Current children cumulated vsize (Kb) 5452
[startup+590.046 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 566 0 0 0 14381 3419 0 0 20 0 1 0 20454701 3403776 537 4294967295 134512640 134702520 3221223712 3221222992 134552197 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 537 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 478.91
Current children cumulated vsize (Kb) 5452
[startup+600.048 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 570 0 0 0 15055 3526 0 0 18 0 1 0 20454701 3403776 541 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 831 541 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 486.72
Current children cumulated vsize (Kb) 5452
[startup+610.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 573 0 0 0 15701 3636 0 0 16 0 1 0 20454701 3530752 544 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 862 544 413 48 0 814 0
[pid=6444] vsize: 3448
Current children cumulated CPU time (s) 494.28
Current children cumulated vsize (Kb) 5576
[startup+620.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 575 0 0 0 16139 3819 0 0 17 0 1 0 20454701 3530752 546 4294967295 134512640 134702520 3221223712 3221222584 1074140576 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 862 546 413 48 0 814 0
[pid=6444] vsize: 3448
Current children cumulated CPU time (s) 500.49
Current children cumulated vsize (Kb) 5576
[startup+630.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 577 0 0 0 16826 3921 0 0 20 0 1 0 20454701 3530752 548 4294967295 134512640 134702520 3221223712 3221222932 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 862 548 413 48 0 814 0
[pid=6444] vsize: 3448
Current children cumulated CPU time (s) 508.38
Current children cumulated vsize (Kb) 5576
[startup+640.051 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 579 0 0 0 17517 4023 0 0 21 0 1 0 20454701 3530752 550 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 862 550 413 48 0 814 0
[pid=6444] vsize: 3448
Current children cumulated CPU time (s) 516.31
Current children cumulated vsize (Kb) 5576
[startup+650.053 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 585 0 0 0 18151 4142 0 0 17 0 1 0 20454701 3534848 556 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 556 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 523.84
Current children cumulated vsize (Kb) 5580
[startup+660.053 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 585 0 0 0 18770 4274 0 0 18 0 1 0 20454701 3534848 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 556 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 531.35
Current children cumulated vsize (Kb) 5580
[startup+670.054 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 585 0 0 0 19239 4441 0 0 17 0 1 0 20454701 3534848 556 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 556 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 537.71
Current children cumulated vsize (Kb) 5580
[startup+680.055 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 586 0 0 0 19808 4579 0 0 17 0 1 0 20454701 3534848 557 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 557 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 544.78
Current children cumulated vsize (Kb) 5580
[startup+690.055 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 586 0 0 0 20443 4694 0 0 19 0 1 0 20454701 3534848 557 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 557 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 552.28
Current children cumulated vsize (Kb) 5580
[startup+700.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 586 0 0 0 21053 4825 0 0 18 0 1 0 20454701 3534848 557 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 557 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 559.69
Current children cumulated vsize (Kb) 5580
[startup+710.057 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 587 0 0 0 21587 4980 0 0 17 0 1 0 20454701 3534848 558 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 558 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 566.58
Current children cumulated vsize (Kb) 5580
[startup+720.058 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 588 0 0 0 22100 5139 0 0 19 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 573.3
Current children cumulated vsize (Kb) 5580
[startup+730.058 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 588 0 0 0 22721 5263 0 0 18 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 580.75
Current children cumulated vsize (Kb) 5580
[startup+740.059 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 588 0 0 0 23273 5404 0 0 17 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 587.68
Current children cumulated vsize (Kb) 5580
[startup+750.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 588 0 0 0 23762 5572 0 0 18 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221215468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 594.25
Current children cumulated vsize (Kb) 5580
[startup+760.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 588 0 0 0 24408 5684 0 0 19 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221223104 134605152 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 601.83
Current children cumulated vsize (Kb) 5580
[startup+770.061 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 589 0 0 0 25021 5810 0 0 16 0 1 0 20454701 3534848 560 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 560 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 609.22
Current children cumulated vsize (Kb) 5580
[startup+780.063 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 590 0 0 0 25469 5979 0 0 17 0 1 0 20454701 3534848 561 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 561 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 615.39
Current children cumulated vsize (Kb) 5580
[startup+790.064 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 590 0 0 0 26133 6086 0 0 19 0 1 0 20454701 3534848 561 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 561 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 623.1
Current children cumulated vsize (Kb) 5580
[startup+800.065 s]
Raw data (loadavg): 1.20 1.05 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 590 0 0 0 26790 6198 0 0 16 0 1 0 20454701 3534848 561 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 561 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 630.79
Current children cumulated vsize (Kb) 5580
[startup+810.065 s]
Raw data (loadavg): 1.17 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 591 0 0 0 27240 6374 0 0 16 0 1 0 20454701 3534848 562 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 562 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 637.05
Current children cumulated vsize (Kb) 5580
[startup+820.066 s]
Raw data (loadavg): 1.14 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 592 0 0 0 27847 6504 0 0 15 0 1 0 20454701 3534848 563 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 563 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 644.42
Current children cumulated vsize (Kb) 5580
[startup+830.067 s]
Raw data (loadavg): 1.12 1.05 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 592 0 0 0 28513 6617 0 0 16 0 1 0 20454701 3534848 563 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 563 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 652.21
Current children cumulated vsize (Kb) 5580
[startup+840.067 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 593 0 0 0 29054 6766 0 0 15 0 1 0 20454701 3534848 564 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 564 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 659.11
Current children cumulated vsize (Kb) 5580
[startup+850.069 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 594 0 0 0 29583 6919 0 0 15 0 1 0 20454701 3534848 565 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 565 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 665.93
Current children cumulated vsize (Kb) 5580
[startup+860.07 s]
Raw data (loadavg): 1.07 1.04 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 594 0 0 0 30244 7026 0 0 15 0 1 0 20454701 3534848 565 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 565 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 673.61
Current children cumulated vsize (Kb) 5580
[startup+870.07 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 595 0 0 0 30920 7133 0 0 16 0 1 0 20454701 3534848 566 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 566 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 681.44
Current children cumulated vsize (Kb) 5580
[startup+880.07 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 595 0 0 0 31343 7325 0 0 15 0 1 0 20454701 3534848 566 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 566 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 687.59
Current children cumulated vsize (Kb) 5580
[startup+890.071 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 596 0 0 0 32001 7435 0 0 16 0 1 0 20454701 3534848 567 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 567 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 695.27
Current children cumulated vsize (Kb) 5580
[startup+900.073 s]
Raw data (loadavg): 1.16 1.07 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 597 0 0 0 32679 7540 0 0 16 0 1 0 20454701 3534848 568 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 568 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 703.1
Current children cumulated vsize (Kb) 5580
[startup+910.074 s]
Raw data (loadavg): 1.21 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 598 0 0 0 33253 7679 0 0 15 0 1 0 20454701 3534848 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 569 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 710.23
Current children cumulated vsize (Kb) 5580
[startup+920.074 s]
Raw data (loadavg): 1.17 1.08 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 599 0 0 0 33772 7838 0 0 16 0 1 0 20454701 3534848 570 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 570 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 717.01
Current children cumulated vsize (Kb) 5580
[startup+930.075 s]
Raw data (loadavg): 1.15 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 599 0 0 0 34479 7934 0 0 15 0 1 0 20454701 3534848 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 570 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 725.04
Current children cumulated vsize (Kb) 5580
[startup+940.076 s]
Raw data (loadavg): 1.12 1.07 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 602 0 0 0 35145 8046 0 0 16 0 1 0 20454701 3534848 573 4294967295 134512640 134702520 3221223712 3221222832 134588487 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 573 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 732.82
Current children cumulated vsize (Kb) 5580
[startup+950.077 s]
Raw data (loadavg): 1.10 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 603 0 0 0 35665 8202 0 0 15 0 1 0 20454701 3534848 574 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 574 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 739.58
Current children cumulated vsize (Kb) 5580
[startup+960.078 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 604 0 0 0 36253 8336 0 0 16 0 1 0 20454701 3534848 575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 575 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 746.8
Current children cumulated vsize (Kb) 5580
[startup+970.079 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 605 0 0 0 36950 8439 0 0 16 0 1 0 20454701 3653632 576 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 576 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 754.8
Current children cumulated vsize (Kb) 5696
[startup+980.08 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 607 0 0 0 37647 8541 0 0 15 0 1 0 20454701 3653632 578 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 578 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 762.79
Current children cumulated vsize (Kb) 5696
[startup+990.081 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 607 0 0 0 38117 8713 0 0 15 0 1 0 20454701 3653632 578 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 578 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 769.21
Current children cumulated vsize (Kb) 5696
[startup+1000.08 s]
Raw data (loadavg): 1.20 1.09 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 608 0 0 0 38743 8830 0 0 15 0 1 0 20454701 3653632 579 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 579 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 776.64
Current children cumulated vsize (Kb) 5696
[startup+1010.08 s]
Raw data (loadavg): 1.17 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 610 0 0 0 39443 8928 0 0 16 0 1 0 20454701 3653632 581 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 581 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 784.62
Current children cumulated vsize (Kb) 5696
[startup+1020.08 s]
Raw data (loadavg): 1.14 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 611 0 0 0 40143 9023 0 0 16 0 1 0 20454701 3653632 582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 582 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 792.57
Current children cumulated vsize (Kb) 5696
[startup+1030.08 s]
Raw data (loadavg): 1.12 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 612 0 0 0 40607 9203 0 0 15 0 1 0 20454701 3653632 583 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 583 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 799.01
Current children cumulated vsize (Kb) 5696
[startup+1040.09 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 613 0 0 0 41245 9319 0 0 16 0 1 0 20454701 3653632 584 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 584 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 806.55
Current children cumulated vsize (Kb) 5696
[startup+1050.09 s]
Raw data (loadavg): 1.08 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 616 0 0 0 41946 9417 0 0 16 0 1 0 20454701 3653632 587 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 587 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 814.54
Current children cumulated vsize (Kb) 5696
[startup+1060.09 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 617 0 0 0 42648 9513 0 0 16 0 1 0 20454701 3653632 588 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 588 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 822.52
Current children cumulated vsize (Kb) 5696
[startup+1070.09 s]
Raw data (loadavg): 1.20 1.10 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 617 0 0 0 43129 9683 0 0 15 0 1 0 20454701 3653632 588 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 588 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 829.03
Current children cumulated vsize (Kb) 5696
[startup+1080.09 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 619 0 0 0 43752 9807 0 0 16 0 1 0 20454701 3653632 590 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 590 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 836.5
Current children cumulated vsize (Kb) 5696
[startup+1090.09 s]
Raw data (loadavg): 1.14 1.09 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 622 0 0 0 44467 9899 0 0 16 0 1 0 20454701 3653632 593 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 593 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 844.57
Current children cumulated vsize (Kb) 5696
[startup+1100.09 s]
Raw data (loadavg): 1.20 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 625 0 0 0 45183 9994 0 0 16 0 1 0 20454701 3653632 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 596 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 852.68
Current children cumulated vsize (Kb) 5696
[startup+1110.09 s]
Raw data (loadavg): 1.17 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 625 0 0 0 45724 10145 0 0 15 0 1 0 20454701 3653632 596 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 596 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 859.6
Current children cumulated vsize (Kb) 5696
[startup+1120.09 s]
Raw data (loadavg): 1.14 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 626 0 0 0 46323 10283 0 0 15 0 1 0 20454701 3653632 597 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 597 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 866.97
Current children cumulated vsize (Kb) 5696
[startup+1130.09 s]
Raw data (loadavg): 1.12 1.09 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 627 0 0 0 47047 10374 0 0 16 0 1 0 20454701 3653632 598 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 598 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 875.12
Current children cumulated vsize (Kb) 5696
[startup+1140.09 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 630 0 0 0 47753 10472 0 0 16 0 1 0 20454701 3653632 601 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 601 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 883.16
Current children cumulated vsize (Kb) 5696
[startup+1150.09 s]
Raw data (loadavg): 1.17 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 630 0 0 0 48362 10602 0 0 15 0 1 0 20454701 3653632 601 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 601 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 890.55
Current children cumulated vsize (Kb) 5696
[startup+1160.09 s]
Raw data (loadavg): 1.14 1.10 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 632 0 0 0 48873 10763 0 0 16 0 1 0 20454701 3653632 603 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 603 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 897.27
Current children cumulated vsize (Kb) 5696
[startup+1170.09 s]
Raw data (loadavg): 1.20 1.11 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 634 0 0 0 49582 10857 0 0 16 0 1 0 20454701 3776512 605 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 605 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 905.3
Current children cumulated vsize (Kb) 5816
[startup+1180.1 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 637 0 0 0 50291 10953 0 0 15 0 1 0 20454701 3776512 608 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 608 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 913.35
Current children cumulated vsize (Kb) 5816
[startup+1190.1 s]
Raw data (loadavg): 1.14 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 638 0 0 0 50967 11059 0 0 16 0 1 0 20454701 3776512 609 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 609 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 921.17
Current children cumulated vsize (Kb) 5816
[startup+1200.1 s]
Raw data (loadavg): 1.12 1.10 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 638 0 0 0 51603 11183 0 0 16 0 1 0 20454701 3776512 609 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 609 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 928.77
Current children cumulated vsize (Kb) 5816
[startup+1210.1 s]
Raw data (loadavg): 1.10 1.10 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 638 0 0 0 52160 11331 0 0 15 0 1 0 20454701 3776512 609 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 609 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 935.82
Current children cumulated vsize (Kb) 5816
[startup+1220.1 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 52722 11472 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 942.85
Current children cumulated vsize (Kb) 5816
[startup+1230.1 s]
Raw data (loadavg): 1.14 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 53354 11592 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 950.37
Current children cumulated vsize (Kb) 5816
[startup+1240.1 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 53875 11752 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 957.18
Current children cumulated vsize (Kb) 5816
[startup+1250.1 s]
Raw data (loadavg): 1.10 1.10 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 639 0 0 0 54394 11906 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 963.91
Current children cumulated vsize (Kb) 5816
[startup+1260.1 s]
Raw data (loadavg): 1.09 1.09 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 55040 12019 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 971.5
Current children cumulated vsize (Kb) 5816
[startup+1270.1 s]
Raw data (loadavg): 1.07 1.09 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 55604 12164 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 978.59
Current children cumulated vsize (Kb) 5816
[startup+1280.1 s]
Raw data (loadavg): 1.06 1.08 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 639 0 0 0 56102 12331 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222832 134573878 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 985.24
Current children cumulated vsize (Kb) 5816
[startup+1290.11 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 56743 12443 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 992.77
Current children cumulated vsize (Kb) 5816
[startup+1300.11 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 57367 12567 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1000.25
Current children cumulated vsize (Kb) 5816
[startup+1310.11 s]
Raw data (loadavg): 1.11 1.09 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 57967 12698 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1007.56
Current children cumulated vsize (Kb) 5816
[startup+1320.11 s]
Raw data (loadavg): 1.09 1.09 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 639 0 0 0 58408 12889 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1013.88
Current children cumulated vsize (Kb) 5816
[startup+1330.11 s]
Raw data (loadavg): 1.08 1.08 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 59037 13014 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1021.42
Current children cumulated vsize (Kb) 5816
[startup+1340.11 s]
Raw data (loadavg): 1.07 1.08 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 59651 13142 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1028.84
Current children cumulated vsize (Kb) 5816
[startup+1350.11 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 60095 13322 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1035.08
Current children cumulated vsize (Kb) 5816
[startup+1360.11 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 60733 13442 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1042.66
Current children cumulated vsize (Kb) 5816
[startup+1370.11 s]
Raw data (loadavg): 1.04 1.07 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 640 0 0 0 61382 13558 0 0 16 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221183968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1050.31
Current children cumulated vsize (Kb) 5816
[startup+1380.11 s]
Raw data (loadavg): 1.03 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 61813 13743 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1056.47
Current children cumulated vsize (Kb) 5816
[startup+1390.11 s]
Raw data (loadavg): 1.03 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 62430 13870 0 0 16 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1063.91
Current children cumulated vsize (Kb) 5816
[startup+1400.12 s]
Raw data (loadavg): 1.02 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 63088 13982 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1071.61
Current children cumulated vsize (Kb) 5816
[startup+1410.12 s]
Raw data (loadavg): 1.02 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 63583 14148 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1078.22
Current children cumulated vsize (Kb) 5816
[startup+1420.12 s]
Raw data (loadavg): 1.02 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 641 0 0 0 64145 14289 0 0 16 0 1 0 20454701 3776512 612 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 612 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1085.25
Current children cumulated vsize (Kb) 5816
[startup+1430.12 s]
Raw data (loadavg): 1.01 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 641 0 0 0 64801 14404 0 0 15 0 1 0 20454701 3776512 612 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 612 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1092.96
Current children cumulated vsize (Kb) 5816
[startup+1440.12 s]
Raw data (loadavg): 1.01 1.05 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 641 0 0 0 65437 14525 0 0 15 0 1 0 20454701 3776512 612 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 612 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1100.53
Current children cumulated vsize (Kb) 5816
[startup+1450.12 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 65917 14700 0 0 15 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1107.08
Current children cumulated vsize (Kb) 5816
[startup+1460.12 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 66589 14807 0 0 16 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1114.87
Current children cumulated vsize (Kb) 5816
[startup+1470.12 s]
Raw data (loadavg): 1.00 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 67252 14911 0 0 15 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1122.54
Current children cumulated vsize (Kb) 5816
[startup+1480.12 s]
Raw data (loadavg): 1.08 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 67826 15049 0 0 15 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1129.66
Current children cumulated vsize (Kb) 5816
[startup+1490.12 s]
Raw data (loadavg): 1.07 1.06 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 642 0 0 0 68408 15185 0 0 16 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221164608 134611982 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1136.84
Current children cumulated vsize (Kb) 5816
[startup+1500.12 s]
Raw data (loadavg): 1.06 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 69057 15296 0 0 16 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1144.44
Current children cumulated vsize (Kb) 5816
[startup+1510.12 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 69748 15392 0 0 16 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1152.31
Current children cumulated vsize (Kb) 5816
[startup+1520.12 s]
Raw data (loadavg): 1.12 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 70212 15571 0 0 15 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1158.74
Current children cumulated vsize (Kb) 5816
[startup+1530.13 s]
Raw data (loadavg): 1.10 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 644 0 0 0 70846 15686 0 0 16 0 1 0 20454701 3776512 615 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 615 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1166.23
Current children cumulated vsize (Kb) 5816
[startup+1540.13 s]
Raw data (loadavg): 1.09 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 644 0 0 0 71535 15785 0 0 15 0 1 0 20454701 3776512 615 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 615 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1174.11
Current children cumulated vsize (Kb) 5816
[startup+1550.13 s]
Raw data (loadavg): 1.07 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 644 0 0 0 72182 15898 0 0 15 0 1 0 20454701 3776512 615 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 615 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (Kb) 5816
[startup+1560.13 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 646 0 0 0 72624 16084 0 0 15 0 1 0 20454701 3776512 617 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 617 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1187.99
Current children cumulated vsize (Kb) 5816
[startup+1570.13 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 646 0 0 0 73316 16184 0 0 16 0 1 0 20454701 3776512 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 617 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1195.91
Current children cumulated vsize (Kb) 5816
[startup+1580.13 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 646 0 0 0 74023 16283 0 0 16 0 1 0 20454701 3776512 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 617 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1203.97
Current children cumulated vsize (Kb) 5816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1580.13 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 646 0 0 0 74023 16283 0 0 16 0 1 0 20454701 3776512 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 617 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1203.97
Current children cumulated vsize (Kb) 5816
Sending SIGTERM to -6437
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6446
New process pid=6447
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=6444) exited with status: 3
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6398/stat
open syscall for file /proc/6398/status
open syscall for file /proc/6398/cmdline
open syscall for file /proc/6398/environ
open syscall for file /proc/6436/stat
open syscall for file /proc/6436/status
open syscall for file /proc/6436/cmdline
open syscall for file /proc/6436/environ
open syscall for file /proc/6437/stat
open syscall for file /proc/6437/status
open syscall for file /proc/6437/cmdline
open syscall for file /proc/6437/environ
open syscall for file /proc/6446/stat
open syscall for file /proc/6446/status
open syscall for file /proc/6446/cmdline
open syscall for file /proc/6446/environ
open syscall for file /proc/6447/stat
open syscall for file /proc/6447/status
open syscall for file /proc/6447/cmdline
open syscall for file /proc/6447/environ
One traced child (pid=6446) exited with status: 0
One traced child (pid=6447) exited with status: 0
New process pid=6448
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=6448) exited with status: 0
New process pid=6449
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=6449) exited with status: 0
One traced child (pid=6437) 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): 1580.6
CPU time (s): 1204.11
CPU user time (s): 1022.29
CPU system time (s): 181.813
CPU usage (%): 76.1802
Max. virtual memory (cumulated for all children) (Kb): 5816