Name | submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb |
MD5SUM | 6292e63147fb202dc159fbf5a9ff5c77 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4882 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 771 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 33355 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 33355 |
Number of bits of the biggest sum of numbers | 16 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1196.31 |
Number of variables | 771 |
Total number of constraints | 1951 |
Number of constraints which are clauses | 1949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
LAUNCH ON wulflinc21 THE 2005-09-19 01:12:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7280 boxname=wulflinc21 idbench=248 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6292e63147fb202dc159fbf5a9ff5c77 /oldhome/oroussel/tmp/wulflinc21/normalized-C432.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc21/normalized-C432.opb 0 IDLAUNCH: 7280 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 904976 kB Buffers: 28620 kB Cached: 73724 kB SwapCached: 812 kB Active: 44276 kB Inactive: 60624 kB HighTotal: 131008 kB HighFree: 54264 kB LowTotal: 903652 kB LowFree: 850712 kB SwapTotal: 2097892 kB SwapFree: 2096476 kB Dirty: 52 kB Writeback: 0 kB Mapped: 5804 kB Slab: 19020 kB Committed_AS: 64332 kB PageTables: 340 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 01:41:54 (client local time) WITH STATUS 0 IN 1200.89 SECONDS stats: 7280 7 1200.89 0
1: seed: 0 Nr of vars set: 11 (#equs: 0) Nr of vars set: 18 (#equs: 0) #decisions: 306; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23209 (10145:>=*); #decisions: 304; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23219 (10135:>=*); #decisions: 351; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 1906, #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: 23251 (10103:>=*); #decisions: 303; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23261 (10093:>=*); #decisions: 431; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 1906, #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: 23303 (10051:>=*); #decisions: 311; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 1906, #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: 23312 (10042:>=*); #decisions: 301; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23322 (10032:>=*); #decisions: 315; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 1906, #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: 23335 (10019:>=*); #decisions: 306; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23344 (10010:>=*); #decisions: 300; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23354 (10000:>=*); #decisions: 304; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 1906, #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: 23364 (9990:>=*); #decisions: 318; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 1906, #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: 23377 (9977:>=*); #decisions: 315; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 1906, #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: 23386 (9968:>=*); #decisions: 299; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23396 (9958:>=*); #decisions: 300; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 1906, #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: 23405 (9949:>=*); #decisions: 308; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 1906, #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: 23415 (9939:>=*); #decisions: 320; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 1906, #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: 23437 (9917:>=*); #decisions: 298; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23447 (9907:>=*); #decisions: 322; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 1906, #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: 23464 (9890:>=*); #decisions: 325; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 80 (80) #axs: 1906, #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: 23470 (9884:>=*); #decisions: 326; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 1906, #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: 23479 (9875:>=*); #decisions: 295; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23489 (9865:>=*); #decisions: 309; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 1906, #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: 23493 (9861:>=*); #decisions: 323; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 1906, #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: 23499 (9855:>=*); #decisions: 323; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 1906, #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: 23518 (9836:>=*); #decisions: 332; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 80 (80) #axs: 1906, #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: 23534 (9820:>=*); #decisions: 306; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 1906, #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: 23543 (9811:>=*); #decisions: 313; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 1906, #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: 23547 (9807:>=*); #decisions: 324; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 80 (80) #axs: 1906, #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: 23563 (9791:>=*); #decisions: 302; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 1906, #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: 23572 (9782:>=*); #decisions: 365; #end-nodes: 46; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 46 / 80 (80) #axs: 1906, #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: 23588 (9766:>=*); #decisions: 308; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 1906, #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: 23597 (9757:>=*); #decisions: 335; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 80 (80) #axs: 1906, #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: 23607 (9747:>=*); #decisions: 359; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 80 (80) #axs: 1906, #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: 23614 (9740:>=*); #decisions: 383; #end-nodes: 54; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 54 / 80 (80) #axs: 1906, #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: 23620 (9734:>=*); #decisions: 329; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 1906, #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: 23639 (9715:>=*); #decisions: 16343; #end-nodes: 3397; #proof improvement attempts: 0; #restarts: 40 Current batch, end-nodes: 6 / 90 (90) #axs: 1906, #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: 23647 (9707:>=*); #decisions: 306; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 1906, #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: 23656 (9698:>=*); #decisions: 344; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 80 (80) #axs: 1906, #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: 23672 (9682:>=*); #decisions: 298; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 1906, #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: 23681 (9673:>=*); #decisions: 326; #end-nodes: 32; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 32 / 80 (80) #axs: 1906, #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: 23685 (9669:>=*); #decisions: 359; #end-nodes: 54; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 54 / 80 (80) #axs: 1906, #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: 23701 (9653:>=*); #decisions: 293; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 1906, #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: 23710 (9644:>=*); #decisions: 11057; #end-nodes: 2248; #proof improvement attempts: 0; #restarts: 27 Current batch, end-nodes: 0 / 86 (86) #axs: 1906, #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: 23719 (9635:>=*); #decisions: 422; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 1906, #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: 23761 (9593:>=*); #decisions: 3738; #end-nodes: 739; #proof improvement attempts: 0; #restarts: 9 Current batch, end-nodes: 11 / 82 (82) #axs: 1906, #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: 23767 (9587:>=*); #decisions: 326; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23799 (9555:>=*); #decisions: 393; #end-nodes: 71; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 71 / 80 (80) #axs: 1906, #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: 23808 (9546:>=*); #decisions: 5347; #end-nodes: 1073; #proof improvement attempts: 0; #restarts: 13 Current batch, end-nodes: 14 / 83 (83) #axs: 1906, #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: 23811 (9543:>=*); #decisions: 351; #end-nodes: 44; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 44 / 80 (80) #axs: 1906, #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: 23821 (9533:>=*); #decisions: 38845; #end-nodes: 8991; #proof improvement attempts: 0; #restarts: 97 Current batch, end-nodes: 71 / 104 (104) #axs: 1906, #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: 23846 (9508:>=*); #decisions: 115423; #end-nodes: 30805; #proof improvement attempts: 0; #restarts: 270 Current batch, end-nodes: 144 / 147 (147) #axs: 1906, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23847 (9507:>=*); #decisions: 302; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 1906, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23857 (9497:>=*); #decisions: 29116; #end-nodes: 6563; #proof improvement attempts: 0; #restarts: 73 Current batch, end-nodes: 67 / 98 (98) #axs: 1906, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 23878 (9476:>=*); #decisions: 207529; #end-nodes: 62386; #proof improvement attempts: 0; #restarts: 456 Current batch, end-nodes: 3 / 194 (194) #axs: 1906, #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: 23897 (9457:>=*); #decisions: 331; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 80 (80) #axs: 1906, #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: 23913 (9441:>=*); #decisions: 311; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 1906, #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: 23922 (9432:>=*); #decisions: 318; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 1906, #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: 23938 (9416:>=*); #decisions: 315; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 1906, #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: 23947 (9407:>=*); #decisions: 339369; #end-nodes: 116152; #proof improvement attempts: 0; #restarts: 696 Current batch, end-nodes: 52 / 254 (254) #axs: 1906, #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: 23952 (9402:>=*); #decisions: 373; #end-nodes: 51; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 51 / 80 (80) #axs: 1906, #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: 23962 (9392:>=*); #decisions: 337; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 80 (80) #axs: 1906, #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: 23968 (9386:>=*); #decisions: 381; #end-nodes: 56; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 56 / 80 (80) #axs: 1906, #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: 23977 (9377:>=*); #decisions: 346; #end-nodes: 32; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 32 / 80 (80) #axs: 1906, #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: 23982 (9372:>=*); #decisions: 346; #end-nodes: 30; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 30 / 80 (80) #axs: 1906, #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: 23988 (9366:>=*); #decisions: 341; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 1906, #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: 23989 (9365:>=*); #decisions: 308; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #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: 23997 (9357:>=*); #decisions: 3293433; #end-nodes: 1835517; #proof improvement attempts: 0; #restarts: 3526 Current batch, end-nodes: 7 / 961 (961) #axs: 1906, #non-axs: 2 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 24002 (9352:>=*); #decisions: 328; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 1906, #non-axs: 2 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 24034 (9320:>=*); Interupt request received. Model found with constant: (pushed:) 24034 (9320:>=*) 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: 18 (#equs: 0) Time taken: 20 min, 0 sec Interupt; Current theory and settings are copied here: /tmp/vallst_sh_out_theory.vnf /tmp/vallst_sh_changing_setting.options
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/1326/stat): 1326 (vallstSAT2005PB) R 1325 1326 20602 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1723109273 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1326/statm): 174 3 169 147 0 27 0 [pid=1326] 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=1327 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=1327) exited with status: 0 New process pid=1328 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=1328) exited with status: 0 New process pid=1329 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/wulflinc21/normalized-C432.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0028 s] Raw data (loadavg): 1.07 1.02 1.00 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 359 0 0 0 282 229 0 0 16 0 1 0 1723109279 2920448 329 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 713 329 413 48 0 665 0 [pid=1329] vsize: 2852 Current children cumulated CPU time (s) 5.12 Current children cumulated vsize (Kb) 4980 [startup+20.0045 s] Raw data (loadavg): 1.06 1.01 1.00 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 458 0 0 0 739 406 0 0 16 0 1 0 1723109279 2920448 428 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 713 428 413 48 0 665 0 [pid=1329] vsize: 2852 Current children cumulated CPU time (s) 11.46 Current children cumulated vsize (Kb) 4980 [startup+30.0051 s] Raw data (loadavg): 1.05 1.01 1.00 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 460 0 0 0 1055 625 0 0 16 0 1 0 1723109279 2920448 430 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 713 430 413 48 0 665 0 [pid=1329] vsize: 2852 Current children cumulated CPU time (s) 16.81 Current children cumulated vsize (Kb) 4980 [startup+40.0058 s] Raw data (loadavg): 1.04 1.01 1.00 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 462 0 0 0 1487 803 0 0 16 0 1 0 1723109279 3043328 432 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 432 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 22.91 Current children cumulated vsize (Kb) 5100 [startup+50.0065 s] Raw data (loadavg): 1.04 1.01 1.00 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 464 0 0 0 1795 1023 0 0 16 0 1 0 1723109279 3043328 434 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 743 434 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 28.19 Current children cumulated vsize (Kb) 5100 [startup+60.0072 s] Raw data (loadavg): 1.11 1.03 1.01 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 466 0 0 0 2204 1217 0 0 16 0 1 0 1723109279 3043328 436 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 436 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 34.22 Current children cumulated vsize (Kb) 5100 [startup+70.0089 s] Raw data (loadavg): 1.09 1.03 1.00 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 470 0 0 0 2588 1415 0 0 16 0 1 0 1723109279 3043328 440 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 743 440 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 40.04 Current children cumulated vsize (Kb) 5100 [startup+80.0095 s] Raw data (loadavg): 1.08 1.02 1.00 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 472 0 0 0 3034 1593 0 0 16 0 1 0 1723109279 3043328 442 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 743 442 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 46.28 Current children cumulated vsize (Kb) 5100 [startup+90.0102 s] Raw data (loadavg): 1.07 1.02 1.00 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 473 0 0 0 3439 1786 0 0 16 0 1 0 1723109279 3043328 443 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 443 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 52.26 Current children cumulated vsize (Kb) 5100 [startup+100.011 s] Raw data (loadavg): 1.06 1.02 1.00 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 474 0 0 0 3791 1998 0 0 16 0 1 0 1723109279 3043328 444 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 444 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 57.9 Current children cumulated vsize (Kb) 5100 [startup+110.012 s] Raw data (loadavg): 1.12 1.04 1.01 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 476 0 0 0 4169 2199 0 0 16 0 1 0 1723109279 3043328 446 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 743 446 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 63.69 Current children cumulated vsize (Kb) 5100 [startup+120.012 s] Raw data (loadavg): 1.17 1.05 1.01 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 477 0 0 0 4612 2375 0 0 16 0 1 0 1723109279 3043328 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 447 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 69.88 Current children cumulated vsize (Kb) 5100 [startup+130.013 s] Raw data (loadavg): 1.15 1.05 1.01 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 479 0 0 0 4940 2587 0 0 16 0 1 0 1723109279 3043328 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 449 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 75.28 Current children cumulated vsize (Kb) 5100 [startup+140.014 s] Raw data (loadavg): 1.12 1.05 1.01 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 481 0 0 0 5444 2747 0 0 16 0 1 0 1723109279 3043328 451 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 743 451 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 81.92 Current children cumulated vsize (Kb) 5100 [startup+150.015 s] Raw data (loadavg): 1.10 1.05 1.01 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 482 0 0 0 5777 2963 0 0 15 0 1 0 1723109279 3043328 452 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 452 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 87.41 Current children cumulated vsize (Kb) 5100 [startup+160.016 s] Raw data (loadavg): 1.09 1.04 1.01 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 487 0 0 0 6279 3124 0 0 15 0 1 0 1723109279 3043328 457 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 457 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 94.04 Current children cumulated vsize (Kb) 5100 [startup+170.017 s] Raw data (loadavg): 1.07 1.04 1.01 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 487 0 0 0 6667 3321 0 0 16 0 1 0 1723109279 3043328 457 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 743 457 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 99.89 Current children cumulated vsize (Kb) 5100 [startup+180.017 s] Raw data (loadavg): 1.13 1.06 1.01 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 488 0 0 0 7047 3513 0 0 16 0 1 0 1723109279 3043328 458 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 458 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 105.61 Current children cumulated vsize (Kb) 5100 [startup+190.018 s] Raw data (loadavg): 1.19 1.07 1.01 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 489 0 0 0 7366 3731 0 0 16 0 1 0 1723109279 3043328 459 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 743 459 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 110.98 Current children cumulated vsize (Kb) 5100 [startup+200.019 s] Raw data (loadavg): 1.16 1.07 1.01 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 489 0 0 0 7830 3904 0 0 16 0 1 0 1723109279 3043328 459 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 459 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 117.35 Current children cumulated vsize (Kb) 5100 [startup+210.02 s] Raw data (loadavg): 1.29 1.10 1.02 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 490 0 0 0 8179 4120 0 0 16 0 1 0 1723109279 3043328 460 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 743 460 413 48 0 695 0 [pid=1329] vsize: 2972 Current children cumulated CPU time (s) 123 Current children cumulated vsize (Kb) 5100 [startup+220.021 s] Raw data (loadavg): 1.25 1.10 1.02 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 492 0 0 0 8636 4294 0 0 16 0 1 0 1723109279 3170304 462 4294967295 134512640 134702520 3221223968 3221222864 134552242 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 462 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 129.31 Current children cumulated vsize (Kb) 5224 [startup+230.022 s] Raw data (loadavg): 1.21 1.09 1.02 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 494 0 0 0 9016 4497 0 0 16 0 1 0 1723109279 3170304 464 4294967295 134512640 134702520 3221223968 3221223236 134557393 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 464 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 135.14 Current children cumulated vsize (Kb) 5224 [startup+240.022 s] Raw data (loadavg): 1.26 1.10 1.03 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 496 0 0 0 9468 4672 0 0 16 0 1 0 1723109279 3170304 466 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 466 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 141.41 Current children cumulated vsize (Kb) 5224 [startup+250.024 s] Raw data (loadavg): 1.30 1.12 1.03 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 497 0 0 0 9895 4851 0 0 16 0 1 0 1723109279 3170304 467 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 467 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 147.47 Current children cumulated vsize (Kb) 5224 [startup+260.025 s] Raw data (loadavg): 1.25 1.11 1.03 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 499 0 0 0 10362 5034 0 0 16 0 1 0 1723109279 3170304 469 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 774 469 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 153.97 Current children cumulated vsize (Kb) 5224 [startup+270.026 s] Raw data (loadavg): 1.21 1.11 1.03 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 501 0 0 0 10792 5220 0 0 16 0 1 0 1723109279 3170304 471 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 774 471 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 160.13 Current children cumulated vsize (Kb) 5224 [startup+280.026 s] Raw data (loadavg): 1.26 1.12 1.03 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 503 0 0 0 11270 5393 0 0 16 0 1 0 1723109279 3170304 473 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 473 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 166.64 Current children cumulated vsize (Kb) 5224 [startup+290.027 s] Raw data (loadavg): 1.22 1.12 1.03 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 11689 5569 0 0 15 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 475 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 172.59 Current children cumulated vsize (Kb) 5224 [startup+300.028 s] Raw data (loadavg): 1.18 1.11 1.03 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 12069 5764 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 475 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 178.34 Current children cumulated vsize (Kb) 5224 [startup+310.028 s] Raw data (loadavg): 1.24 1.13 1.03 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 12435 5974 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 475 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 184.1 Current children cumulated vsize (Kb) 5224 [startup+320.03 s] Raw data (loadavg): 1.28 1.14 1.04 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 505 0 0 0 12773 6186 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 475 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 189.6 Current children cumulated vsize (Kb) 5224 [startup+330.031 s] Raw data (loadavg): 1.24 1.13 1.04 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 13253 6354 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 774 475 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 196.08 Current children cumulated vsize (Kb) 5224 [startup+340.031 s] Raw data (loadavg): 1.28 1.14 1.04 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 13587 6570 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 774 475 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 201.58 Current children cumulated vsize (Kb) 5224 [startup+350.033 s] Raw data (loadavg): 1.24 1.14 1.04 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 506 0 0 0 14088 6735 0 0 16 0 1 0 1723109279 3170304 476 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 774 476 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 208.24 Current children cumulated vsize (Kb) 5224 [startup+360.034 s] Raw data (loadavg): 1.28 1.15 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 507 0 0 0 14427 6949 0 0 16 0 1 0 1723109279 3170304 477 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 774 477 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 213.77 Current children cumulated vsize (Kb) 5224 [startup+370.035 s] Raw data (loadavg): 1.32 1.16 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 508 0 0 0 14920 7113 0 0 16 0 1 0 1723109279 3170304 478 4294967295 134512640 134702520 3221223968 3221223156 134617730 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 478 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 220.34 Current children cumulated vsize (Kb) 5224 [startup+380.036 s] Raw data (loadavg): 1.34 1.17 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 510 0 0 0 15309 7303 0 0 16 0 1 0 1723109279 3170304 480 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 774 480 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 226.13 Current children cumulated vsize (Kb) 5224 [startup+390.037 s] Raw data (loadavg): 1.29 1.17 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 511 0 0 0 15799 7463 0 0 16 0 1 0 1723109279 3170304 481 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 774 481 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 232.63 Current children cumulated vsize (Kb) 5224 [startup+400.037 s] Raw data (loadavg): 1.24 1.16 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 513 0 0 0 16214 7655 0 0 16 0 1 0 1723109279 3170304 483 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 483 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 238.7 Current children cumulated vsize (Kb) 5224 [startup+410.038 s] Raw data (loadavg): 1.21 1.16 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 514 0 0 0 16702 7822 0 0 16 0 1 0 1723109279 3170304 484 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 484 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 245.25 Current children cumulated vsize (Kb) 5224 [startup+420.04 s] Raw data (loadavg): 1.17 1.15 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 516 0 0 0 17118 8005 0 0 16 0 1 0 1723109279 3170304 486 4294967295 134512640 134702520 3221223968 3221223088 134578896 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 486 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 251.24 Current children cumulated vsize (Kb) 5224 [startup+430.04 s] Raw data (loadavg): 1.15 1.14 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 518 0 0 0 17628 8168 0 0 16 0 1 0 1723109279 3170304 488 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 774 488 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 257.97 Current children cumulated vsize (Kb) 5224 [startup+440.041 s] Raw data (loadavg): 1.20 1.16 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 521 0 0 0 18025 8365 0 0 16 0 1 0 1723109279 3170304 491 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 774 491 413 48 0 726 0 [pid=1329] vsize: 3096 Current children cumulated CPU time (s) 263.91 Current children cumulated vsize (Kb) 5224 [startup+450.042 s] Raw data (loadavg): 1.24 1.17 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 522 0 0 0 18601 8500 0 0 16 0 1 0 1723109279 3293184 492 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 804 492 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 271.02 Current children cumulated vsize (Kb) 5344 [startup+460.043 s] Raw data (loadavg): 1.28 1.18 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 524 0 0 0 18964 8708 0 0 16 0 1 0 1723109279 3293184 494 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 804 494 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 276.73 Current children cumulated vsize (Kb) 5344 [startup+470.044 s] Raw data (loadavg): 1.23 1.17 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 527 0 0 0 19534 8848 0 0 16 0 1 0 1723109279 3293184 497 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 804 497 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 283.83 Current children cumulated vsize (Kb) 5344 [startup+480.045 s] Raw data (loadavg): 1.20 1.16 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 528 0 0 0 19915 9044 0 0 16 0 1 0 1723109279 3293184 498 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 804 498 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 289.6 Current children cumulated vsize (Kb) 5344 [startup+490.047 s] Raw data (loadavg): 1.17 1.16 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 530 0 0 0 20493 9184 0 0 16 0 1 0 1723109279 3293184 500 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 804 500 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 296.78 Current children cumulated vsize (Kb) 5344 [startup+500.047 s] Raw data (loadavg): 1.14 1.15 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 531 0 0 0 20966 9358 0 0 16 0 1 0 1723109279 3293184 501 4294967295 134512640 134702520 3221223968 3221222864 134554289 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 804 501 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 303.25 Current children cumulated vsize (Kb) 5344 [startup+510.048 s] Raw data (loadavg): 1.12 1.15 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 533 0 0 0 21493 9510 0 0 16 0 1 0 1723109279 3293184 503 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 804 503 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 310.04 Current children cumulated vsize (Kb) 5344 [startup+520.05 s] Raw data (loadavg): 1.10 1.14 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 535 0 0 0 22066 9650 0 0 16 0 1 0 1723109279 3293184 505 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 804 505 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 317.17 Current children cumulated vsize (Kb) 5344 [startup+530.05 s] Raw data (loadavg): 1.08 1.14 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 537 0 0 0 22451 9852 0 0 16 0 1 0 1723109279 3293184 507 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 804 507 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 323.04 Current children cumulated vsize (Kb) 5344 [startup+540.05 s] Raw data (loadavg): 1.15 1.15 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 540 0 0 0 23068 9974 0 0 16 0 1 0 1723109279 3293184 510 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 804 510 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 330.43 Current children cumulated vsize (Kb) 5344 [startup+550.052 s] Raw data (loadavg): 1.13 1.14 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 542 0 0 0 23434 10189 0 0 15 0 1 0 1723109279 3293184 512 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 804 512 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 336.24 Current children cumulated vsize (Kb) 5344 [startup+560.052 s] Raw data (loadavg): 1.11 1.14 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 547 0 0 0 24041 10315 0 0 16 0 1 0 1723109279 3293184 517 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 804 517 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 343.57 Current children cumulated vsize (Kb) 5344 [startup+570.052 s] Raw data (loadavg): 1.09 1.13 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 550 0 0 0 24621 10455 0 0 16 0 1 0 1723109279 3293184 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 804 520 413 48 0 756 0 [pid=1329] vsize: 3216 Current children cumulated CPU time (s) 350.77 Current children cumulated vsize (Kb) 5344 [startup+580.053 s] Raw data (loadavg): 1.08 1.13 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 552 0 0 0 25041 10642 0 0 16 0 1 0 1723109279 3416064 522 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 834 522 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 356.84 Current children cumulated vsize (Kb) 5464 [startup+590.053 s] Raw data (loadavg): 1.06 1.12 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 556 0 0 0 25671 10768 0 0 16 0 1 0 1723109279 3416064 526 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 834 526 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 364.4 Current children cumulated vsize (Kb) 5464 [startup+600.055 s] Raw data (loadavg): 1.05 1.12 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 559 0 0 0 26103 10950 0 0 16 0 1 0 1723109279 3416064 529 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 834 529 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 370.54 Current children cumulated vsize (Kb) 5464 [startup+610.056 s] Raw data (loadavg): 1.12 1.13 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 561 0 0 0 26694 11081 0 0 16 0 1 0 1723109279 3416064 531 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 834 531 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 377.76 Current children cumulated vsize (Kb) 5464 [startup+620.055 s] Raw data (loadavg): 1.10 1.13 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 566 0 0 0 27330 11203 0 0 16 0 1 0 1723109279 3416064 536 4294967295 134512640 134702520 3221223968 3221223088 134572622 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 834 536 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 385.34 Current children cumulated vsize (Kb) 5464 [startup+630.056 s] Raw data (loadavg): 1.24 1.15 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 567 0 0 0 27711 11409 0 0 16 0 1 0 1723109279 3416064 537 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 834 537 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 391.21 Current children cumulated vsize (Kb) 5464 [startup+640.057 s] Raw data (loadavg): 1.20 1.15 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 571 0 0 0 28338 11534 0 0 16 0 1 0 1723109279 3416064 541 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 834 541 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 398.73 Current children cumulated vsize (Kb) 5464 [startup+650.057 s] Raw data (loadavg): 1.17 1.14 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 574 0 0 0 28905 11680 0 0 15 0 1 0 1723109279 3416064 544 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 834 544 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 405.86 Current children cumulated vsize (Kb) 5464 [startup+660.058 s] Raw data (loadavg): 1.15 1.14 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 576 0 0 0 29343 11867 0 0 16 0 1 0 1723109279 3416064 546 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 834 546 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 412.11 Current children cumulated vsize (Kb) 5464 [startup+670.059 s] Raw data (loadavg): 1.12 1.13 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 579 0 0 0 29972 11994 0 0 16 0 1 0 1723109279 3416064 549 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 834 549 413 48 0 786 0 [pid=1329] vsize: 3336 Current children cumulated CPU time (s) 419.67 Current children cumulated vsize (Kb) 5464 [startup+680.059 s] Raw data (loadavg): 1.10 1.13 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 582 0 0 0 30478 12156 0 0 15 0 1 0 1723109279 3551232 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 867 552 413 48 0 819 0 [pid=1329] vsize: 3468 Current children cumulated CPU time (s) 426.35 Current children cumulated vsize (Kb) 5596 [startup+690.06 s] Raw data (loadavg): 1.09 1.12 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 585 0 0 0 30983 12319 0 0 16 0 1 0 1723109279 3543040 555 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 865 555 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 433.03 Current children cumulated vsize (Kb) 5588 [startup+700.062 s] Raw data (loadavg): 1.07 1.12 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 588 0 0 0 31654 12428 0 0 16 0 1 0 1723109279 3543040 558 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 865 558 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 440.83 Current children cumulated vsize (Kb) 5588 [startup+710.062 s] Raw data (loadavg): 1.06 1.11 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 590 0 0 0 32086 12610 0 0 16 0 1 0 1723109279 3543040 560 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 865 560 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 446.97 Current children cumulated vsize (Kb) 5588 [startup+720.062 s] Raw data (loadavg): 1.12 1.13 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 593 0 0 0 32682 12748 0 0 16 0 1 0 1723109279 3543040 563 4294967295 134512640 134702520 3221223968 3221223248 134552246 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 865 563 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 454.31 Current children cumulated vsize (Kb) 5588 [startup+730.063 s] Raw data (loadavg): 1.18 1.14 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 596 0 0 0 33328 12863 0 0 16 0 1 0 1723109279 3543040 566 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 865 566 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 461.92 Current children cumulated vsize (Kb) 5588 [startup+740.064 s] Raw data (loadavg): 1.15 1.13 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 597 0 0 0 33732 13051 0 0 16 0 1 0 1723109279 3543040 567 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 865 567 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 467.84 Current children cumulated vsize (Kb) 5588 [startup+750.064 s] Raw data (loadavg): 1.13 1.13 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 599 0 0 0 34384 13163 0 0 16 0 1 0 1723109279 3543040 569 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 865 569 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 475.48 Current children cumulated vsize (Kb) 5588 [startup+760.065 s] Raw data (loadavg): 1.19 1.14 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 604 0 0 0 35022 13280 0 0 16 0 1 0 1723109279 3543040 574 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 865 574 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 483.03 Current children cumulated vsize (Kb) 5588 [startup+770.066 s] Raw data (loadavg): 1.16 1.14 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 606 0 0 0 35456 13467 0 0 16 0 1 0 1723109279 3543040 576 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 865 576 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 489.24 Current children cumulated vsize (Kb) 5588 [startup+780.066 s] Raw data (loadavg): 1.13 1.13 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 607 0 0 0 36099 13586 0 0 16 0 1 0 1723109279 3543040 577 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 865 577 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 496.86 Current children cumulated vsize (Kb) 5588 [startup+790.067 s] Raw data (loadavg): 1.11 1.13 1.07 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 608 0 0 0 36788 13685 0 0 16 0 1 0 1723109279 3543040 578 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 865 578 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 504.74 Current children cumulated vsize (Kb) 5588 [startup+800.068 s] Raw data (loadavg): 1.18 1.14 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 610 0 0 0 37227 13871 0 0 16 0 1 0 1723109279 3543040 580 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 865 580 413 48 0 817 0 [pid=1329] vsize: 3460 Current children cumulated CPU time (s) 510.99 Current children cumulated vsize (Kb) 5588 [startup+810.068 s] Raw data (loadavg): 1.15 1.13 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 613 0 0 0 37817 14007 0 0 16 0 1 0 1723109279 3670016 583 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 896 583 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 518.25 Current children cumulated vsize (Kb) 5712 [startup+820.069 s] Raw data (loadavg): 1.20 1.14 1.08 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 615 0 0 0 38505 14109 0 0 16 0 1 0 1723109279 3670016 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 896 585 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 526.15 Current children cumulated vsize (Kb) 5712 [startup+830.07 s] Raw data (loadavg): 1.17 1.14 1.08 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 619 0 0 0 39023 14263 0 0 16 0 1 0 1723109279 3670016 589 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 896 589 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 532.87 Current children cumulated vsize (Kb) 5712 [startup+840.07 s] Raw data (loadavg): 1.15 1.13 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 619 0 0 0 39579 14407 0 0 16 0 1 0 1723109279 3670016 589 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 896 589 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 539.87 Current children cumulated vsize (Kb) 5712 [startup+850.072 s] Raw data (loadavg): 1.12 1.13 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 622 0 0 0 40226 14529 0 0 15 0 1 0 1723109279 3670016 592 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 896 592 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 547.56 Current children cumulated vsize (Kb) 5712 [startup+860.073 s] Raw data (loadavg): 1.10 1.12 1.07 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 623 0 0 0 40837 14659 0 0 15 0 1 0 1723109279 3670016 593 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 896 593 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 554.97 Current children cumulated vsize (Kb) 5712 [startup+870.072 s] Raw data (loadavg): 1.09 1.12 1.07 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 624 0 0 0 41279 14841 0 0 16 0 1 0 1723109279 3670016 594 4294967295 134512640 134702520 3221223968 3221223360 134605854 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 896 594 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 561.21 Current children cumulated vsize (Kb) 5712 [startup+880.074 s] Raw data (loadavg): 1.07 1.12 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 626 0 0 0 41966 14940 0 0 16 0 1 0 1723109279 3670016 596 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 896 596 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 569.07 Current children cumulated vsize (Kb) 5712 [startup+890.075 s] Raw data (loadavg): 1.06 1.11 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 631 0 0 0 42660 15036 0 0 16 0 1 0 1723109279 3670016 601 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 896 601 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 576.97 Current children cumulated vsize (Kb) 5712 [startup+900.076 s] Raw data (loadavg): 1.13 1.12 1.07 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 632 0 0 0 43050 15236 0 0 16 0 1 0 1723109279 3670016 602 4294967295 134512640 134702520 3221223968 3221223512 134571901 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 896 602 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 582.87 Current children cumulated vsize (Kb) 5712 [startup+910.077 s] Raw data (loadavg): 1.18 1.14 1.08 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 634 0 0 0 43747 15338 0 0 16 0 1 0 1723109279 3670016 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 896 604 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 590.86 Current children cumulated vsize (Kb) 5712 [startup+920.077 s] Raw data (loadavg): 1.16 1.13 1.08 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 636 0 0 0 44422 15448 0 0 16 0 1 0 1723109279 3670016 606 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 896 606 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 598.71 Current children cumulated vsize (Kb) 5712 [startup+930.078 s] Raw data (loadavg): 1.13 1.13 1.08 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 638 0 0 0 44863 15630 0 0 16 0 1 0 1723109279 3670016 608 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 896 608 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 604.94 Current children cumulated vsize (Kb) 5712 [startup+940.078 s] Raw data (loadavg): 1.11 1.12 1.08 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 640 0 0 0 45501 15752 0 0 15 0 1 0 1723109279 3670016 610 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 896 610 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 612.54 Current children cumulated vsize (Kb) 5712 [startup+950.08 s] Raw data (loadavg): 1.09 1.12 1.07 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 642 0 0 0 46165 15862 0 0 16 0 1 0 1723109279 3670016 612 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 896 612 413 48 0 848 0 [pid=1329] vsize: 3584 Current children cumulated CPU time (s) 620.28 Current children cumulated vsize (Kb) 5712 [startup+960.081 s] Raw data (loadavg): 1.08 1.11 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 644 0 0 0 46828 15973 0 0 16 0 1 0 1723109279 3805184 614 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 929 614 413 48 0 881 0 [pid=1329] vsize: 3716 Current children cumulated CPU time (s) 628.02 Current children cumulated vsize (Kb) 5844 [startup+970.081 s] Raw data (loadavg): 1.07 1.11 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 646 0 0 0 47272 16150 0 0 16 0 1 0 1723109279 3801088 616 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 928 616 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 634.23 Current children cumulated vsize (Kb) 5840 [startup+980.082 s] Raw data (loadavg): 1.06 1.10 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 647 0 0 0 47941 16266 0 0 16 0 1 0 1723109279 3801088 617 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 617 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (Kb) 5840 [startup+990.083 s] Raw data (loadavg): 1.05 1.10 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 648 0 0 0 48632 16363 0 0 16 0 1 0 1723109279 3801088 618 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 618 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 649.96 Current children cumulated vsize (Kb) 5840 [startup+1000.08 s] Raw data (loadavg): 1.04 1.10 1.07 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 649 0 0 0 49105 16532 0 0 16 0 1 0 1723109279 3801088 619 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 619 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 656.38 Current children cumulated vsize (Kb) 5840 [startup+1010.09 s] Raw data (loadavg): 1.03 1.09 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 652 0 0 0 49764 16645 0 0 16 0 1 0 1723109279 3801088 622 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 622 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 664.1 Current children cumulated vsize (Kb) 5840 [startup+1020.09 s] Raw data (loadavg): 1.03 1.09 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 655 0 0 0 50454 16748 0 0 16 0 1 0 1723109279 3801088 625 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 625 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 672.03 Current children cumulated vsize (Kb) 5840 [startup+1030.09 s] Raw data (loadavg): 1.02 1.09 1.07 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 657 0 0 0 51136 16857 0 0 16 0 1 0 1723109279 3801088 627 4294967295 134512640 134702520 3221223968 3221223168 134617472 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 627 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 679.94 Current children cumulated vsize (Kb) 5840 [startup+1040.09 s] Raw data (loadavg): 1.02 1.08 1.07 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 657 0 0 0 51538 17051 0 0 16 0 1 0 1723109279 3801088 627 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 928 627 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 685.9 Current children cumulated vsize (Kb) 5840 [startup+1050.09 s] Raw data (loadavg): 1.02 1.08 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 659 0 0 0 52223 17152 0 0 16 0 1 0 1723109279 3801088 629 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 629 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 693.76 Current children cumulated vsize (Kb) 5840 [startup+1060.09 s] Raw data (loadavg): 1.01 1.08 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 660 0 0 0 52917 17252 0 0 16 0 1 0 1723109279 3801088 630 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 630 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 701.7 Current children cumulated vsize (Kb) 5840 [startup+1070.09 s] Raw data (loadavg): 1.01 1.07 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 662 0 0 0 53459 17402 0 0 16 0 1 0 1723109279 3801088 632 4294967295 134512640 134702520 3221223968 3221222864 134552731 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 632 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 708.62 Current children cumulated vsize (Kb) 5840 [startup+1080.09 s] Raw data (loadavg): 1.01 1.07 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 664 0 0 0 53995 17558 0 0 16 0 1 0 1723109279 3801088 634 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 928 634 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 715.54 Current children cumulated vsize (Kb) 5840 [startup+1090.09 s] Raw data (loadavg): 1.01 1.07 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 664 0 0 0 54685 17655 0 0 16 0 1 0 1723109279 3801088 634 4294967295 134512640 134702520 3221223968 3221223088 134586058 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 634 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 723.41 Current children cumulated vsize (Kb) 5840 [startup+1100.09 s] Raw data (loadavg): 1.00 1.06 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 664 0 0 0 55375 17759 0 0 15 0 1 0 1723109279 3801088 634 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 634 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 731.35 Current children cumulated vsize (Kb) 5840 [startup+1110.09 s] Raw data (loadavg): 1.00 1.06 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 664 0 0 0 55791 17946 0 0 16 0 1 0 1723109279 3801088 634 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 634 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 737.38 Current children cumulated vsize (Kb) 5840 [startup+1120.09 s] Raw data (loadavg): 1.00 1.06 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 665 0 0 0 56491 18044 0 0 16 0 1 0 1723109279 3801088 635 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 928 635 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 745.36 Current children cumulated vsize (Kb) 5840 [startup+1130.09 s] Raw data (loadavg): 1.00 1.06 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 665 0 0 0 57192 18143 0 0 16 0 1 0 1723109279 3801088 635 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 928 635 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 753.36 Current children cumulated vsize (Kb) 5840 [startup+1140.09 s] Raw data (loadavg): 1.00 1.05 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 667 0 0 0 57890 18242 0 0 16 0 1 0 1723109279 3801088 637 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 637 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 761.33 Current children cumulated vsize (Kb) 5840 [startup+1150.1 s] Raw data (loadavg): 1.07 1.07 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 668 0 0 0 58288 18439 0 0 16 0 1 0 1723109279 3801088 638 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 928 638 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 767.28 Current children cumulated vsize (Kb) 5840 [startup+1160.1 s] Raw data (loadavg): 1.06 1.07 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 669 0 0 0 58976 18541 0 0 16 0 1 0 1723109279 3801088 639 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 928 639 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 775.18 Current children cumulated vsize (Kb) 5840 [startup+1170.1 s] Raw data (loadavg): 1.05 1.06 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 670 0 0 0 59668 18641 0 0 16 0 1 0 1723109279 3801088 640 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 928 640 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 783.1 Current children cumulated vsize (Kb) 5840 [startup+1180.1 s] Raw data (loadavg): 1.04 1.06 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 670 0 0 0 60393 18733 0 0 16 0 1 0 1723109279 3801088 640 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 640 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 791.27 Current children cumulated vsize (Kb) 5840 [startup+1190.1 s] Raw data (loadavg): 1.04 1.06 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 672 0 0 0 60808 18920 0 0 16 0 1 0 1723109279 3801088 642 4294967295 134512640 134702520 3221223968 3221223248 134553369 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 928 642 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 797.29 Current children cumulated vsize (Kb) 5840 [startup+1200.1 s] Raw data (loadavg): 1.03 1.06 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 673 0 0 0 61509 19023 0 0 16 0 1 0 1723109279 3801088 643 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 928 643 413 48 0 880 0 [pid=1329] vsize: 3712 Current children cumulated CPU time (s) 805.33 Current children cumulated vsize (Kb) 5840 [startup+1210.1 s] Raw data (loadavg): 1.02 1.05 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 677 0 0 0 62204 19120 0 0 16 0 1 0 1723109279 3932160 647 4294967295 134512640 134702520 3221223968 3221223444 1074952478 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 647 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 813.25 Current children cumulated vsize (Kb) 5968 [startup+1220.1 s] Raw data (loadavg): 1.02 1.05 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 678 0 0 0 62887 19225 0 0 16 0 1 0 1723109279 3932160 648 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 648 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 821.13 Current children cumulated vsize (Kb) 5968 [startup+1230.1 s] Raw data (loadavg): 1.02 1.05 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 679 0 0 0 63334 19401 0 0 16 0 1 0 1723109279 3932160 649 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 649 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 827.36 Current children cumulated vsize (Kb) 5968 [startup+1240.1 s] Raw data (loadavg): 1.01 1.05 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 679 0 0 0 64030 19503 0 0 16 0 1 0 1723109279 3932160 649 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 649 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 835.34 Current children cumulated vsize (Kb) 5968 [startup+1250.1 s] Raw data (loadavg): 1.01 1.05 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 682 0 0 0 64716 19607 0 0 16 0 1 0 1723109279 3932160 652 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 652 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 843.24 Current children cumulated vsize (Kb) 5968 [startup+1260.11 s] Raw data (loadavg): 1.09 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 683 0 0 0 65403 19705 0 0 16 0 1 0 1723109279 3932160 653 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 653 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 851.09 Current children cumulated vsize (Kb) 5968 [startup+1270.11 s] Raw data (loadavg): 1.07 1.06 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 683 0 0 0 65858 19880 0 0 16 0 1 0 1723109279 3932160 653 4294967295 134512640 134702520 3221223968 3221223248 134550642 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 653 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 857.39 Current children cumulated vsize (Kb) 5968 [startup+1280.11 s] Raw data (loadavg): 1.06 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 683 0 0 0 66556 19977 0 0 16 0 1 0 1723109279 3932160 653 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 653 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 865.34 Current children cumulated vsize (Kb) 5968 [startup+1290.11 s] Raw data (loadavg): 1.05 1.05 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 685 0 0 0 67254 20077 0 0 16 0 1 0 1723109279 3932160 655 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 655 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 873.32 Current children cumulated vsize (Kb) 5968 [startup+1300.11 s] Raw data (loadavg): 1.04 1.05 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 685 0 0 0 67992 20165 0 0 16 0 1 0 1723109279 3932160 655 4294967295 134512640 134702520 3221223968 3221223248 134553460 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 655 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 881.58 Current children cumulated vsize (Kb) 5968 [startup+1310.11 s] Raw data (loadavg): 1.04 1.05 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 686 0 0 0 68383 20359 0 0 16 0 1 0 1723109279 3932160 656 4294967295 134512640 134702520 3221223968 3221223248 134552910 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 656 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 887.43 Current children cumulated vsize (Kb) 5968 [startup+1320.11 s] Raw data (loadavg): 1.03 1.05 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 688 0 0 0 69074 20461 0 0 16 0 1 0 1723109279 3932160 658 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 658 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 895.36 Current children cumulated vsize (Kb) 5968 [startup+1330.11 s] Raw data (loadavg): 1.03 1.05 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 690 0 0 0 69810 20549 0 0 16 0 1 0 1723109279 3932160 660 4294967295 134512640 134702520 3221223968 3221223152 134618031 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 660 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 903.6 Current children cumulated vsize (Kb) 5968 [startup+1340.11 s] Raw data (loadavg): 1.02 1.04 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 690 0 0 0 70299 20722 0 0 16 0 1 0 1723109279 3932160 660 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 660 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 910.22 Current children cumulated vsize (Kb) 5968 [startup+1350.11 s] Raw data (loadavg): 1.02 1.04 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 70646 20929 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 915.76 Current children cumulated vsize (Kb) 5968 [startup+1360.11 s] Raw data (loadavg): 1.09 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 71081 21110 0 0 15 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 921.92 Current children cumulated vsize (Kb) 5968 [startup+1370.11 s] Raw data (loadavg): 1.07 1.05 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 71431 21317 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 927.49 Current children cumulated vsize (Kb) 5968 [startup+1380.11 s] Raw data (loadavg): 1.14 1.07 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 71857 21508 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 933.66 Current children cumulated vsize (Kb) 5968 [startup+1390.11 s] Raw data (loadavg): 1.12 1.07 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 72256 21696 0 0 15 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 939.53 Current children cumulated vsize (Kb) 5968 [startup+1400.12 s] Raw data (loadavg): 1.10 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 72638 21894 0 0 15 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 945.33 Current children cumulated vsize (Kb) 5968 [startup+1410.12 s] Raw data (loadavg): 1.08 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 73087 22069 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 951.57 Current children cumulated vsize (Kb) 5968 [startup+1420.12 s] Raw data (loadavg): 1.07 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 73453 22272 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 957.26 Current children cumulated vsize (Kb) 5968 [startup+1430.12 s] Raw data (loadavg): 1.06 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 73975 22424 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 964 Current children cumulated vsize (Kb) 5968 [startup+1440.12 s] Raw data (loadavg): 1.05 1.05 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 74303 22645 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223248 134553123 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 969.49 Current children cumulated vsize (Kb) 5968 [startup+1450.12 s] Raw data (loadavg): 1.04 1.05 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 74864 22790 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 976.55 Current children cumulated vsize (Kb) 5968 [startup+1460.12 s] Raw data (loadavg): 1.12 1.07 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 75205 23008 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 982.14 Current children cumulated vsize (Kb) 5968 [startup+1470.12 s] Raw data (loadavg): 1.10 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 75764 23150 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 989.15 Current children cumulated vsize (Kb) 5968 [startup+1480.12 s] Raw data (loadavg): 1.08 1.06 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 76175 23344 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 995.2 Current children cumulated vsize (Kb) 5968 [startup+1490.12 s] Raw data (loadavg): 1.07 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 76714 23495 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (Kb) 5968 [startup+1500.12 s] Raw data (loadavg): 1.06 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 77173 23675 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1008.49 Current children cumulated vsize (Kb) 5968 [startup+1510.13 s] Raw data (loadavg): 1.13 1.07 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 77657 23840 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1014.98 Current children cumulated vsize (Kb) 5968 [startup+1520.12 s] Raw data (loadavg): 1.11 1.07 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 78176 23998 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1021.75 Current children cumulated vsize (Kb) 5968 [startup+1530.13 s] Raw data (loadavg): 1.09 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 78595 24186 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1027.82 Current children cumulated vsize (Kb) 5968 [startup+1540.13 s] Raw data (loadavg): 1.08 1.06 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 79191 24320 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223248 134553305 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1035.12 Current children cumulated vsize (Kb) 5968 [startup+1550.13 s] Raw data (loadavg): 1.06 1.06 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 79562 24525 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1040.88 Current children cumulated vsize (Kb) 5968 [startup+1560.13 s] Raw data (loadavg): 1.13 1.07 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 80134 24663 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1047.98 Current children cumulated vsize (Kb) 5968 [startup+1570.13 s] Raw data (loadavg): 1.11 1.07 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 80549 24857 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1054.07 Current children cumulated vsize (Kb) 5968 [startup+1580.13 s] Raw data (loadavg): 1.17 1.08 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 81100 25002 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1061.03 Current children cumulated vsize (Kb) 5968 [startup+1590.13 s] Raw data (loadavg): 1.14 1.08 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 81682 25141 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1068.24 Current children cumulated vsize (Kb) 5968 [startup+1600.13 s] Raw data (loadavg): 1.12 1.08 1.05 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 82102 25328 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223248 134553451 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1074.31 Current children cumulated vsize (Kb) 5968 [startup+1610.13 s] Raw data (loadavg): 1.18 1.09 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 82731 25451 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1081.83 Current children cumulated vsize (Kb) 5968 [startup+1620.13 s] Raw data (loadavg): 1.15 1.09 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 83125 25648 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1087.74 Current children cumulated vsize (Kb) 5968 [startup+1630.13 s] Raw data (loadavg): 1.13 1.08 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 83723 25784 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1095.08 Current children cumulated vsize (Kb) 5968 [startup+1640.13 s] Raw data (loadavg): 1.11 1.08 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 84335 25913 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1102.49 Current children cumulated vsize (Kb) 5968 [startup+1650.13 s] Raw data (loadavg): 1.17 1.10 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 84736 26111 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1108.48 Current children cumulated vsize (Kb) 5968 [startup+1660.14 s] Raw data (loadavg): 1.15 1.09 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 85356 26234 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1115.91 Current children cumulated vsize (Kb) 5968 [startup+1670.14 s] Raw data (loadavg): 1.20 1.10 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 85890 26378 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1122.69 Current children cumulated vsize (Kb) 5968 [startup+1680.14 s] Raw data (loadavg): 1.17 1.10 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 86373 26551 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1129.25 Current children cumulated vsize (Kb) 5968 [startup+1690.14 s] Raw data (loadavg): 1.14 1.10 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 87026 26668 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1136.95 Current children cumulated vsize (Kb) 5968 [startup+1700.14 s] Raw data (loadavg): 1.12 1.09 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 87436 26862 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 661 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1142.99 Current children cumulated vsize (Kb) 5968 [startup+1710.14 s] Raw data (loadavg): 1.10 1.09 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 692 0 0 0 88063 26986 0 0 16 0 1 0 1723109279 3932160 662 4294967295 134512640 134702520 3221223968 3221223240 134553180 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 662 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1150.5 Current children cumulated vsize (Kb) 5968 [startup+1720.14 s] Raw data (loadavg): 1.09 1.08 1.06 2/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 692 0 0 0 88694 27112 0 0 16 0 1 0 1723109279 3932160 662 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 662 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1158.07 Current children cumulated vsize (Kb) 5968 [startup+1730.14 s] Raw data (loadavg): 1.07 1.08 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 693 0 0 0 89098 27313 0 0 16 0 1 0 1723109279 3932160 663 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 663 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1164.12 Current children cumulated vsize (Kb) 5968 [startup+1740.14 s] Raw data (loadavg): 1.06 1.08 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 694 0 0 0 89732 27430 0 0 16 0 1 0 1723109279 3932160 664 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 664 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1171.63 Current children cumulated vsize (Kb) 5968 [startup+1750.14 s] Raw data (loadavg): 1.05 1.08 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 694 0 0 0 90405 27538 0 0 16 0 1 0 1723109279 3932160 664 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 664 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1179.44 Current children cumulated vsize (Kb) 5968 [startup+1760.14 s] Raw data (loadavg): 1.04 1.07 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 695 0 0 0 90795 27738 0 0 16 0 1 0 1723109279 3932160 665 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/1329/statm): 960 665 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1185.34 Current children cumulated vsize (Kb) 5968 [startup+1770.14 s] Raw data (loadavg): 1.04 1.07 1.05 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 695 0 0 0 91438 27859 0 0 16 0 1 0 1723109279 3932160 665 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 665 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1192.98 Current children cumulated vsize (Kb) 5968 [startup+1780.14 s] Raw data (loadavg): 1.10 1.08 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 695 0 0 0 92109 27961 0 0 16 0 1 0 1723109279 3932160 665 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 665 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1200.71 Current children cumulated vsize (Kb) 5968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1780.15 s] Raw data (loadavg): 1.10 1.08 1.06 1/58 1329 Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/1326/statm): 532 242 485 147 0 385 0 [pid=1326] vsize: 2128 Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 695 0 0 0 92109 27961 0 0 16 0 1 0 1723109279 3932160 665 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/1329/statm): 960 665 413 48 0 912 0 [pid=1329] vsize: 3840 Current children cumulated CPU time (s) 1200.71 Current children cumulated vsize (Kb) 5968 Sending SIGTERM to -1326 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=1331 New process pid=1332 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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options 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 One traced child (pid=1329) exited with status: 3 open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/822/stat open syscall for file /proc/822/status open syscall for file /proc/822/cmdline open syscall for file /proc/822/environ open syscall for file /proc/823/stat open syscall for file /proc/823/status open syscall for file /proc/823/cmdline open syscall for file /proc/823/environ open syscall for file /proc/1256/stat open syscall for file /proc/1256/status open syscall for file /proc/1256/cmdline open syscall for file /proc/1256/environ open syscall for file /proc/1260/stat open syscall for file /proc/1260/status open syscall for file /proc/1260/cmdline open syscall for file /proc/1260/environ open syscall for file /proc/1282/stat open syscall for file /proc/1282/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1282/cmdline open syscall for file /proc/1282/environ open syscall for file /proc/1312/stat open syscall for file /proc/1312/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1312/cmdline open syscall for file /proc/1312/environ open syscall for file /proc/1356/stat open syscall for file /proc/1356/status open syscall for file /proc/1356/cmdline open syscall for file /proc/1356/environ open syscall for file /proc/1514/stat open syscall for file /proc/1514/status open syscall for file /proc/1514/cmdline open syscall for file /proc/1514/environ open syscall for file /proc/1538/stat open syscall for file /proc/1538/status open syscall for file /proc/1538/cmdline open syscall for file /proc/1538/environ open syscall for file /proc/1561/stat open syscall for file /proc/1561/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1561/cmdline open syscall for file /proc/1561/environ open syscall for file /proc/1592/stat open syscall for file /proc/1592/status open syscall for file /proc/1592/cmdline open syscall for file /proc/1592/environ open syscall for file /proc/1655/stat open syscall for file /proc/1655/status open syscall for file /proc/1655/cmdline open syscall for file /proc/1655/environ open syscall for file /proc/1656/stat open syscall for file /proc/1656/status open syscall for file /proc/1656/cmdline open syscall for file /proc/1656/environ open syscall for file /proc/1657/stat open syscall for file /proc/1657/status open syscall for file /proc/1657/cmdline open syscall for file /proc/1657/environ open syscall for file /proc/1658/stat open syscall for file /proc/1658/status open syscall for file /proc/1658/cmdline open syscall for file /proc/1658/environ open syscall for file /proc/1659/stat open syscall for file /proc/1659/status open syscall for file /proc/1659/cmdline open syscall for file /proc/1659/environ open syscall for file /proc/1660/stat open syscall for file /proc/1660/status open syscall for file /proc/1660/cmdline open syscall for file /proc/1660/environ open syscall for file /proc/1661/stat open syscall for file /proc/1661/status open syscall for file /proc/1661/cmdline open syscall for file /proc/1661/environ open syscall for file /proc/9854/stat open syscall for file /proc/9854/status open syscall for file /proc/9854/cmdline open syscall for file /proc/9854/environ open syscall for file /proc/23373/stat open syscall for file /proc/23373/status open syscall for file /proc/23373/cmdline open syscall for file /proc/23373/environ open syscall for file /proc/23400/stat open syscall for file /proc/23400/status open syscall for file /proc/23400/cmdline open syscall for file /proc/23400/environ open syscall for file /proc/23424/stat open syscall for file /proc/23424/status open syscall for file /proc/23424/cmdline open syscall for file /proc/23424/environ open syscall for file /proc/6632/stat open syscall for file /proc/6632/status open syscall for file /proc/6632/cmdline open syscall for file /proc/6632/environ open syscall for file /proc/7718/stat open syscall for file /proc/7718/status open syscall for file /proc/7718/cmdline open syscall for file /proc/7718/environ open syscall for file /proc/20012/stat open syscall for file /proc/20012/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/20012/cmdline open syscall for file /proc/20012/environ open syscall for file /proc/20048/stat open syscall for file /proc/20048/status open syscall for file /proc/20048/cmdline open syscall for file /proc/20048/environ open syscall for file /proc/20602/stat open syscall for file /proc/20602/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/20602/cmdline open syscall for file /proc/20602/environ open syscall for file /proc/20603/stat open syscall for file /proc/20603/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/20603/cmdline open syscall for file /proc/20603/environ open syscall for file /proc/20612/stat open syscall for file /proc/20612/status open syscall for file /proc/20612/cmdline open syscall for file /proc/20612/environ open syscall for file /proc/1288/stat open syscall for file /proc/1288/status open syscall for file /proc/1288/cmdline open syscall for file /proc/1288/environ open syscall for file /proc/1325/stat open syscall for file /proc/1325/status open syscall for file /proc/1325/cmdline open syscall for file /proc/1325/environ open syscall for file /proc/1326/stat open syscall for file /proc/1326/status open syscall for file /proc/1326/cmdline open syscall for file /proc/1326/environ open syscall for file /proc/1331/stat open syscall for file /proc/1331/status open syscall for file /proc/1331/cmdline open syscall for file /proc/1331/environ open syscall for file /proc/1332/stat open syscall for file /proc/1332/status open syscall for file /proc/1332/cmdline open syscall for file /proc/1332/environ One traced child (pid=1331) exited with status: 0 One traced child (pid=1332) exited with status: 0 New process pid=1333 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=1333) exited with status: 0 New process pid=1334 execve syscall for /bin/nice 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 /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.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/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf open syscall for file /tmp/vallst_sh_out_theory.vnf One traced child (pid=1334) exited with status: 0 New process pid=1335 execve syscall for /bin/cp executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.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/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options open syscall for file /tmp/vallst_sh_changing_setting.options One traced child (pid=1335) exited with status: 0 New process pid=1336 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=1336) exited with status: 0 One traced child (pid=1326) 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): 1780.69 CPU time (s): 1200.89 CPU user time (s): 921.162 CPU system time (s): 279.725 CPU usage (%): 67.4394 Max. virtual memory (cumulated for all children) (Kb): 5968
ERROR: no interpretation found !