1:
seed: 0
Nr of vars set: 2422 (#equs: 0)
Nr of vars set: 2422 (#equs: 0)
#decisions: 7178; #end-nodes: 221;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 60 / 80 (80)
#axs: 321, #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: 1521772878 (5101574:>=*);
#decisions: 2225; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 321, #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: 1521772884 (5101568:>=*);
#decisions: 2226; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 321, #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: 1521772890 (5101562:>=*);
#decisions: 2224; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 321, #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: 1521772896 (5101556:>=*);
#decisions: 2238; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 321, #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: 1521772906 (5101546:>=*);
#decisions: 2237; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 321, #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: 1521772912 (5101540:>=*);
#decisions: 2242; #end-nodes: 17;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 321, #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: 1521772924 (5101528:>=*);
#decisions: 2244; #end-nodes: 19;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 321, #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: 1521772928 (5101524:>=*);
#decisions: 2278; #end-nodes: 44;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 321, #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: 1521772938 (5101514:>=*);
#decisions: 12068; #end-nodes: 367;
#proof improvement attempts: 0; #restarts: 4
Current batch, end-nodes: 44 / 81 (81)
#axs: 321, #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: 1521920842 (4953610:>=*);
#decisions: 2441; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 321, #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: 1521920848 (4953604:>=*);
#decisions: 2441; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 321, #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: 1521920868 (4953584:>=*);
#decisions: 2439; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 321, #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: 1521920926 (4953526:>=*);
#decisions: 2449; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 321, #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: 1521920939 (4953513:>=*);
#decisions: 2475; #end-nodes: 28;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 321, #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: 1521920950 (4953502:>=*);
#decisions: 2447; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 321, #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: 1521920963 (4953489:>=*);
#decisions: 2471; #end-nodes: 18;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 321, #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: 1521921008 (4953444:>=*);
#decisions: 2483; #end-nodes: 35;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 321, #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: 1521921014 (4953438:>=*);
#decisions: 2521; #end-nodes: 56;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 321, #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: 1521921676 (4952776:>=*);
#decisions: 2512; #end-nodes: 45;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 321, #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: 1521921759 (4952693:>=*);
#decisions: 13807; #end-nodes: 434;
#proof improvement attempts: 0; #restarts: 5
Current batch, end-nodes: 27 / 81 (81)
#axs: 321, #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: 1522035510 (4838942:>=*);
#decisions: 2167; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 321, #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: 1522035511 (4838941:>=*);
#decisions: 2172; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 321, #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: 1522035512 (4838940:>=*);
#decisions: 2179; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 321, #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: 1522035518 (4838934:>=*);
#decisions: 2218; #end-nodes: 47;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 321, #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: 1522035522 (4838930:>=*);
#decisions: 347671; #end-nodes: 15184;
#proof improvement attempts: 0; #restarts: 153
Current batch, end-nodes: 15 / 118 (118)
#axs: 321, #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: 1522101295 (4773157:>=*);
#decisions: 2201; #end-nodes: 37;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 321, #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: 1522101332 (4773120:>=*);
#decisions: 2195; #end-nodes: 25;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 321, #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: 1522101335 (4773117:>=*);
#decisions: 880987; #end-nodes: 49162;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 321, #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:) 1522101335 (4773117:>=*)
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: 2422 (#equs: 0)
Time taken: 5 min, 18 sec
2:
seed: 0
Nr of vars set: 2422 (#equs: 0)
Nr of vars set: 2422 (#equs: 0)
#decisions: 624630; #end-nodes: 40881;
#proof improvement attempts: 0; #restarts: 266
Current batch, end-nodes: 102 / 186 (186)
#axs: 321, #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: 4094646 (4650142:>=*);
#decisions: 2234; #end-nodes: 20;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 20 / 120 (120)
#axs: 321, #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: 4094648 (4650140:>=*);
#decisions: 2160; #end-nodes: 50;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 50 / 120 (120)
#axs: 321, #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: 4094738 (4650050:>=*);
#decisions: 2113; #end-nodes: 30;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 30 / 120 (120)
#axs: 321, #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: 4094743 (4650045:>=*);
#decisions: 2110; #end-nodes: 24;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 24 / 120 (120)
#axs: 321, #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: 4094746 (4650042:>=*);
#decisions: 2229; #end-nodes: 73;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 73 / 120 (120)
#axs: 321, #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: 4094755 (4650033:>=*);
#decisions: 2135; #end-nodes: 42;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 42 / 120 (120)
#axs: 321, #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: 4094763 (4650025:>=*);
#decisions: 2076; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 120 (120)
#axs: 321, #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: 4094789 (4649999:>=*);
#decisions: 748560; #end-nodes: 50798;
#proof improvement attempts: 0; #restarts: 317
Current batch, end-nodes: 184 / 199 (199)
#axs: 321, #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: 4157538 (4587250:>=*);
#decisions: 2543; #end-nodes: 32;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 32 / 120 (120)
#axs: 321, #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: 4157540 (4587248:>=*);
#decisions: 2343; #end-nodes: 51;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 51 / 120 (120)
#axs: 321, #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: 4157547 (4587241:>=*);
#decisions: 2292; #end-nodes: 33;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 33 / 120 (120)
#axs: 321, #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: 4157550 (4587238:>=*);
#decisions: 2303; #end-nodes: 29;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 29 / 120 (120)
#axs: 321, #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: 4157551 (4587237:>=*);
#decisions: 2343; #end-nodes: 62;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 62 / 120 (120)
#axs: 321, #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: 4157587 (4587201:>=*);
#decisions: 2392; #end-nodes: 66;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 66 / 120 (120)
#axs: 321, #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: 4157617 (4587171:>=*);
#decisions: 2360; #end-nodes: 93;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 93 / 120 (120)
#axs: 321, #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: 4157625 (4587163:>=*);
#decisions: 1972393; #end-nodes: 173855;
#proof improvement attempts: 0; #restarts: 793
Current batch, end-nodes: 78 / 318 (318)
#axs: 321, #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: 4223633 (4521155:>=*);
#decisions: 2123; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 321, #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: 4223681 (4521107:>=*);
#decisions: 2124; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 321, #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: 4223687 (4521101:>=*);
Interupt request received.
Model found with constant:
(pushed:) 4223687 (4521101:>=*)
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: 2422 (#equs: 0)
Time taken: 14 min, 42 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/6416/stat): 6416 (vallstSAT2005PB) R 6415 6416 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20450062 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6416/statm): 174 3 169 147 0 27 0
[pid=6416] 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=6417
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=6417) exited with status: 0
New process pid=6418
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=6418) exited with status: 0
New process pid=6419
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/wulflinc4/normalized-mps-v2-13-7-ran16x16.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0031 s]
Raw data (loadavg): 0.95 1.08 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 576 0 0 0 629 124 0 0 17 0 1 0 20450069 3694592 546 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 902 546 413 48 0 854 0
[pid=6419] vsize: 3608
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (Kb) 5736
[startup+20.0039 s]
Raw data (loadavg): 1.03 1.10 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 576 0 0 0 1157 277 0 0 17 0 1 0 20450069 3694592 546 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 902 546 413 48 0 854 0
[pid=6419] vsize: 3608
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (Kb) 5736
[startup+30.0048 s]
Raw data (loadavg): 1.03 1.09 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 791 0 0 0 1840 386 0 0 21 0 1 0 20450069 5197824 761 4294967295 134512640 134702520 3221223952 3221223536 134558700 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 761 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (Kb) 7204
[startup+40.0056 s]
Raw data (loadavg): 1.02 1.09 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 900 0 0 0 2609 463 0 0 19 0 1 0 20450069 5197824 870 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 870 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 30.74
Current children cumulated vsize (Kb) 7204
[startup+50.0065 s]
Raw data (loadavg): 1.02 1.08 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 959 0 0 0 3390 531 0 0 25 0 1 0 20450069 5197824 929 4294967295 134512640 134702520 3221223952 3221124208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1269 929 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 39.23
Current children cumulated vsize (Kb) 7204
[startup+60.0073 s]
Raw data (loadavg): 1.02 1.08 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 4185 598 0 0 19 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 47.85
Current children cumulated vsize (Kb) 7204
[startup+70.0092 s]
Raw data (loadavg): 1.01 1.08 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 4963 671 0 0 20 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 56.36
Current children cumulated vsize (Kb) 7204
[startup+80.0111 s]
Raw data (loadavg): 1.01 1.08 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 979 0 0 0 5812 723 0 0 25 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221222976 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 65.37
Current children cumulated vsize (Kb) 7204
[startup+90.0119 s]
Raw data (loadavg): 1.01 1.07 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 6757 742 0 0 25 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 75.01
Current children cumulated vsize (Kb) 7204
[startup+100.012 s]
Raw data (loadavg): 1.01 1.07 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 979 0 0 0 7587 799 0 0 25 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221101648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 83.88
Current children cumulated vsize (Kb) 7204
[startup+110.014 s]
Raw data (loadavg): 1.00 1.07 1.07 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 8400 861 0 0 20 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 92.63
Current children cumulated vsize (Kb) 7204
[startup+120.014 s]
Raw data (loadavg): 1.08 1.08 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 9184 930 0 0 22 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (Kb) 7204
[startup+130.016 s]
Raw data (loadavg): 1.07 1.08 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 980 0 0 0 9968 1000 0 0 20 0 1 0 20450069 5197824 950 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 950 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 109.7
Current children cumulated vsize (Kb) 7204
[startup+140.017 s]
Raw data (loadavg): 1.06 1.08 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 983 0 0 0 10761 1064 0 0 25 0 1 0 20450069 5197824 953 4294967295 134512640 134702520 3221223952 3221086928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 953 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 118.27
Current children cumulated vsize (Kb) 7204
[startup+150.018 s]
Raw data (loadavg): 1.05 1.07 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 986 0 0 0 11574 1120 0 0 21 0 1 0 20450069 5197824 956 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 956 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 126.96
Current children cumulated vsize (Kb) 7204
[startup+160.019 s]
Raw data (loadavg): 1.04 1.07 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 988 0 0 0 12365 1187 0 0 22 0 1 0 20450069 5324800 958 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 958 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 135.54
Current children cumulated vsize (Kb) 7328
[startup+170.02 s]
Raw data (loadavg): 1.03 1.07 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 990 0 0 0 13298 1208 0 0 25 0 1 0 20450069 5324800 960 4294967295 134512640 134702520 3221223952 3221222848 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 960 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 145.08
Current children cumulated vsize (Kb) 7328
[startup+180.021 s]
Raw data (loadavg): 1.03 1.06 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 990 0 0 0 14185 1244 0 0 20 0 1 0 20450069 5324800 960 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 960 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 154.31
Current children cumulated vsize (Kb) 7328
[startup+190.022 s]
Raw data (loadavg): 1.02 1.06 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 992 0 0 0 14974 1310 0 0 22 0 1 0 20450069 5324800 962 4294967295 134512640 134702520 3221223952 3221189008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 962 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 162.86
Current children cumulated vsize (Kb) 7328
[startup+200.023 s]
Raw data (loadavg): 1.02 1.06 1.07 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 994 0 0 0 15799 1370 0 0 21 0 1 0 20450069 5324800 964 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 964 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 171.71
Current children cumulated vsize (Kb) 7328
[startup+210.024 s]
Raw data (loadavg): 1.02 1.06 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 995 0 0 0 16594 1435 0 0 22 0 1 0 20450069 5324800 965 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 965 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 180.31
Current children cumulated vsize (Kb) 7328
[startup+220.025 s]
Raw data (loadavg): 1.01 1.05 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 997 0 0 0 17391 1502 0 0 21 0 1 0 20450069 5324800 967 4294967295 134512640 134702520 3221223952 3221205648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 967 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 188.95
Current children cumulated vsize (Kb) 7328
[startup+230.027 s]
Raw data (loadavg): 1.01 1.05 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 999 0 0 0 18342 1519 0 0 25 0 1 0 20450069 5324800 969 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 969 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 198.63
Current children cumulated vsize (Kb) 7328
[startup+240.028 s]
Raw data (loadavg): 1.01 1.05 1.07 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 999 0 0 0 19204 1567 0 0 21 0 1 0 20450069 5324800 969 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 969 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 207.73
Current children cumulated vsize (Kb) 7328
[startup+250.028 s]
Raw data (loadavg): 1.01 1.05 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1000 0 0 0 20017 1630 0 0 25 0 1 0 20450069 5324800 970 4294967295 134512640 134702520 3221223952 3221177968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 970 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 216.49
Current children cumulated vsize (Kb) 7328
[startup+260.029 s]
Raw data (loadavg): 1.00 1.05 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1002 0 0 0 20855 1681 0 0 22 0 1 0 20450069 5324800 972 4294967295 134512640 134702520 3221223952 3221223232 134553312 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 972 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 225.38
Current children cumulated vsize (Kb) 7328
[startup+270.03 s]
Raw data (loadavg): 1.00 1.04 1.06 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 1005 0 0 0 21659 1744 0 0 20 0 1 0 20450069 5324800 975 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 975 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 234.05
Current children cumulated vsize (Kb) 7328
[startup+280.031 s]
Raw data (loadavg): 1.00 1.04 1.06 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 1008 0 0 0 22465 1808 0 0 21 0 1 0 20450069 5324800 978 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 978 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 242.75
Current children cumulated vsize (Kb) 7328
[startup+290.032 s]
Raw data (loadavg): 1.00 1.04 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1010 0 0 0 23398 1830 0 0 25 0 1 0 20450069 5324800 980 4294967295 134512640 134702520 3221223952 3221222848 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 980 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 252.3
Current children cumulated vsize (Kb) 7328
[startup+300.032 s]
Raw data (loadavg): 1.00 1.04 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1011 0 0 0 24294 1868 0 0 21 0 1 0 20450069 5324800 981 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 981 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 261.64
Current children cumulated vsize (Kb) 7328
[startup+310.034 s]
Raw data (loadavg): 1.00 1.04 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1012 0 0 0 25102 1932 0 0 22 0 1 0 20450069 5324800 982 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 982 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 270.36
Current children cumulated vsize (Kb) 7328
[startup+320.034 s]
Raw data (loadavg): 1.00 1.03 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1014 0 0 0 25904 1997 0 0 20 0 1 0 20450069 5324800 984 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 984 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 279.03
Current children cumulated vsize (Kb) 7328
[startup+330.035 s]
Raw data (loadavg): 1.00 1.03 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1017 0 0 0 26737 2053 0 0 25 0 1 0 20450069 5324800 987 4294967295 134512640 134702520 3221223952 3221162128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 987 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 287.92
Current children cumulated vsize (Kb) 7328
[startup+340.036 s]
Raw data (loadavg): 1.00 1.03 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1018 0 0 0 27589 2103 0 0 25 0 1 0 20450069 5447680 988 4294967295 134512640 134702520 3221223952 3220939708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1330 988 413 48 0 1282 0
[pid=6419] vsize: 5320
Current children cumulated CPU time (s) 296.94
Current children cumulated vsize (Kb) 7448
[startup+350.037 s]
Raw data (loadavg): 1.00 1.03 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1021 0 0 0 28436 2153 0 0 25 0 1 0 20450069 5447680 991 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1330 991 413 48 0 1282 0
[pid=6419] vsize: 5320
Current children cumulated CPU time (s) 305.91
Current children cumulated vsize (Kb) 7448
[startup+360.038 s]
Raw data (loadavg): 1.00 1.03 1.05 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1022 0 0 0 29379 2176 0 0 25 0 1 0 20450069 5447680 992 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1330 992 413 48 0 1282 0
[pid=6419] vsize: 5320
Current children cumulated CPU time (s) 315.57
Current children cumulated vsize (Kb) 7448
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=6419) exited with status: 2
New process pid=6420
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=6420) exited with status: 0
New process pid=6421
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+370.039 s]
Raw data (loadavg): 1.00 1.03 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 519 0 0 0 512 47 0 0 19 0 1 0 20486406 3391488 489 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 828 489 413 48 0 780 0
[pid=6421] vsize: 3312
Current children cumulated CPU time (s) 324.39
Current children cumulated vsize (Kb) 5440
[startup+380.039 s]
Raw data (loadavg): 1.00 1.03 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 519 0 0 0 1150 172 0 0 19 0 1 0 20486406 3391488 489 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 828 489 413 48 0 780 0
[pid=6421] vsize: 3312
Current children cumulated CPU time (s) 332.02
Current children cumulated vsize (Kb) 5440
[startup+390.04 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 852 0 0 0 1857 272 0 0 21 0 1 0 20486406 4571136 822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1116 822 413 48 0 1068 0
[pid=6421] vsize: 4464
Current children cumulated CPU time (s) 340.09
Current children cumulated vsize (Kb) 6592
[startup+400.041 s]
Raw data (loadavg): 1.00 1.02 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 865 0 0 0 2584 359 0 0 25 0 1 0 20486406 4706304 835 4294967295 134512640 134702520 3221223712 3221098368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1149 835 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 348.23
Current children cumulated vsize (Kb) 6724
[startup+410.043 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 872 0 0 0 3306 454 0 0 17 0 1 0 20486406 4706304 842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 842 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 356.4
Current children cumulated vsize (Kb) 6724
[startup+420.044 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 878 0 0 0 4089 525 0 0 19 0 1 0 20486406 4706304 848 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 848 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 364.94
Current children cumulated vsize (Kb) 6724
[startup+430.046 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 878 0 0 0 4673 667 0 0 18 0 1 0 20486406 4706304 848 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 848 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 372.2
Current children cumulated vsize (Kb) 6724
[startup+440.047 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 881 0 0 0 5276 800 0 0 19 0 1 0 20486406 4706304 851 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 851 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 379.56
Current children cumulated vsize (Kb) 6724
[startup+450.047 s]
Raw data (loadavg): 1.00 1.02 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 886 0 0 0 6054 874 0 0 20 0 1 0 20486406 4706304 856 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1149 856 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 388.08
Current children cumulated vsize (Kb) 6724
[startup+460.048 s]
Raw data (loadavg): 1.00 1.02 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 889 0 0 0 6788 957 0 0 25 0 1 0 20486406 4706304 859 4294967295 134512640 134702520 3221223712 3221100288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 859 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 396.25
Current children cumulated vsize (Kb) 6724
[startup+470.049 s]
Raw data (loadavg): 1.00 1.02 1.04 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 895 0 0 0 7530 1045 0 0 20 0 1 0 20486406 4833280 865 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1180 865 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 404.55
Current children cumulated vsize (Kb) 6848
[startup+480.051 s]
Raw data (loadavg): 1.08 1.03 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 897 0 0 0 8217 1151 0 0 18 0 1 0 20486406 4833280 867 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1180 867 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 412.48
Current children cumulated vsize (Kb) 6848
[startup+490.052 s]
Raw data (loadavg): 1.07 1.03 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 897 0 0 0 8796 1291 0 0 18 0 1 0 20486406 4833280 867 4294967295 134512640 134702520 3221223712 3221222608 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1180 867 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 419.67
Current children cumulated vsize (Kb) 6848
[startup+500.052 s]
Raw data (loadavg): 1.06 1.03 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 899 0 0 0 9505 1384 0 0 18 0 1 0 20486406 4833280 869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1180 869 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 427.69
Current children cumulated vsize (Kb) 6848
[startup+510.053 s]
Raw data (loadavg): 1.05 1.03 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 903 0 0 0 10250 1466 0 0 25 0 1 0 20486406 4833280 873 4294967295 134512640 134702520 3221223712 3221072588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1180 873 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 435.96
Current children cumulated vsize (Kb) 6848
[startup+520.053 s]
Raw data (loadavg): 1.11 1.04 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 909 0 0 0 10997 1552 0 0 19 0 1 0 20486406 4837376 879 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1181 879 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 444.29
Current children cumulated vsize (Kb) 6852
[startup+530.054 s]
Raw data (loadavg): 1.10 1.04 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 911 0 0 0 11720 1640 0 0 18 0 1 0 20486406 4837376 881 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 881 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 452.4
Current children cumulated vsize (Kb) 6852
[startup+540.055 s]
Raw data (loadavg): 1.08 1.04 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 914 0 0 0 12496 1713 0 0 20 0 1 0 20486406 4837376 884 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1181 884 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 460.89
Current children cumulated vsize (Kb) 6852
[startup+550.057 s]
Raw data (loadavg): 1.07 1.04 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 915 0 0 0 13219 1804 0 0 25 0 1 0 20486406 4837376 885 4294967295 134512640 134702520 3221223712 3221133568 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 885 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 469.03
Current children cumulated vsize (Kb) 6852
[startup+560.058 s]
Raw data (loadavg): 1.06 1.04 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 918 0 0 0 13982 1883 0 0 19 0 1 0 20486406 4837376 888 4294967295 134512640 134702520 3221223712 3221222608 134553118 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1181 888 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 477.45
Current children cumulated vsize (Kb) 6852
[startup+570.059 s]
Raw data (loadavg): 1.12 1.05 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 918 0 0 0 14599 2014 0 0 18 0 1 0 20486406 4837376 888 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1181 888 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 484.93
Current children cumulated vsize (Kb) 6852
[startup+580.059 s]
Raw data (loadavg): 1.18 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 919 0 0 0 15247 2133 0 0 25 0 1 0 20486406 4837376 889 4294967295 134512640 134702520 3221223712 3221125568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 889 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 492.6
Current children cumulated vsize (Kb) 6852
[startup+590.06 s]
Raw data (loadavg): 1.15 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 920 0 0 0 15978 2221 0 0 18 0 1 0 20486406 4837376 890 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 890 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 500.79
Current children cumulated vsize (Kb) 6852
[startup+600.061 s]
Raw data (loadavg): 1.12 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 922 0 0 0 16755 2296 0 0 20 0 1 0 20486406 4837376 892 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 892 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 509.31
Current children cumulated vsize (Kb) 6852
[startup+610.063 s]
Raw data (loadavg): 1.10 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 924 0 0 0 17501 2380 0 0 24 0 1 0 20486406 4960256 894 4294967295 134512640 134702520 3221223712 3221157728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 894 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 517.61
Current children cumulated vsize (Kb) 6972
[startup+620.064 s]
Raw data (loadavg): 1.09 1.05 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 926 0 0 0 18218 2471 0 0 18 0 1 0 20486406 4960256 896 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 896 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 525.69
Current children cumulated vsize (Kb) 6972
[startup+630.065 s]
Raw data (loadavg): 1.15 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 926 0 0 0 18829 2605 0 0 18 0 1 0 20486406 4960256 896 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 896 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 533.14
Current children cumulated vsize (Kb) 6972
[startup+640.066 s]
Raw data (loadavg): 1.13 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 928 0 0 0 19545 2700 0 0 21 0 1 0 20486406 4960256 898 4294967295 134512640 134702520 3221223712 3221183308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 898 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 541.25
Current children cumulated vsize (Kb) 6972
[startup+650.065 s]
Raw data (loadavg): 1.11 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 930 0 0 0 20343 2764 0 0 20 0 1 0 20486406 4960256 900 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 900 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 549.87
Current children cumulated vsize (Kb) 6972
[startup+660.067 s]
Raw data (loadavg): 1.09 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 932 0 0 0 21099 2844 0 0 25 0 1 0 20486406 4960256 902 4294967295 134512640 134702520 3221223712 3221119008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 902 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 558.23
Current children cumulated vsize (Kb) 6972
[startup+670.068 s]
Raw data (loadavg): 1.08 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 935 0 0 0 21875 2919 0 0 19 0 1 0 20486406 4960256 905 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 905 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 566.74
Current children cumulated vsize (Kb) 6972
[startup+680.069 s]
Raw data (loadavg): 1.07 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 935 0 0 0 22469 3058 0 0 18 0 1 0 20486406 4960256 905 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 905 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 574.07
Current children cumulated vsize (Kb) 6972
[startup+690.07 s]
Raw data (loadavg): 1.14 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 937 0 0 0 23059 3196 0 0 19 0 1 0 20486406 4960256 907 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 907 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 581.35
Current children cumulated vsize (Kb) 6972
[startup+700.071 s]
Raw data (loadavg): 1.11 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 938 0 0 0 23827 3266 0 0 21 0 1 0 20486406 4960256 908 4294967295 134512640 134702520 3221223712 3221223296 134558690 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 908 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 589.73
Current children cumulated vsize (Kb) 6972
[startup+710.072 s]
Raw data (loadavg): 1.17 1.08 1.06 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 940 0 0 0 24549 3357 0 0 25 0 1 0 20486406 4960256 910 4294967295 134512640 134702520 3221223712 3221112448 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 910 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 597.86
Current children cumulated vsize (Kb) 6972
[startup+720.072 s]
Raw data (loadavg): 1.14 1.08 1.06 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 941 0 0 0 25273 3445 0 0 17 0 1 0 20486406 4960256 911 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 911 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 605.98
Current children cumulated vsize (Kb) 6972
[startup+730.074 s]
Raw data (loadavg): 1.12 1.08 1.06 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 942 0 0 0 26043 3525 0 0 18 0 1 0 20486406 4960256 912 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 912 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 614.48
Current children cumulated vsize (Kb) 6972
[startup+740.075 s]
Raw data (loadavg): 1.10 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 944 0 0 0 26770 3617 0 0 18 0 1 0 20486406 4960256 914 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 914 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 622.67
Current children cumulated vsize (Kb) 6972
[startup+750.076 s]
Raw data (loadavg): 1.09 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 944 0 0 0 27364 3755 0 0 18 0 1 0 20486406 4960256 914 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 914 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 629.99
Current children cumulated vsize (Kb) 6972
[startup+760.077 s]
Raw data (loadavg): 1.07 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 945 0 0 0 28046 3862 0 0 19 0 1 0 20486406 4960256 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 915 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 637.88
Current children cumulated vsize (Kb) 6972
[startup+770.078 s]
Raw data (loadavg): 1.06 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 945 0 0 0 28827 3934 0 0 25 0 1 0 20486406 4960256 915 4294967295 134512640 134702520 3221223712 3220979148 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 915 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 646.41
Current children cumulated vsize (Kb) 6972
[startup+780.078 s]
Raw data (loadavg): 1.05 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 947 0 0 0 29540 4026 0 0 21 0 1 0 20486406 4960256 917 4294967295 134512640 134702520 3221223712 3221185068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 917 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 654.46
Current children cumulated vsize (Kb) 6972
[startup+790.079 s]
Raw data (loadavg): 1.04 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 949 0 0 0 30323 4095 0 0 19 0 1 0 20486406 4960256 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 919 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 662.98
Current children cumulated vsize (Kb) 6972
[startup+800.08 s]
Raw data (loadavg): 1.12 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 949 0 0 0 30940 4220 0 0 18 0 1 0 20486406 4960256 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 919 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 670.4
Current children cumulated vsize (Kb) 6972
[startup+810.081 s]
Raw data (loadavg): 1.10 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 950 0 0 0 31530 4358 0 0 17 0 1 0 20486406 4960256 920 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 920 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 677.68
Current children cumulated vsize (Kb) 6972
[startup+820.082 s]
Raw data (loadavg): 1.08 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 951 0 0 0 32316 4427 0 0 18 0 1 0 20486406 4960256 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 921 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 686.23
Current children cumulated vsize (Kb) 6972
[startup+830.084 s]
Raw data (loadavg): 1.07 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 952 0 0 0 33077 4504 0 0 25 0 1 0 20486406 4960256 922 4294967295 134512640 134702520 3221223712 3221088748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 922 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 694.61
Current children cumulated vsize (Kb) 6972
[startup+840.085 s]
Raw data (loadavg): 1.06 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 953 0 0 0 33827 4588 0 0 19 0 1 0 20486406 4960256 923 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 923 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 702.95
Current children cumulated vsize (Kb) 6972
[startup+850.085 s]
Raw data (loadavg): 1.05 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 954 0 0 0 34553 4680 0 0 18 0 1 0 20486406 5103616 924 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1246 924 413 48 0 1198 0
[pid=6421] vsize: 4984
Current children cumulated CPU time (s) 711.13
Current children cumulated vsize (Kb) 7112
[startup+860.086 s]
Raw data (loadavg): 1.04 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 954 0 0 0 35130 4819 0 0 18 0 1 0 20486406 5103616 924 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1246 924 413 48 0 1198 0
[pid=6421] vsize: 4984
Current children cumulated CPU time (s) 718.29
Current children cumulated vsize (Kb) 7112
[startup+870.087 s]
Raw data (loadavg): 1.03 1.05 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 956 0 0 0 35840 4913 0 0 20 0 1 0 20486406 5079040 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 926 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 726.33
Current children cumulated vsize (Kb) 7088
[startup+880.088 s]
Raw data (loadavg): 1.03 1.05 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 956 0 0 0 36577 4995 0 0 20 0 1 0 20486406 5079040 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 926 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 734.52
Current children cumulated vsize (Kb) 7088
[startup+890.089 s]
Raw data (loadavg): 1.02 1.05 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 958 0 0 0 37380 5060 0 0 20 0 1 0 20486406 5079040 928 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 928 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 743.2
Current children cumulated vsize (Kb) 7088
[startup+900.09 s]
Raw data (loadavg): 1.17 1.08 1.06 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 960 0 0 0 38127 5141 0 0 20 0 1 0 20486406 5079040 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 930 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 751.48
Current children cumulated vsize (Kb) 7088
[startup+910.091 s]
Raw data (loadavg): 1.15 1.08 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 962 0 0 0 38856 5232 0 0 18 0 1 0 20486406 5079040 932 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 932 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 759.68
Current children cumulated vsize (Kb) 7088
[startup+920.092 s]
Raw data (loadavg): 1.12 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 962 0 0 0 39473 5364 0 0 17 0 1 0 20486406 5079040 932 4294967295 134512640 134702520 3221223712 3221222608 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 932 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 767.17
Current children cumulated vsize (Kb) 7088
[startup+930.093 s]
Raw data (loadavg): 1.10 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 963 0 0 0 40195 5460 0 0 18 0 1 0 20486406 5079040 933 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 933 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 775.35
Current children cumulated vsize (Kb) 7088
[startup+940.094 s]
Raw data (loadavg): 1.09 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 964 0 0 0 40941 5540 0 0 23 0 1 0 20486406 5079040 934 4294967295 134512640 134702520 3221223712 3221171788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 934 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 783.61
Current children cumulated vsize (Kb) 7088
[startup+950.095 s]
Raw data (loadavg): 1.07 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 965 0 0 0 41740 5607 0 0 20 0 1 0 20486406 5079040 935 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 935 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 792.27
Current children cumulated vsize (Kb) 7088
[startup+960.096 s]
Raw data (loadavg): 1.06 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 966 0 0 0 42505 5683 0 0 19 0 1 0 20486406 5079040 936 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 936 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 800.68
Current children cumulated vsize (Kb) 7088
[startup+970.097 s]
Raw data (loadavg): 1.13 1.08 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 968 0 0 0 43287 5758 0 0 19 0 1 0 20486406 5079040 938 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 938 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 809.25
Current children cumulated vsize (Kb) 7088
[startup+980.098 s]
Raw data (loadavg): 1.11 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 968 0 0 0 43951 5872 0 0 19 0 1 0 20486406 5079040 938 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 938 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 817.03
Current children cumulated vsize (Kb) 7088
[startup+990.099 s]
Raw data (loadavg): 1.09 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 970 0 0 0 44719 5946 0 0 22 0 1 0 20486406 5079040 940 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 940 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 825.45
Current children cumulated vsize (Kb) 7088
[startup+1000.1 s]
Raw data (loadavg): 1.08 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 971 0 0 0 45475 6025 0 0 20 0 1 0 20486406 5079040 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 941 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 833.8
Current children cumulated vsize (Kb) 7088
[startup+1010.1 s]
Raw data (loadavg): 1.07 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 972 0 0 0 46298 6085 0 0 25 0 1 0 20486406 5079040 942 4294967295 134512640 134702520 3221223712 3220850828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 942 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 842.63
Current children cumulated vsize (Kb) 7088
[startup+1020.1 s]
Raw data (loadavg): 1.06 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 975 0 0 0 47044 6168 0 0 19 0 1 0 20486406 5079040 945 4294967295 134512640 134702520 3221223712 3221222992 134552239 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 945 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 850.92
Current children cumulated vsize (Kb) 7088
[startup+1030.1 s]
Raw data (loadavg): 1.05 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 977 0 0 0 47783 6257 0 0 18 0 1 0 20486406 5079040 947 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 947 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 859.2
Current children cumulated vsize (Kb) 7088
[startup+1040.1 s]
Raw data (loadavg): 1.04 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 977 0 0 0 48361 6396 0 0 18 0 1 0 20486406 5079040 947 4294967295 134512640 134702520 3221223712 3221222608 134553460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 947 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 866.37
Current children cumulated vsize (Kb) 7088
[startup+1050.1 s]
Raw data (loadavg): 1.03 1.05 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 978 0 0 0 49047 6499 0 0 25 0 1 0 20486406 5079040 948 4294967295 134512640 134702520 3221223712 3221136768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 948 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 874.26
Current children cumulated vsize (Kb) 7088
[startup+1060.11 s]
Raw data (loadavg): 1.03 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 980 0 0 0 49839 6567 0 0 20 0 1 0 20486406 5079040 950 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 950 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 882.86
Current children cumulated vsize (Kb) 7088
[startup+1070.11 s]
Raw data (loadavg): 1.02 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 981 0 0 0 50611 6642 0 0 19 0 1 0 20486406 5079040 951 4294967295 134512640 134702520 3221223712 3221222992 134553097 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 951 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 891.33
Current children cumulated vsize (Kb) 7088
[startup+1080.11 s]
Raw data (loadavg): 1.02 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 981 0 0 0 51382 6717 0 0 22 0 1 0 20486406 5079040 951 4294967295 134512640 134702520 3221223712 3221198368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 951 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 899.79
Current children cumulated vsize (Kb) 7088
[startup+1090.11 s]
Raw data (loadavg): 1.02 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 984 0 0 0 52194 6779 0 0 23 0 1 0 20486406 5201920 954 4294967295 134512640 134702520 3221223712 3221222736 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 954 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 908.53
Current children cumulated vsize (Kb) 7208
[startup+1100.11 s]
Raw data (loadavg): 1.01 1.04 1.04 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 985 0 0 0 52874 6880 0 0 18 0 1 0 20486406 5201920 955 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 955 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 916.34
Current children cumulated vsize (Kb) 7208
[startup+1110.11 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 985 0 0 0 53514 7004 0 0 19 0 1 0 20486406 5201920 955 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 955 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 923.98
Current children cumulated vsize (Kb) 7208
[startup+1120.11 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 987 0 0 0 54277 7080 0 0 20 0 1 0 20486406 5201920 957 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 957 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 932.37
Current children cumulated vsize (Kb) 7208
[startup+1130.11 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 988 0 0 0 55086 7144 0 0 25 0 1 0 20486406 5201920 958 4294967295 134512640 134702520 3221223712 3221116108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 958 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 941.1
Current children cumulated vsize (Kb) 7208
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 990 0 0 0 55888 7210 0 0 22 0 1 0 20486406 5201920 960 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 960 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 949.78
Current children cumulated vsize (Kb) 7208
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 992 0 0 0 56645 7287 0 0 19 0 1 0 20486406 5201920 962 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 962 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 958.12
Current children cumulated vsize (Kb) 7208
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 994 0 0 0 57416 7362 0 0 19 0 1 0 20486406 5201920 964 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 964 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 966.58
Current children cumulated vsize (Kb) 7208
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.03 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 994 0 0 0 58045 7488 0 0 18 0 1 0 20486406 5201920 964 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 964 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 974.13
Current children cumulated vsize (Kb) 7208
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 994 0 0 0 58771 7582 0 0 25 0 1 0 20486406 5201920 964 4294967295 134512640 134702520 3221223712 3221137248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 964 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 982.33
Current children cumulated vsize (Kb) 7208
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 996 0 0 0 59516 7665 0 0 24 0 1 0 20486406 5201920 966 4294967295 134512640 134702520 3221223712 3221147948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 966 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 990.61
Current children cumulated vsize (Kb) 7208
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 997 0 0 0 60238 7755 0 0 18 0 1 0 20486406 5201920 967 4294967295 134512640 134702520 3221223712 3221221708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 967 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 998.73
Current children cumulated vsize (Kb) 7208
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.03 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 997 0 0 0 60997 7836 0 0 18 0 1 0 20486406 5201920 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 967 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1007.13
Current children cumulated vsize (Kb) 7208
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 998 0 0 0 61773 7908 0 0 20 0 1 0 20486406 5201920 968 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 968 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1015.61
Current children cumulated vsize (Kb) 7208
[startup+1230.12 s]
Raw data (loadavg): 1.07 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 998 0 0 0 62392 8039 0 0 18 0 1 0 20486406 5201920 968 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 968 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1023.11
Current children cumulated vsize (Kb) 7208
[startup+1240.12 s]
Raw data (loadavg): 1.13 1.06 1.04 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 999 0 0 0 62979 8175 0 0 19 0 1 0 20486406 5201920 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 969 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1030.34
Current children cumulated vsize (Kb) 7208
[startup+1250.12 s]
Raw data (loadavg): 1.11 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 999 0 0 0 63764 8245 0 0 21 0 1 0 20486406 5201920 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 969 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1038.89
Current children cumulated vsize (Kb) 7208
[startup+1260.13 s]
Raw data (loadavg): 1.10 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1000 0 0 0 64500 8331 0 0 25 0 1 0 20486406 5201920 970 4294967295 134512640 134702520 3221223712 3221095308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 970 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1047.11
Current children cumulated vsize (Kb) 7208
[startup+1270.13 s]
Raw data (loadavg): 1.08 1.05 1.04 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1000 0 0 0 65245 8412 0 0 18 0 1 0 20486406 5201920 970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 970 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1055.37
Current children cumulated vsize (Kb) 7208
[startup+1280.13 s]
Raw data (loadavg): 1.07 1.05 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1001 0 0 0 65936 8515 0 0 18 0 1 0 20486406 5201920 971 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 971 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1063.31
Current children cumulated vsize (Kb) 7208
[startup+1290.13 s]
Raw data (loadavg): 1.06 1.05 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1001 0 0 0 66516 8653 0 0 18 0 1 0 20486406 5201920 971 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 971 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1070.49
Current children cumulated vsize (Kb) 7208
[startup+1300.13 s]
Raw data (loadavg): 1.05 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1002 0 0 0 67196 8756 0 0 18 0 1 0 20486406 5201920 972 4294967295 134512640 134702520 3221223712 3221222832 134584464 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 972 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1078.32
Current children cumulated vsize (Kb) 7208
[startup+1310.13 s]
Raw data (loadavg): 1.04 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1002 0 0 0 67970 8830 0 0 25 0 1 0 20486406 5201920 972 4294967295 134512640 134702520 3221223712 3221040908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 972 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1086.8
Current children cumulated vsize (Kb) 7208
[startup+1320.13 s]
Raw data (loadavg): 1.03 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1003 0 0 0 68701 8914 0 0 19 0 1 0 20486406 5201920 973 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 973 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1094.95
Current children cumulated vsize (Kb) 7208
[startup+1330.13 s]
Raw data (loadavg): 1.03 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1003 0 0 0 69508 8979 0 0 25 0 1 0 20486406 5201920 973 4294967295 134512640 134702520 3221223712 3221003968 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 973 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1103.67
Current children cumulated vsize (Kb) 7208
[startup+1340.13 s]
Raw data (loadavg): 1.02 1.04 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1003 0 0 0 70150 9101 0 0 18 0 1 0 20486406 5201920 973 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 973 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1111.31
Current children cumulated vsize (Kb) 7208
[startup+1350.13 s]
Raw data (loadavg): 1.10 1.05 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1004 0 0 0 70743 9235 0 0 18 0 1 0 20486406 5201920 974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 974 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1118.58
Current children cumulated vsize (Kb) 7208
[startup+1360.14 s]
Raw data (loadavg): 1.08 1.05 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1004 0 0 0 71473 9323 0 0 21 0 1 0 20486406 5201920 974 4294967295 134512640 134702520 3221223712 3221201408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 974 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1126.76
Current children cumulated vsize (Kb) 7208
[startup+1370.14 s]
Raw data (loadavg): 1.07 1.05 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1004 0 0 0 72259 9393 0 0 19 0 1 0 20486406 5201920 974 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 974 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1135.32
Current children cumulated vsize (Kb) 7208
[startup+1380.14 s]
Raw data (loadavg): 1.06 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1004 0 0 0 73023 9472 0 0 25 0 1 0 20486406 5201920 974 4294967295 134512640 134702520 3221223712 3221096448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 974 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1143.75
Current children cumulated vsize (Kb) 7208
[startup+1390.14 s]
Raw data (loadavg): 1.05 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 73802 9545 0 0 19 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221222608 134551048 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1152.27
Current children cumulated vsize (Kb) 7208
[startup+1400.14 s]
Raw data (loadavg): 1.04 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 74427 9676 0 0 19 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221222608 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1159.83
Current children cumulated vsize (Kb) 7208
[startup+1410.14 s]
Raw data (loadavg): 1.03 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 75068 9795 0 0 19 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1167.43
Current children cumulated vsize (Kb) 7208
[startup+1420.14 s]
Raw data (loadavg): 1.03 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 75873 9860 0 0 21 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1176.13
Current children cumulated vsize (Kb) 7208
[startup+1430.14 s]
Raw data (loadavg): 1.10 1.05 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 76605 9949 0 0 20 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1184.34
Current children cumulated vsize (Kb) 7208
[startup+1440.14 s]
Raw data (loadavg): 1.16 1.07 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 77405 10016 0 0 25 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3220949728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1193.01
Current children cumulated vsize (Kb) 7208
[startup+1450.14 s]
Raw data (loadavg): 1.14 1.06 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1007 0 0 0 78160 10095 0 0 19 0 1 0 20486406 5201920 977 4294967295 134512640 134702520 3221223712 3221222608 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 977 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1201.35
Current children cumulated vsize (Kb) 7208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1450.15 s]
Raw data (loadavg): 1.14 1.06 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1007 0 0 0 78160 10095 0 0 19 0 1 0 20486406 5201920 977 4294967295 134512640 134702520 3221223712 3221222608 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 977 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1201.35
Current children cumulated vsize (Kb) 7208
Sending SIGTERM to -6416
Sleeping 2 seconds
New process pid=6423
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6424
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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)
One traced child (pid=6421) exited with status: 3
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/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/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/6377/stat
open syscall for file /proc/6377/status
open syscall for file /proc/6377/cmdline
open syscall for file /proc/6377/environ
open syscall for file /proc/6415/stat
open syscall for file /proc/6415/status
open syscall for file /proc/6415/cmdline
open syscall for file /proc/6415/environ
open syscall for file /proc/6416/stat
open syscall for file /proc/6416/status
open syscall for file /proc/6416/cmdline
open syscall for file /proc/6416/environ
open syscall for file /proc/6423/stat
open syscall for file /proc/6423/status
open syscall for file /proc/6423/cmdline
open syscall for file /proc/6423/environ
open syscall for file /proc/6424/stat
open syscall for file /proc/6424/status
open syscall for file /proc/6424/cmdline
open syscall for file /proc/6424/environ
One traced child (pid=6423) exited with status: 0
One traced child (pid=6424) exited with status: 0
New process pid=6425
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=6425) exited with status: 0
New process pid=6426
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=6426) exited with status: 0
One traced child (pid=6416) 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): 1450.62
CPU time (s): 1201.51
CPU user time (s): 1078.63
CPU system time (s): 122.878
CPU usage (%): 82.8268
Max. virtual memory (cumulated for all children) (Kb): 7448