Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 5fcfa2f72175b9723ffb2781fb76fcdc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 667.773 |
Number of variables | 89 |
Total number of constraints | 117 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 47 |
LAUNCH ON wulflinc22 THE 2005-09-19 06:04:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7549 boxname=wulflinc22 idbench=517 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5fcfa2f72175b9723ffb2781fb76fcdc /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-lseu.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-lseu.opb 0 IDLAUNCH: 7549 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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.031 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: 885712 kB Buffers: 35960 kB Cached: 85700 kB SwapCached: 536 kB Active: 74140 kB Inactive: 50008 kB HighTotal: 131008 kB HighFree: 43316 kB LowTotal: 903652 kB LowFree: 842396 kB SwapTotal: 2097892 kB SwapFree: 2096832 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5864 kB Slab: 19136 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 06:32:51 (client local time) WITH STATUS 0 IN 1206.09 SECONDS stats: 7549 7 1206.09 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 0 (#equs: 0) #decisions: 23; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #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: 12559 (2934:>=*); #decisions: 18; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #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: 12580 (2913:>=*); #decisions: 26; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 29, #non-axs: 8 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: 12604 (2889:>=*); #decisions: 21; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 29, #non-axs: 10 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: 12605 (2888:>=*); #decisions: 16; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 10 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: 12624 (2869:>=*); #decisions: 17; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 11 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: 12685 (2808:>=*); #decisions: 28; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 29, #non-axs: 17 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: 12694 (2799:>=*); #decisions: 24; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 18 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: 12773 (2720:>=*); #decisions: 36; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 29, #non-axs: 23 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: 12867 (2626:>=*); #decisions: 30; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 29, #non-axs: 31 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: 12951 (2542:>=*); #decisions: 17; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 32 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: 12970 (2523:>=*); #decisions: 26; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 29, #non-axs: 36 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: 12986 (2507:>=*); #decisions: 17; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 36 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: 12989 (2504:>=*); #decisions: 27; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 29, #non-axs: 40 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: 13010 (2483:>=*); #decisions: 20; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 41 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: 13013 (2480:>=*); #decisions: 106; #end-nodes: 75; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 75 / 80 (80) #axs: 29, #non-axs: 87 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: 13029 (2464:>=*); #decisions: 71; #end-nodes: 37; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 37 / 80 (80) #axs: 29, #non-axs: 113 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: 13098 (2395:>=*); #decisions: 96; #end-nodes: 70; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 70 / 80 (80) #axs: 29, #non-axs: 159 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: 13138 (2355:>=*); #decisions: 234; #end-nodes: 182; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 22 / 80 (80) #axs: 29, #non-axs: 289 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: 13152 (2341:>=*); #decisions: 50; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 29, #non-axs: 297 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: 13190 (2303:>=*); #decisions: 16; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 297 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: 13198 (2295:>=*); #decisions: 24; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 29, #non-axs: 301 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: 13262 (2231:>=*); #decisions: 43; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 80 (80) #axs: 29, #non-axs: 316 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: 13288 (2205:>=*); #decisions: 445; #end-nodes: 347; #proof improvement attempts: 0; #restarts: 4 Current batch, end-nodes: 26 / 81 (81) #axs: 29, #non-axs: 460 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: 13311 (2182:>=*); #decisions: 16; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 460 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: 13397 (2096:>=*); #decisions: 12; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 460 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: 13403 (2090:>=*); #decisions: 17; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 29, #non-axs: 460 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: 13412 (2081:>=*); #decisions: 38; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 29, #non-axs: 460 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: 13413 (2080:>=*); #decisions: 11; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 460 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: 13419 (2074:>=*); #decisions: 120; #end-nodes: 86; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 6 / 80 (80) #axs: 29, #non-axs: 463 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: 13466 (2027:>=*); #decisions: 28; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 29, #non-axs: 464 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: 13475 (2018:>=*); #decisions: 287; #end-nodes: 222; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 61 / 80 (80) #axs: 29, #non-axs: 528 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: 13495 (1998:>=*); #decisions: 156; #end-nodes: 127; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 47 / 80 (80) #axs: 29, #non-axs: 565 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: 13564 (1929:>=*); #decisions: 88; #end-nodes: 67; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 67 / 80 (80) #axs: 29, #non-axs: 608 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: 13565 (1928:>=*); #decisions: 20; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 29, #non-axs: 610 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: 13582 (1911:>=*); #decisions: 348; #end-nodes: 260; #proof improvement attempts: 0; #restarts: 3 Current batch, end-nodes: 19 / 80 (80) #axs: 29, #non-axs: 763 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: 13592 (1901:>=*); #decisions: 801; #end-nodes: 657; #proof improvement attempts: 0; #restarts: 8 Current batch, end-nodes: 5 / 82 (82) #axs: 29, #non-axs: 1002 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: 13615 (1878:>=*); #decisions: 1952; #end-nodes: 1536; #proof improvement attempts: 0; #restarts: 18 Current batch, end-nodes: 57 / 84 (84) #axs: 29, #non-axs: 983 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13682 (1811:>=*); #decisions: 135; #end-nodes: 85; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 5 / 80 (80) #axs: 29, #non-axs: 1016 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13699 (1794:>=*); #decisions: 24; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 29, #non-axs: 1016 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13719 (1774:>=*); #decisions: 40; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 80 (80) #axs: 29, #non-axs: 1016 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13801 (1692:>=*); #decisions: 21; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 29, #non-axs: 1016 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13804 (1689:>=*); #decisions: 52; #end-nodes: 37; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 37 / 80 (80) #axs: 29, #non-axs: 1016 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13815 (1678:>=*); #decisions: 21; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 29, #non-axs: 1016 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13839 (1654:>=*); #decisions: 26; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 29, #non-axs: 1016 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13883 (1610:>=*); #decisions: 27; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 29, #non-axs: 1016 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13961 (1532:>=*); #decisions: 45; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 29, #non-axs: 1016 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14051 (1442:>=*); #decisions: 2306; #end-nodes: 1731; #proof improvement attempts: 0; #restarts: 20 Current batch, end-nodes: 29 / 85 (85) #axs: 29, #non-axs: 1076 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14070 (1423:>=*); #decisions: 29; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 29, #non-axs: 1076 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14090 (1403:>=*); #decisions: 7420; #end-nodes: 5546; #proof improvement attempts: 0; #restarts: 55 Current batch, end-nodes: 32 / 93 (93) #axs: 29, #non-axs: 697 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 12 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14099 (1394:>=*); #decisions: 151; #end-nodes: 106; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 26 / 80 (80) #axs: 29, #non-axs: 719 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 12 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14136 (1357:>=*); #decisions: 61; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 80 (80) #axs: 29, #non-axs: 720 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 12 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14145 (1348:>=*); #decisions: 10172; #end-nodes: 7964; #proof improvement attempts: 0; #restarts: 81 Current batch, end-nodes: 22 / 100 (100) #axs: 29, #non-axs: 78 tight: meta-meta: start: 6, end: 9; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14220 (1273:>=*); #decisions: 4244; #end-nodes: 3266; #proof improvement attempts: 0; #restarts: 35 Current batch, end-nodes: 56 / 88 (88) #axs: 29, #non-axs: 12 tight: meta-meta: start: 6, end: 9; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14238 (1255:>=*); #decisions: 31675; #end-nodes: 25953; #proof improvement attempts: 0; #restarts: 201 Current batch, end-nodes: 129 / 133 (130) #axs: 29, #non-axs: 79 tight: meta-meta: start: 4, end: 5; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14241 (1252:>=*); #decisions: 170802; #end-nodes: 141457; #proof improvement attempts: 0; #restarts: 646 Current batch, end-nodes: 304 / 845 (241) #axs: 29, #non-axs: 49 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14259 (1234:>=*); #decisions: 6033; #end-nodes: 4889; #proof improvement attempts: 0; #restarts: 50 Current batch, end-nodes: 10 / 92 (92) #axs: 29, #non-axs: 49 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14263 (1230:>=*); #decisions: 535219; #end-nodes: 437523; #proof improvement attempts: 0; #restarts: 1130 Current batch, end-nodes: 229 / 362 (362) #axs: 29, #non-axs: 35 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14324 (1169:>=*); #decisions: 48; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 29, #non-axs: 35 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14344 (1149:>=*); #decisions: 691648; #end-nodes: 557329; #proof improvement attempts: 0; #restarts: 1198 Current batch, end-nodes: 1428 / 2233 (379) #axs: 29, #non-axs: 39 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14357 (1136:>=*); #decisions: 1863299; #end-nodes: 1481570; #proof improvement attempts: 0; #restarts: 2023 Current batch, end-nodes: 1184 / 2223 (585) #axs: 29, #non-axs: 9 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14365 (1128:>=*); Interupt request received. Model found with constant: (pushed:) 14365 (1128:>=*) 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: 8 (#equs: 0) Time taken: 20 min, 5 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/6581/stat): 6581 (vallstSAT2005PB) R 6580 6581 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1847594937 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6581/statm): 174 3 169 147 0 27 0 [pid=6581] 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=6582 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=6582) exited with status: 0 New process pid=6583 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=6583) exited with status: 0 New process pid=6584 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/wulflinc22/normalized-mps-v2-20-10-lseu.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0069 s] Raw data (loadavg): 0.93 0.98 0.99 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 256 0 0 0 309 212 0 0 15 0 1 0 1847594944 2293760 226 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 560 226 413 48 0 512 0 [pid=6584] vsize: 2240 Current children cumulated CPU time (s) 5.23 Current children cumulated vsize (Kb) 4368 [startup+20.0077 s] Raw data (loadavg): 1.02 1.00 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 263 0 0 0 596 443 0 0 15 0 1 0 1847594944 2293760 233 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 560 233 413 48 0 512 0 [pid=6584] vsize: 2240 Current children cumulated CPU time (s) 10.41 Current children cumulated vsize (Kb) 4368 [startup+30.0084 s] Raw data (loadavg): 1.09 1.02 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 293 0 0 0 903 670 0 0 15 0 1 0 1847594944 2293760 263 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 560 263 413 48 0 512 0 [pid=6584] vsize: 2240 Current children cumulated CPU time (s) 15.75 Current children cumulated vsize (Kb) 4368 [startup+40.0091 s] Raw data (loadavg): 1.07 1.02 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 309 0 0 0 1200 894 0 0 15 0 1 0 1847594944 2293760 279 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 560 279 413 48 0 512 0 [pid=6584] vsize: 2240 Current children cumulated CPU time (s) 20.96 Current children cumulated vsize (Kb) 4368 [startup+50.0098 s] Raw data (loadavg): 1.06 1.01 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 315 0 0 0 1574 1093 0 0 15 0 1 0 1847594944 2293760 285 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 560 285 413 48 0 512 0 [pid=6584] vsize: 2240 Current children cumulated CPU time (s) 26.69 Current children cumulated vsize (Kb) 4368 [startup+60.0105 s] Raw data (loadavg): 1.05 1.01 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 317 0 0 0 1893 1316 0 0 15 0 1 0 1847594944 2293760 287 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 560 287 413 48 0 512 0 [pid=6584] vsize: 2240 Current children cumulated CPU time (s) 32.11 Current children cumulated vsize (Kb) 4368 [startup+70.0113 s] Raw data (loadavg): 1.04 1.01 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 319 0 0 0 2217 1535 0 0 15 0 1 0 1847594944 2293760 289 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 560 289 413 48 0 512 0 [pid=6584] vsize: 2240 Current children cumulated CPU time (s) 37.54 Current children cumulated vsize (Kb) 4368 [startup+80.012 s] Raw data (loadavg): 1.04 1.01 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 319 0 0 0 2534 1769 0 0 15 0 1 0 1847594944 2293760 289 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 560 289 413 48 0 512 0 [pid=6584] vsize: 2240 Current children cumulated CPU time (s) 43.05 Current children cumulated vsize (Kb) 4368 [startup+90.0127 s] Raw data (loadavg): 1.03 1.01 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 325 0 0 0 2856 1987 0 0 15 0 1 0 1847594944 2293760 295 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 560 295 413 48 0 512 0 [pid=6584] vsize: 2240 Current children cumulated CPU time (s) 48.45 Current children cumulated vsize (Kb) 4368 [startup+100.013 s] Raw data (loadavg): 1.02 1.01 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 335 0 0 0 3248 2189 0 0 15 0 1 0 1847594944 2428928 305 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 593 305 413 48 0 545 0 [pid=6584] vsize: 2372 Current children cumulated CPU time (s) 54.39 Current children cumulated vsize (Kb) 4500 [startup+110.015 s] Raw data (loadavg): 1.09 1.02 1.00 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 343 0 0 0 3664 2386 0 0 15 0 1 0 1847594944 2428928 313 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6584/statm): 593 313 413 48 0 545 0 [pid=6584] vsize: 2372 Current children cumulated CPU time (s) 60.52 Current children cumulated vsize (Kb) 4500 [startup+120.016 s] Raw data (loadavg): 1.15 1.04 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 346 0 0 0 4077 2580 0 0 15 0 1 0 1847594944 2428928 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 593 316 413 48 0 545 0 [pid=6584] vsize: 2372 Current children cumulated CPU time (s) 66.59 Current children cumulated vsize (Kb) 4500 [startup+130.017 s] Raw data (loadavg): 1.13 1.04 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 352 0 0 0 4524 2760 0 0 15 0 1 0 1847594944 2428928 322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 593 322 413 48 0 545 0 [pid=6584] vsize: 2372 Current children cumulated CPU time (s) 72.86 Current children cumulated vsize (Kb) 4500 [startup+140.018 s] Raw data (loadavg): 1.11 1.04 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 362 0 0 0 4970 2950 0 0 15 0 1 0 1847594944 2564096 332 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 626 332 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 79.22 Current children cumulated vsize (Kb) 4632 [startup+150.019 s] Raw data (loadavg): 1.09 1.03 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 366 0 0 0 5414 3137 0 0 15 0 1 0 1847594944 2564096 336 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 626 336 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 85.53 Current children cumulated vsize (Kb) 4632 [startup+160.021 s] Raw data (loadavg): 1.08 1.03 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 371 0 0 0 5862 3318 0 0 15 0 1 0 1847594944 2564096 341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 626 341 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 91.82 Current children cumulated vsize (Kb) 4632 [startup+170.022 s] Raw data (loadavg): 1.06 1.03 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 374 0 0 0 6291 3511 0 0 15 0 1 0 1847594944 2564096 344 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 626 344 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 98.04 Current children cumulated vsize (Kb) 4632 [startup+180.022 s] Raw data (loadavg): 1.05 1.03 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 377 0 0 0 6603 3734 0 0 16 0 1 0 1847594944 2564096 347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 626 347 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 103.39 Current children cumulated vsize (Kb) 4632 [startup+190.023 s] Raw data (loadavg): 1.05 1.03 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 377 0 0 0 6955 3953 0 0 15 0 1 0 1847594944 2564096 347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 626 347 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 109.1 Current children cumulated vsize (Kb) 4632 [startup+200.025 s] Raw data (loadavg): 1.04 1.03 1.00 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 380 0 0 0 7344 4148 0 0 15 0 1 0 1847594944 2564096 350 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 626 350 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 114.94 Current children cumulated vsize (Kb) 4632 [startup+210.025 s] Raw data (loadavg): 1.19 1.06 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 383 0 0 0 7777 4334 0 0 15 0 1 0 1847594944 2564096 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 626 353 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 121.13 Current children cumulated vsize (Kb) 4632 [startup+220.026 s] Raw data (loadavg): 1.16 1.06 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 386 0 0 0 8240 4510 0 0 15 0 1 0 1847594944 2564096 356 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 626 356 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 127.52 Current children cumulated vsize (Kb) 4632 [startup+230.027 s] Raw data (loadavg): 1.13 1.05 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 391 0 0 0 8691 4691 0 0 15 0 1 0 1847594944 2564096 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 626 361 413 48 0 578 0 [pid=6584] vsize: 2504 Current children cumulated CPU time (s) 133.84 Current children cumulated vsize (Kb) 4632 [startup+240.027 s] Raw data (loadavg): 1.11 1.05 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 394 0 0 0 9172 4867 0 0 15 0 1 0 1847594944 2699264 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 364 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 140.41 Current children cumulated vsize (Kb) 4764 [startup+250.028 s] Raw data (loadavg): 1.09 1.05 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 394 0 0 0 9623 5050 0 0 16 0 1 0 1847594944 2699264 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 364 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 146.75 Current children cumulated vsize (Kb) 4764 [startup+260.03 s] Raw data (loadavg): 1.08 1.05 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 394 0 0 0 10093 5228 0 0 15 0 1 0 1847594944 2699264 364 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 364 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 153.23 Current children cumulated vsize (Kb) 4764 [startup+270.031 s] Raw data (loadavg): 1.07 1.05 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 399 0 0 0 10584 5395 0 0 15 0 1 0 1847594944 2699264 369 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 659 369 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 159.81 Current children cumulated vsize (Kb) 4764 [startup+280.031 s] Raw data (loadavg): 1.13 1.06 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 401 0 0 0 11052 5576 0 0 15 0 1 0 1847594944 2699264 371 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 371 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 166.3 Current children cumulated vsize (Kb) 4764 [startup+290.032 s] Raw data (loadavg): 1.11 1.06 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 405 0 0 0 11539 5749 0 0 16 0 1 0 1847594944 2699264 375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 659 375 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 172.9 Current children cumulated vsize (Kb) 4764 [startup+300.033 s] Raw data (loadavg): 1.09 1.06 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 405 0 0 0 11862 5970 0 0 15 0 1 0 1847594944 2699264 375 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 375 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 178.34 Current children cumulated vsize (Kb) 4764 [startup+310.034 s] Raw data (loadavg): 1.08 1.05 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 405 0 0 0 12226 6184 0 0 15 0 1 0 1847594944 2699264 375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 375 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 184.12 Current children cumulated vsize (Kb) 4764 [startup+320.035 s] Raw data (loadavg): 1.07 1.05 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 407 0 0 0 12647 6369 0 0 15 0 1 0 1847594944 2699264 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 377 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 190.18 Current children cumulated vsize (Kb) 4764 [startup+330.036 s] Raw data (loadavg): 1.14 1.07 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 407 0 0 0 13042 6570 0 0 15 0 1 0 1847594944 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 659 377 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 196.14 Current children cumulated vsize (Kb) 4764 [startup+340.038 s] Raw data (loadavg): 1.11 1.06 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 409 0 0 0 13503 6743 0 0 15 0 1 0 1847594944 2699264 379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 379 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 202.48 Current children cumulated vsize (Kb) 4764 [startup+350.038 s] Raw data (loadavg): 1.10 1.06 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 410 0 0 0 13937 6923 0 0 15 0 1 0 1847594944 2699264 380 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 380 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 208.62 Current children cumulated vsize (Kb) 4764 [startup+360.039 s] Raw data (loadavg): 1.15 1.07 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 411 0 0 0 14398 7100 0 0 15 0 1 0 1847594944 2699264 381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 659 381 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 215 Current children cumulated vsize (Kb) 4764 [startup+370.041 s] Raw data (loadavg): 1.13 1.07 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 411 0 0 0 14867 7281 0 0 15 0 1 0 1847594944 2699264 381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 381 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 221.5 Current children cumulated vsize (Kb) 4764 [startup+380.042 s] Raw data (loadavg): 1.11 1.07 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 412 0 0 0 15304 7459 0 0 15 0 1 0 1847594944 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 382 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 227.65 Current children cumulated vsize (Kb) 4764 [startup+390.042 s] Raw data (loadavg): 1.09 1.07 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 412 0 0 0 15736 7656 0 0 15 0 1 0 1847594944 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 382 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 233.94 Current children cumulated vsize (Kb) 4764 [startup+400.043 s] Raw data (loadavg): 1.23 1.10 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 416 0 0 0 16211 7830 0 0 15 0 1 0 1847594944 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 386 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 240.43 Current children cumulated vsize (Kb) 4764 [startup+410.045 s] Raw data (loadavg): 1.20 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 416 0 0 0 16738 7990 0 0 15 0 1 0 1847594944 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 659 386 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 247.3 Current children cumulated vsize (Kb) 4764 [startup+420.045 s] Raw data (loadavg): 1.16 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 416 0 0 0 17226 8164 0 0 15 0 1 0 1847594944 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 659 386 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 253.92 Current children cumulated vsize (Kb) 4764 [startup+430.046 s] Raw data (loadavg): 1.14 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 416 0 0 0 17691 8340 0 0 15 0 1 0 1847594944 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 659 386 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 260.33 Current children cumulated vsize (Kb) 4764 [startup+440.048 s] Raw data (loadavg): 1.12 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 423 0 0 0 18234 8495 0 0 15 0 1 0 1847594944 2699264 393 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 659 393 413 48 0 611 0 [pid=6584] vsize: 2636 Current children cumulated CPU time (s) 267.31 Current children cumulated vsize (Kb) 4764 [startup+450.049 s] Raw data (loadavg): 1.10 1.08 1.01 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 428 0 0 0 18732 8663 0 0 15 0 1 0 1847594944 2834432 398 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 398 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 273.97 Current children cumulated vsize (Kb) 4896 [startup+460.049 s] Raw data (loadavg): 1.08 1.08 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 432 0 0 0 19294 8814 0 0 15 0 1 0 1847594944 2834432 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 402 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 281.1 Current children cumulated vsize (Kb) 4896 [startup+470.051 s] Raw data (loadavg): 1.15 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 432 0 0 0 19811 8971 0 0 15 0 1 0 1847594944 2834432 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 402 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 287.84 Current children cumulated vsize (Kb) 4896 [startup+480.051 s] Raw data (loadavg): 1.21 1.10 1.02 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 434 0 0 0 20381 9116 0 0 15 0 1 0 1847594944 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 404 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 294.99 Current children cumulated vsize (Kb) 4896 [startup+490.051 s] Raw data (loadavg): 1.25 1.12 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 434 0 0 0 20871 9280 0 0 15 0 1 0 1847594944 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 404 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 301.53 Current children cumulated vsize (Kb) 4896 [startup+500.053 s] Raw data (loadavg): 1.22 1.11 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 434 0 0 0 21434 9423 0 0 15 0 1 0 1847594944 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 404 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 308.59 Current children cumulated vsize (Kb) 4896 [startup+510.054 s] Raw data (loadavg): 1.18 1.11 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 436 0 0 0 21933 9598 0 0 15 0 1 0 1847594944 2834432 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 406 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 315.33 Current children cumulated vsize (Kb) 4896 [startup+520.055 s] Raw data (loadavg): 1.15 1.10 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 439 0 0 0 22491 9746 0 0 15 0 1 0 1847594944 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 409 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 322.39 Current children cumulated vsize (Kb) 4896 [startup+530.055 s] Raw data (loadavg): 1.13 1.10 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 439 0 0 0 22975 9919 0 0 15 0 1 0 1847594944 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 409 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 328.96 Current children cumulated vsize (Kb) 4896 [startup+540.057 s] Raw data (loadavg): 1.11 1.10 1.02 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 442 0 0 0 23526 10067 0 0 16 0 1 0 1847594944 2834432 412 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 412 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 335.95 Current children cumulated vsize (Kb) 4896 [startup+550.058 s] Raw data (loadavg): 1.09 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 445 0 0 0 24102 10207 0 0 15 0 1 0 1847594944 2834432 415 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 415 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 343.11 Current children cumulated vsize (Kb) 4896 [startup+560.059 s] Raw data (loadavg): 1.08 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 447 0 0 0 24589 10377 0 0 15 0 1 0 1847594944 2834432 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 417 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 349.68 Current children cumulated vsize (Kb) 4896 [startup+570.06 s] Raw data (loadavg): 1.06 1.08 1.02 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 449 0 0 0 25156 10531 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 356.89 Current children cumulated vsize (Kb) 4896 [startup+580.06 s] Raw data (loadavg): 1.05 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 25456 10757 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 362.15 Current children cumulated vsize (Kb) 4896 [startup+590.061 s] Raw data (loadavg): 1.05 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 25840 10967 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 368.09 Current children cumulated vsize (Kb) 4896 [startup+600.061 s] Raw data (loadavg): 1.04 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 26203 11168 0 0 16 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 373.73 Current children cumulated vsize (Kb) 4896 [startup+610.062 s] Raw data (loadavg): 1.03 1.07 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 26612 11358 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 379.72 Current children cumulated vsize (Kb) 4896 [startup+620.063 s] Raw data (loadavg): 1.11 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 27061 11545 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 386.08 Current children cumulated vsize (Kb) 4896 [startup+630.063 s] Raw data (loadavg): 1.17 1.10 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 27463 11749 0 0 16 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 392.14 Current children cumulated vsize (Kb) 4896 [startup+640.064 s] Raw data (loadavg): 1.14 1.10 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 27885 11945 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 398.32 Current children cumulated vsize (Kb) 4896 [startup+650.065 s] Raw data (loadavg): 1.12 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 28352 12125 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 404.79 Current children cumulated vsize (Kb) 4896 [startup+660.067 s] Raw data (loadavg): 1.10 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 28804 12307 0 0 16 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 419 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 411.13 Current children cumulated vsize (Kb) 4896 [startup+670.067 s] Raw data (loadavg): 1.09 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 451 0 0 0 29275 12482 0 0 16 0 1 0 1847594944 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 421 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 417.59 Current children cumulated vsize (Kb) 4896 [startup+680.068 s] Raw data (loadavg): 1.15 1.10 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 451 0 0 0 29789 12644 0 0 16 0 1 0 1847594944 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 421 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 424.35 Current children cumulated vsize (Kb) 4896 [startup+690.069 s] Raw data (loadavg): 1.12 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 451 0 0 0 30233 12828 0 0 15 0 1 0 1847594944 2834432 421 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 692 421 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 430.63 Current children cumulated vsize (Kb) 4896 [startup+700.069 s] Raw data (loadavg): 1.10 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 451 0 0 0 30727 12990 0 0 15 0 1 0 1847594944 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 421 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 437.19 Current children cumulated vsize (Kb) 4896 [startup+710.071 s] Raw data (loadavg): 1.09 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 453 0 0 0 31228 13161 0 0 16 0 1 0 1847594944 2834432 423 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 423 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 443.91 Current children cumulated vsize (Kb) 4896 [startup+720.072 s] Raw data (loadavg): 1.07 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 453 0 0 0 31746 13317 0 0 15 0 1 0 1847594944 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 423 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 450.65 Current children cumulated vsize (Kb) 4896 [startup+730.072 s] Raw data (loadavg): 1.06 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 453 0 0 0 32227 13489 0 0 15 0 1 0 1847594944 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 423 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 457.18 Current children cumulated vsize (Kb) 4896 [startup+740.073 s] Raw data (loadavg): 1.05 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 454 0 0 0 32819 13625 0 0 15 0 1 0 1847594944 2834432 424 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 424 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 464.46 Current children cumulated vsize (Kb) 4896 [startup+750.074 s] Raw data (loadavg): 1.12 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 455 0 0 0 33308 13793 0 0 15 0 1 0 1847594944 2834432 425 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 692 425 413 48 0 644 0 [pid=6584] vsize: 2768 Current children cumulated CPU time (s) 471.03 Current children cumulated vsize (Kb) 4896 [startup+760.075 s] Raw data (loadavg): 1.10 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 459 0 0 0 33872 13945 0 0 15 0 1 0 1847594944 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 429 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 478.19 Current children cumulated vsize (Kb) 5032 [startup+770.076 s] Raw data (loadavg): 1.09 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 459 0 0 0 34395 14099 0 0 15 0 1 0 1847594944 2973696 429 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 429 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 484.96 Current children cumulated vsize (Kb) 5032 [startup+780.077 s] Raw data (loadavg): 1.07 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 459 0 0 0 34916 14259 0 0 16 0 1 0 1847594944 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 429 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 491.77 Current children cumulated vsize (Kb) 5032 [startup+790.078 s] Raw data (loadavg): 1.06 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 459 0 0 0 35357 14444 0 0 16 0 1 0 1847594944 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 429 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 498.03 Current children cumulated vsize (Kb) 5032 [startup+800.079 s] Raw data (loadavg): 1.05 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 35846 14612 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 431 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 504.6 Current children cumulated vsize (Kb) 5032 [startup+810.08 s] Raw data (loadavg): 1.04 1.07 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 36406 14768 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 431 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 511.76 Current children cumulated vsize (Kb) 5032 [startup+820.081 s] Raw data (loadavg): 1.04 1.07 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 36934 14923 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 431 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 518.59 Current children cumulated vsize (Kb) 5032 [startup+830.082 s] Raw data (loadavg): 1.03 1.07 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 37489 15072 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 431 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 525.63 Current children cumulated vsize (Kb) 5032 [startup+840.083 s] Raw data (loadavg): 1.02 1.06 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 38020 15228 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 431 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 532.5 Current children cumulated vsize (Kb) 5032 [startup+850.084 s] Raw data (loadavg): 1.09 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 38560 15383 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 431 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 539.45 Current children cumulated vsize (Kb) 5032 [startup+860.086 s] Raw data (loadavg): 1.08 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 39138 15530 0 0 15 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 435 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 546.7 Current children cumulated vsize (Kb) 5032 [startup+870.088 s] Raw data (loadavg): 1.07 1.07 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 39663 15692 0 0 15 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 435 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 553.57 Current children cumulated vsize (Kb) 5032 [startup+880.087 s] Raw data (loadavg): 1.06 1.07 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 40244 15837 0 0 15 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 435 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 560.83 Current children cumulated vsize (Kb) 5032 [startup+890.088 s] Raw data (loadavg): 1.05 1.07 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 40789 15990 0 0 15 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 435 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 567.81 Current children cumulated vsize (Kb) 5032 [startup+900.089 s] Raw data (loadavg): 1.04 1.06 1.01 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 41265 16160 0 0 16 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 435 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 574.27 Current children cumulated vsize (Kb) 5032 [startup+910.091 s] Raw data (loadavg): 1.11 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 41830 16308 0 0 15 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 437 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 581.4 Current children cumulated vsize (Kb) 5032 [startup+920.091 s] Raw data (loadavg): 1.18 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 42348 16473 0 0 16 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 437 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 588.23 Current children cumulated vsize (Kb) 5032 [startup+930.092 s] Raw data (loadavg): 1.15 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 42906 16624 0 0 15 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 437 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 595.32 Current children cumulated vsize (Kb) 5032 [startup+940.093 s] Raw data (loadavg): 1.20 1.10 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 43483 16770 0 0 16 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 437 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 602.55 Current children cumulated vsize (Kb) 5032 [startup+950.093 s] Raw data (loadavg): 1.17 1.10 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 43986 16933 0 0 16 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 437 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 609.21 Current children cumulated vsize (Kb) 5032 [startup+960.095 s] Raw data (loadavg): 1.14 1.09 1.02 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 470 0 0 0 44567 17080 0 0 16 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223072 134588186 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 440 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 616.49 Current children cumulated vsize (Kb) 5032 [startup+970.096 s] Raw data (loadavg): 1.12 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 470 0 0 0 45101 17234 0 0 15 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 440 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 623.37 Current children cumulated vsize (Kb) 5032 [startup+980.097 s] Raw data (loadavg): 1.10 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 470 0 0 0 45689 17375 0 0 15 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 440 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 630.66 Current children cumulated vsize (Kb) 5032 [startup+990.099 s] Raw data (loadavg): 1.08 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 470 0 0 0 46300 17511 0 0 15 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 440 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 638.13 Current children cumulated vsize (Kb) 5032 [startup+1000.1 s] Raw data (loadavg): 1.07 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 470 0 0 0 46881 17656 0 0 16 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 440 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 645.39 Current children cumulated vsize (Kb) 5032 [startup+1010.1 s] Raw data (loadavg): 1.06 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 472 0 0 0 47412 17820 0 0 16 0 1 0 1847594944 2973696 442 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 442 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 652.34 Current children cumulated vsize (Kb) 5032 [startup+1020.1 s] Raw data (loadavg): 1.05 1.07 1.02 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 474 0 0 0 47986 17972 0 0 16 0 1 0 1847594944 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 444 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 659.6 Current children cumulated vsize (Kb) 5032 [startup+1030.1 s] Raw data (loadavg): 1.12 1.09 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 474 0 0 0 48595 18101 0 0 15 0 1 0 1847594944 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 444 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 666.98 Current children cumulated vsize (Kb) 5032 [startup+1040.1 s] Raw data (loadavg): 1.10 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 474 0 0 0 49111 18266 0 0 15 0 1 0 1847594944 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 444 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 673.79 Current children cumulated vsize (Kb) 5032 [startup+1050.1 s] Raw data (loadavg): 1.09 1.08 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 476 0 0 0 49688 18408 0 0 15 0 1 0 1847594944 2973696 446 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 446 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 680.98 Current children cumulated vsize (Kb) 5032 [startup+1060.11 s] Raw data (loadavg): 1.23 1.11 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 480 0 0 0 50282 18546 0 0 15 0 1 0 1847594944 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 450 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 688.3 Current children cumulated vsize (Kb) 5032 [startup+1070.11 s] Raw data (loadavg): 1.19 1.11 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 480 0 0 0 50792 18703 0 0 15 0 1 0 1847594944 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 450 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 694.97 Current children cumulated vsize (Kb) 5032 [startup+1080.11 s] Raw data (loadavg): 1.31 1.14 1.04 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 480 0 0 0 51370 18851 0 0 15 0 1 0 1847594944 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 726 450 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 702.23 Current children cumulated vsize (Kb) 5032 [startup+1090.11 s] Raw data (loadavg): 1.42 1.16 1.05 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 480 0 0 0 51965 18987 0 0 16 0 1 0 1847594944 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 726 450 413 48 0 678 0 [pid=6584] vsize: 2904 Current children cumulated CPU time (s) 709.54 Current children cumulated vsize (Kb) 5032 [startup+1100.11 s] Raw data (loadavg): 1.35 1.16 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 843 0 0 0 52623 19103 0 0 16 0 1 0 1847594944 4521984 813 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 1104 813 413 48 0 1056 0 [pid=6584] vsize: 4416 Current children cumulated CPU time (s) 717.28 Current children cumulated vsize (Kb) 6544 [startup+1110.11 s] Raw data (loadavg): 1.30 1.15 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 1113 0 0 0 53502 19147 0 0 17 0 1 0 1847594944 5640192 1083 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 1377 1083 413 48 0 1329 0 [pid=6584] vsize: 5508 Current children cumulated CPU time (s) 726.51 Current children cumulated vsize (Kb) 7636 [startup+1120.11 s] Raw data (loadavg): 1.33 1.16 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1240 0 0 0 54256 19234 0 0 16 0 1 0 1847594944 6135808 1210 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 1498 1210 413 48 0 1450 0 [pid=6584] vsize: 5992 Current children cumulated CPU time (s) 734.92 Current children cumulated vsize (Kb) 8120 [startup+1130.11 s] Raw data (loadavg): 1.28 1.16 1.05 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1309 0 0 0 55141 19277 0 0 17 0 1 0 1847594944 6414336 1279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 1566 1279 413 48 0 1518 0 [pid=6584] vsize: 6264 Current children cumulated CPU time (s) 744.2 Current children cumulated vsize (Kb) 8392 [startup+1140.11 s] Raw data (loadavg): 1.24 1.15 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1614 0 0 0 56057 19307 0 0 19 0 1 0 1847594944 7655424 1584 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 1869 1584 413 48 0 1821 0 [pid=6584] vsize: 7476 Current children cumulated CPU time (s) 753.66 Current children cumulated vsize (Kb) 9604 [startup+1150.11 s] Raw data (loadavg): 1.27 1.16 1.05 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1849 0 0 0 56992 19331 0 0 19 0 1 0 1847594944 8663040 1819 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 2115 1819 413 48 0 2067 0 [pid=6584] vsize: 8460 Current children cumulated CPU time (s) 763.25 Current children cumulated vsize (Kb) 10588 [startup+1160.12 s] Raw data (loadavg): 1.23 1.16 1.05 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1924 0 0 0 57937 19349 0 0 25 0 1 0 1847594944 8941568 1894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 2183 1894 413 48 0 2135 0 [pid=6584] vsize: 8732 Current children cumulated CPU time (s) 772.88 Current children cumulated vsize (Kb) 10860 [startup+1170.12 s] Raw data (loadavg): 1.20 1.15 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 2171 0 0 0 58873 19371 0 0 17 0 1 0 1847594944 10084352 2141 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 2462 2141 413 48 0 2414 0 [pid=6584] vsize: 9848 Current children cumulated CPU time (s) 782.46 Current children cumulated vsize (Kb) 11976 [startup+1180.12 s] Raw data (loadavg): 1.16 1.14 1.05 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 2489 0 0 0 59787 19400 0 0 19 0 1 0 1847594944 11489280 2459 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 2805 2459 413 48 0 2757 0 [pid=6584] vsize: 11220 Current children cumulated CPU time (s) 791.89 Current children cumulated vsize (Kb) 13348 [startup+1190.12 s] Raw data (loadavg): 1.14 1.14 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 2638 0 0 0 60741 19416 0 0 21 0 1 0 1847594944 11964416 2608 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 2921 2608 413 48 0 2873 0 [pid=6584] vsize: 11684 Current children cumulated CPU time (s) 801.59 Current children cumulated vsize (Kb) 13812 [startup+1200.12 s] Raw data (loadavg): 1.12 1.13 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 2646 0 0 0 61697 19432 0 0 25 0 1 0 1847594944 11964416 2616 4294967295 134512640 134702520 3221223952 3221223232 134550667 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 2921 2616 413 48 0 2873 0 [pid=6584] vsize: 11684 Current children cumulated CPU time (s) 811.31 Current children cumulated vsize (Kb) 13812 [startup+1210.12 s] Raw data (loadavg): 1.10 1.13 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 2798 0 0 0 62653 19449 0 0 20 0 1 0 1847594944 12677120 2768 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 3095 2768 413 48 0 3047 0 [pid=6584] vsize: 12380 Current children cumulated CPU time (s) 821.04 Current children cumulated vsize (Kb) 14508 [startup+1220.12 s] Raw data (loadavg): 1.08 1.12 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 2960 0 0 0 63607 19468 0 0 25 0 1 0 1847594944 13377536 2930 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 3266 2930 413 48 0 3218 0 [pid=6584] vsize: 13064 Current children cumulated CPU time (s) 830.77 Current children cumulated vsize (Kb) 15192 [startup+1230.12 s] Raw data (loadavg): 1.07 1.12 1.05 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 3148 0 0 0 64563 19484 0 0 18 0 1 0 1847594944 14229504 3118 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 3474 3118 413 48 0 3426 0 [pid=6584] vsize: 13896 Current children cumulated CPU time (s) 840.49 Current children cumulated vsize (Kb) 16024 [startup+1240.12 s] Raw data (loadavg): 1.06 1.12 1.04 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 3297 0 0 0 65524 19498 0 0 25 0 1 0 1847594944 14852096 3267 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 3626 3267 413 48 0 3578 0 [pid=6584] vsize: 14504 Current children cumulated CPU time (s) 850.24 Current children cumulated vsize (Kb) 16632 [startup+1250.12 s] Raw data (loadavg): 1.05 1.11 1.04 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 3473 0 0 0 66472 19518 0 0 25 0 1 0 1847594944 15609856 3443 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 3811 3443 413 48 0 3763 0 [pid=6584] vsize: 15244 Current children cumulated CPU time (s) 859.92 Current children cumulated vsize (Kb) 17372 [startup+1260.12 s] Raw data (loadavg): 1.04 1.11 1.04 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 3504 0 0 0 67451 19525 0 0 18 0 1 0 1847594944 15745024 3474 4294967295 134512640 134702520 3221223952 3221223344 134604361 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 3844 3474 413 48 0 3796 0 [pid=6584] vsize: 15376 Current children cumulated CPU time (s) 869.78 Current children cumulated vsize (Kb) 17504 [startup+1270.13 s] Raw data (loadavg): 1.03 1.10 1.04 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 3509 0 0 0 68416 19537 0 0 25 0 1 0 1847594944 15745024 3479 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 3844 3479 413 48 0 3796 0 [pid=6584] vsize: 15376 Current children cumulated CPU time (s) 879.55 Current children cumulated vsize (Kb) 17504 [startup+1280.13 s] Raw data (loadavg): 1.03 1.10 1.04 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 3620 0 0 0 69370 19554 0 0 19 0 1 0 1847594944 16343040 3590 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 3990 3590 413 48 0 3942 0 [pid=6584] vsize: 15960 Current children cumulated CPU time (s) 889.26 Current children cumulated vsize (Kb) 18088 [startup+1290.13 s] Raw data (loadavg): 1.02 1.10 1.04 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 3793 0 0 0 70317 19574 0 0 20 0 1 0 1847594944 17051648 3763 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 4163 3763 413 48 0 4115 0 [pid=6584] vsize: 16652 Current children cumulated CPU time (s) 898.93 Current children cumulated vsize (Kb) 18780 [startup+1300.13 s] Raw data (loadavg): 1.02 1.09 1.04 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 3971 0 0 0 71265 19593 0 0 19 0 1 0 1847594944 17776640 3941 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 4340 3941 413 48 0 4292 0 [pid=6584] vsize: 17360 Current children cumulated CPU time (s) 908.6 Current children cumulated vsize (Kb) 19488 [startup+1310.13 s] Raw data (loadavg): 1.02 1.09 1.04 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4128 0 0 0 72223 19609 0 0 25 0 1 0 1847594944 18321408 4098 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6584/statm): 4473 4098 413 48 0 4425 0 [pid=6584] vsize: 17892 Current children cumulated CPU time (s) 918.34 Current children cumulated vsize (Kb) 20020 [startup+1320.13 s] Raw data (loadavg): 1.01 1.08 1.04 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4281 0 0 0 73176 19627 0 0 25 0 1 0 1847594944 19017728 4251 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 4643 4251 413 48 0 4595 0 [pid=6584] vsize: 18572 Current children cumulated CPU time (s) 928.05 Current children cumulated vsize (Kb) 20700 [startup+1330.13 s] Raw data (loadavg): 1.01 1.08 1.04 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4416 0 0 0 74132 19644 0 0 25 0 1 0 1847594944 19599360 4386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 4785 4386 413 48 0 4737 0 [pid=6584] vsize: 19140 Current children cumulated CPU time (s) 937.78 Current children cumulated vsize (Kb) 21268 [startup+1340.13 s] Raw data (loadavg): 1.01 1.08 1.04 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4600 0 0 0 75094 19658 0 0 25 0 1 0 1847594944 20414464 4570 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6584/statm): 4984 4570 413 48 0 4936 0 [pid=6584] vsize: 19936 Current children cumulated CPU time (s) 947.54 Current children cumulated vsize (Kb) 22064 [startup+1350.13 s] Raw data (loadavg): 1.01 1.08 1.03 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4729 0 0 0 76059 19670 0 0 18 0 1 0 1847594944 20992000 4699 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5125 4699 413 48 0 5077 0 [pid=6584] vsize: 20500 Current children cumulated CPU time (s) 957.31 Current children cumulated vsize (Kb) 22628 [startup+1360.14 s] Raw data (loadavg): 1.01 1.07 1.03 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4844 0 0 0 77024 19683 0 0 25 0 1 0 1847594944 21577728 4814 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5268 4814 413 48 0 5220 0 [pid=6584] vsize: 21072 Current children cumulated CPU time (s) 967.09 Current children cumulated vsize (Kb) 23200 [startup+1370.14 s] Raw data (loadavg): 1.08 1.09 1.04 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4905 0 0 0 77999 19692 0 0 22 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 976.93 Current children cumulated vsize (Kb) 23468 [startup+1380.14 s] Raw data (loadavg): 1.07 1.08 1.04 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 78502 19856 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 983.6 Current children cumulated vsize (Kb) 23468 [startup+1390.14 s] Raw data (loadavg): 1.06 1.08 1.04 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 79065 20007 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 990.74 Current children cumulated vsize (Kb) 23468 [startup+1400.14 s] Raw data (loadavg): 1.05 1.08 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 79645 20155 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 998.02 Current children cumulated vsize (Kb) 23468 [startup+1410.14 s] Raw data (loadavg): 1.04 1.08 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 80163 20315 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1004.8 Current children cumulated vsize (Kb) 23468 [startup+1420.14 s] Raw data (loadavg): 1.04 1.07 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 80739 20464 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1012.05 Current children cumulated vsize (Kb) 23468 [startup+1430.14 s] Raw data (loadavg): 1.03 1.07 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 81332 20607 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1019.41 Current children cumulated vsize (Kb) 23468 [startup+1440.14 s] Raw data (loadavg): 1.02 1.07 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 81926 20747 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1026.75 Current children cumulated vsize (Kb) 23468 [startup+1450.14 s] Raw data (loadavg): 1.02 1.06 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 82441 20906 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1033.49 Current children cumulated vsize (Kb) 23468 [startup+1460.14 s] Raw data (loadavg): 1.02 1.06 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 83027 21049 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1040.78 Current children cumulated vsize (Kb) 23468 [startup+1470.15 s] Raw data (loadavg): 1.01 1.06 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 83605 21190 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1047.97 Current children cumulated vsize (Kb) 23468 [startup+1480.15 s] Raw data (loadavg): 1.01 1.06 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 84116 21350 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1054.68 Current children cumulated vsize (Kb) 23468 [startup+1490.15 s] Raw data (loadavg): 1.01 1.05 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 84701 21490 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (Kb) 23468 [startup+1500.15 s] Raw data (loadavg): 1.01 1.05 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 85304 21625 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1069.31 Current children cumulated vsize (Kb) 23468 [startup+1510.15 s] Raw data (loadavg): 1.01 1.05 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 85912 21755 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1076.69 Current children cumulated vsize (Kb) 23468 [startup+1520.15 s] Raw data (loadavg): 1.00 1.05 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 86430 21918 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1083.5 Current children cumulated vsize (Kb) 23468 [startup+1530.15 s] Raw data (loadavg): 1.00 1.05 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 87024 22053 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1090.79 Current children cumulated vsize (Kb) 23468 [startup+1540.15 s] Raw data (loadavg): 1.00 1.04 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 87590 22200 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1097.92 Current children cumulated vsize (Kb) 23468 [startup+1550.15 s] Raw data (loadavg): 1.00 1.04 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 88120 22357 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1104.79 Current children cumulated vsize (Kb) 23468 [startup+1560.15 s] Raw data (loadavg): 1.00 1.04 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 88698 22499 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1111.99 Current children cumulated vsize (Kb) 23468 [startup+1570.15 s] Raw data (loadavg): 1.00 1.04 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 89322 22632 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1119.56 Current children cumulated vsize (Kb) 23468 [startup+1580.16 s] Raw data (loadavg): 1.08 1.05 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 89833 22803 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1126.38 Current children cumulated vsize (Kb) 23468 [startup+1590.16 s] Raw data (loadavg): 1.07 1.05 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 90414 22948 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1133.64 Current children cumulated vsize (Kb) 23468 [startup+1600.16 s] Raw data (loadavg): 1.06 1.05 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 91016 23080 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1140.98 Current children cumulated vsize (Kb) 23468 [startup+1610.16 s] Raw data (loadavg): 1.13 1.06 1.02 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4905 0 0 0 91605 23222 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1148.29 Current children cumulated vsize (Kb) 23468 [startup+1620.16 s] Raw data (loadavg): 1.18 1.08 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 92124 23387 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1155.13 Current children cumulated vsize (Kb) 23468 [startup+1630.16 s] Raw data (loadavg): 1.15 1.07 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 92719 23533 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1162.54 Current children cumulated vsize (Kb) 23468 [startup+1640.16 s] Raw data (loadavg): 1.13 1.07 1.03 2/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4905 0 0 0 93315 23676 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1169.93 Current children cumulated vsize (Kb) 23468 [startup+1650.16 s] Raw data (loadavg): 1.11 1.07 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 93833 23840 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1176.75 Current children cumulated vsize (Kb) 23468 [startup+1660.16 s] Raw data (loadavg): 1.09 1.07 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 94423 23982 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1184.07 Current children cumulated vsize (Kb) 23468 [startup+1670.16 s] Raw data (loadavg): 1.08 1.06 1.02 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 94999 24135 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1191.36 Current children cumulated vsize (Kb) 23468 [startup+1680.16 s] Raw data (loadavg): 1.14 1.08 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 95576 24278 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1198.56 Current children cumulated vsize (Kb) 23468 [startup+1690.16 s] Raw data (loadavg): 1.12 1.07 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 96179 24413 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1205.94 Current children cumulated vsize (Kb) 23468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1690.17 s] Raw data (loadavg): 1.12 1.07 1.03 1/57 6584 Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/6581/statm): 532 242 485 147 0 385 0 [pid=6581] vsize: 2128 Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 96179 24413 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0 [pid=6584] vsize: 21340 Current children cumulated CPU time (s) 1205.94 Current children cumulated vsize (Kb) 23468 Sending SIGTERM to -6581 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=6586 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options New process pid=6587 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 One traced child (pid=6584) exited with status: 3 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/822/stat open syscall for file /proc/822/status open syscall for file /proc/822/cmdline open syscall for file /proc/822/environ open syscall for file /proc/823/stat open syscall for file /proc/823/status open syscall for file /proc/823/cmdline open syscall for file /proc/823/environ open syscall for file /proc/1256/stat open syscall for file /proc/1256/status open syscall for file /proc/1256/cmdline open syscall for file /proc/1256/environ open syscall for file /proc/1260/stat open syscall for file /proc/1260/status open syscall for file /proc/1260/cmdline open syscall for file /proc/1260/environ open syscall for file /proc/1282/stat open syscall for file /proc/1282/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1282/cmdline open syscall for file /proc/1282/environ open syscall for file /proc/1312/stat open syscall for file /proc/1312/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1312/cmdline open syscall for file /proc/1312/environ open syscall for file /proc/1356/stat open syscall for file /proc/1356/status open syscall for file /proc/1356/cmdline open syscall for file /proc/1356/environ open syscall for file /proc/1514/stat open syscall for file /proc/1514/status open syscall for file /proc/1514/cmdline open syscall for file /proc/1514/environ open syscall for file /proc/1538/stat open syscall for file /proc/1538/status open syscall for file /proc/1538/cmdline open syscall for file /proc/1538/environ open syscall for file /proc/1561/stat open syscall for file /proc/1561/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1561/cmdline open syscall for file /proc/1561/environ open syscall for file /proc/1655/stat open syscall for file /proc/1655/status open syscall for file /proc/1655/cmdline open syscall for file /proc/1655/environ open syscall for file /proc/1656/stat open syscall for file /proc/1656/status open syscall for file /proc/1656/cmdline open syscall for file /proc/1656/environ open syscall for file /proc/1657/stat open syscall for file /proc/1657/status open syscall for file /proc/1657/cmdline open syscall for file /proc/1657/environ open syscall for file /proc/1658/stat open syscall for file /proc/1658/status open syscall for file /proc/1658/cmdline open syscall for file /proc/1658/environ open syscall for file /proc/1659/stat open syscall for file /proc/1659/status open syscall for file /proc/1659/cmdline open syscall for file /proc/1659/environ open syscall for file /proc/1660/stat open syscall for file /proc/1660/status open syscall for file /proc/1660/cmdline open syscall for file /proc/1660/environ open syscall for file /proc/1661/stat open syscall for file /proc/1661/status open syscall for file /proc/1661/cmdline open syscall for file /proc/1661/environ open syscall for file /proc/18281/stat open syscall for file /proc/18281/status open syscall for file /proc/18281/cmdline open syscall for file /proc/18281/environ open syscall for file /proc/19827/stat open syscall for file /proc/19827/status open syscall for file /proc/19827/cmdline open syscall for file /proc/19827/environ open syscall for file /proc/19854/stat open syscall for file /proc/19854/status open syscall for file /proc/19854/cmdline open syscall for file /proc/19854/environ open syscall for file /proc/19878/stat open syscall for file /proc/19878/status open syscall for file /proc/19878/cmdline open syscall for file /proc/19878/environ open syscall for file /proc/28563/stat open syscall for file /proc/28563/status open syscall for file /proc/28563/cmdline open syscall for file /proc/28563/environ open syscall for file /proc/28582/stat open syscall for file /proc/28582/status open syscall for file /proc/28582/cmdline open syscall for file /proc/28582/environ open syscall for file /proc/5390/stat open syscall for file /proc/5390/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/5390/cmdline open syscall for file /proc/5390/environ open syscall for file /proc/5425/stat open syscall for file /proc/5425/status open syscall for file /proc/5425/cmdline open syscall for file /proc/5425/environ open syscall for file /proc/21452/stat open syscall for file /proc/21452/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/21452/cmdline open syscall for file /proc/21452/environ open syscall for file /proc/21453/stat open syscall for file /proc/21453/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/21453/cmdline open syscall for file /proc/21453/environ open syscall for file /proc/21462/stat open syscall for file /proc/21462/status open syscall for file /proc/21462/cmdline open syscall for file /proc/21462/environ open syscall for file /proc/6544/stat open syscall for file /proc/6544/status open syscall for file /proc/6544/cmdline open syscall for file /proc/6544/environ open syscall for file /proc/6580/stat open syscall for file /proc/6580/status open syscall for file /proc/6580/cmdline open syscall for file /proc/6580/environ open syscall for file /proc/6581/stat open syscall for file /proc/6581/status open syscall for file /proc/6581/cmdline open syscall for file /proc/6581/environ open syscall for file /proc/6586/stat open syscall for file /proc/6586/status open syscall for file /proc/6586/cmdline open syscall for file /proc/6586/environ open syscall for file /proc/6587/stat open syscall for file /proc/6587/status open syscall for file /proc/6587/cmdline open syscall for file /proc/6587/environ One traced child (pid=6586) exited with status: 0 One traced child (pid=6587) exited with status: 0 New process pid=6588 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=6588) exited with status: 0 New process pid=6589 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=6589) exited with status: 0 New process pid=6590 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=6590) exited with status: 0 New process pid=6591 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=6591) exited with status: 0 One traced child (pid=6581) 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): 1690.72 CPU time (s): 1206.09 CPU user time (s): 961.827 CPU system time (s): 244.262 CPU usage (%): 71.3359 Max. virtual memory (cumulated for all children) (Kb): 23468
ERROR: no interpretation found !