Name | submitted/een/normalized-lseu.opb |
MD5SUM | a578bf261896413ca78de4dc6db2447f |
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 | 526.298 |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
LAUNCH ON wulflinc20 THE 2005-09-19 01:25:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7304 boxname=wulflinc20 idbench=272 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a578bf261896413ca78de4dc6db2447f /oldhome/oroussel/tmp/wulflinc20/normalized-lseu.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc20/normalized-lseu.opb 0 IDLAUNCH: 7304 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 895320 kB Buffers: 36072 kB Cached: 74344 kB SwapCached: 832 kB Active: 70832 kB Inactive: 42284 kB HighTotal: 131008 kB HighFree: 53284 kB LowTotal: 903652 kB LowFree: 842036 kB SwapTotal: 2097892 kB SwapFree: 2096604 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5732 kB Slab: 20564 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 01:58:03 (client local time) WITH STATUS 0 IN 1203.29 SECONDS stats: 7304 7 1203.29 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 0 (#equs: 0) #decisions: 20; #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: 11865 (3628:>=*); #decisions: 15; #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 Model found with constant: 12024 (3469:>=*); #decisions: 16; #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: 12138 (3355:>=*); #decisions: 19; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 2 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12369 (3124:>=*); #decisions: 14; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 2 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12388 (3105:>=*); #decisions: 17; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 5 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: 12456 (3037:>=*); #decisions: 16; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 29, #non-axs: 9 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: 12516 (2977:>=*); #decisions: 13; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 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: 12591 (2902:>=*); #decisions: 11; #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: 12610 (2883:>=*); #decisions: 20; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 29, #non-axs: 16 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: 12619 (2874:>=*); #decisions: 13; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 16 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: 12638 (2855:>=*); #decisions: 21; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 29, #non-axs: 22 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: 12674 (2819:>=*); #decisions: 16; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 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: 12749 (2744:>=*); #decisions: 14; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 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: 12768 (2725:>=*); #decisions: 47; #end-nodes: 35; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 35 / 80 (80) #axs: 29, #non-axs: 49 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: 12769 (2724:>=*); #decisions: 67; #end-nodes: 50; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 50 / 80 (80) #axs: 29, #non-axs: 72 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: 12774 (2719:>=*); #decisions: 21; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 29, #non-axs: 76 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: 12775 (2718:>=*); #decisions: 33; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 29, #non-axs: 82 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: 12932 (2561:>=*); #decisions: 16; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 82 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: 77; #end-nodes: 53; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 53 / 80 (80) #axs: 29, #non-axs: 110 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: 212; #end-nodes: 165; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 178 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: 13083 (2410:>=*); #decisions: 36; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 29, #non-axs: 194 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: 13084 (2409:>=*); #decisions: 30; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 29, #non-axs: 200 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: 22; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 29, #non-axs: 204 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: 13266 (2227:>=*); #decisions: 73; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 80 (80) #axs: 29, #non-axs: 236 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: 13333 (2160:>=*); #decisions: 90; #end-nodes: 58; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 58 / 80 (80) #axs: 29, #non-axs: 277 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: 13344 (2149:>=*); #decisions: 15; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 277 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: 13429 (2064:>=*); #decisions: 72; #end-nodes: 54; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 54 / 80 (80) #axs: 29, #non-axs: 317 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: 13496 (1997:>=*); #decisions: 662; #end-nodes: 528; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 44 / 81 (81) #axs: 29, #non-axs: 586 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: 13529 (1964:>=*); #decisions: 61; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 80 (80) #axs: 29, #non-axs: 596 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: 13577 (1916:>=*); #decisions: 42; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 29, #non-axs: 611 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: 13581 (1912:>=*); #decisions: 47; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 29, #non-axs: 631 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: 13599 (1894:>=*); #decisions: 62; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 80 (80) #axs: 29, #non-axs: 652 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: 13605 (1888:>=*); #decisions: 150; #end-nodes: 81; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 690 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: 13681 (1812:>=*); #decisions: 28; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 29, #non-axs: 702 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: 13688 (1805:>=*); #decisions: 702; #end-nodes: 575; #proof improvement attempts: 0; #restarts: 7 Current batch, end-nodes: 10 / 81 (81) #axs: 29, #non-axs: 938 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: 13711 (1782:>=*); #decisions: 88; #end-nodes: 61; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 61 / 80 (80) #axs: 29, #non-axs: 976 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: 13789 (1704:>=*); #decisions: 3077; #end-nodes: 2483; #proof improvement attempts: 0; #restarts: 29 Current batch, end-nodes: 63 / 87 (87) #axs: 29, #non-axs: 1674 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 20 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13826 (1667:>=*); #decisions: 2560; #end-nodes: 2050; #proof improvement attempts: 0; #restarts: 24 Current batch, end-nodes: 65 / 86 (86) #axs: 29, #non-axs: 1707 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 18 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13888 (1605:>=*); #decisions: 39; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 29, #non-axs: 1708 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 18 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13905 (1588:>=*); #decisions: 2473; #end-nodes: 1959; #proof improvement attempts: 0; #restarts: 23 Current batch, end-nodes: 56 / 85 (85) #axs: 29, #non-axs: 1563 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 16 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13958 (1535:>=*); #decisions: 2134; #end-nodes: 1664; #proof improvement attempts: 0; #restarts: 20 Current batch, end-nodes: 20 / 85 (85) #axs: 29, #non-axs: 999 tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 14 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14015 (1478:>=*); #decisions: 79802; #end-nodes: 70824; #proof improvement attempts: 0; #restarts: 496 Current batch, end-nodes: 173 / 204 (204) #axs: 29, #non-axs: 22 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 8 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14017 (1476:>=*); #decisions: 35; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 29, #non-axs: 22 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 8 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14018 (1475:>=*); #decisions: 3568; #end-nodes: 3000; #proof improvement attempts: 0; #restarts: 35 Current batch, end-nodes: 54 / 88 (88) #axs: 29, #non-axs: 46 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 8 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14079 (1414:>=*); #decisions: 111826; #end-nodes: 100373; #proof improvement attempts: 0; #restarts: 614 Current batch, end-nodes: 69 / 233 (233) #axs: 29, #non-axs: 2 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14123 (1370:>=*); #decisions: 162694; #end-nodes: 149571; #proof improvement attempts: 0; #restarts: 762 Current batch, end-nodes: 2 / 270 (270) #axs: 29, #non-axs: 32 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14141 (1352:>=*); #decisions: 55; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 80 (80) #axs: 29, #non-axs: 32 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14158 (1335:>=*); #decisions: 23; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 29, #non-axs: 32 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14169 (1324:>=*); #decisions: 92118; #end-nodes: 84010; #proof improvement attempts: 0; #restarts: 531 Current batch, end-nodes: 162 / 216 (212) #axs: 29, #non-axs: 15 tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14206 (1287:>=*); #decisions: 1742730; #end-nodes: 1627031; #proof improvement attempts: 0; #restarts: 2836 Current batch, end-nodes: 497 / 789 (789) #axs: 29, #non-axs: 77 tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14217 (1276:>=*); #decisions: 121937; #end-nodes: 113144; #proof improvement attempts: 0; #restarts: 608 Current batch, end-nodes: 185 / 232 (232) #axs: 29, #non-axs: 39 tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14251 (1242:>=*); #decisions: 1690152; #end-nodes: 1571696; #proof improvement attempts: 0; #restarts: 2570 Current batch, end-nodes: 21915 / 24888 (722) #axs: 29, #non-axs: 89 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: 481213; #end-nodes: 450908; #proof improvement attempts: 0; #restarts: 1362 Current batch, end-nodes: 366 / 420 (420) #axs: 29, #non-axs: 78 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: 14271 (1222:>=*); #decisions: 636181; #end-nodes: 595236; #proof improvement attempts: 0; #restarts: 1574 Current batch, end-nodes: 132 / 481 (473) #axs: 29, #non-axs: 87 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: 14279 (1214:>=*); #decisions: 1560485; #end-nodes: 1454106; #proof improvement attempts: 0; #restarts: 2474 Current batch, end-nodes: 361 / 698 (698) #axs: 29, #non-axs: 97 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14316 (1177:>=*); #decisions: 1697103; #end-nodes: 1584627; #proof improvement attempts: 0; #restarts: 2670 Current batch, end-nodes: 2590 / 3543 (747) #axs: 29, #non-axs: 4 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14333 (1160:>=*); Interupt request received. Model found with constant: (pushed:) 14333 (1160:>=*) 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: 3 (#equs: 0) Time taken: 20 min, 3 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/18870/stat): 18870 (vallstSAT2005PB) R 18869 18870 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845920286 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18870/statm): 174 3 169 147 0 27 0 [pid=18870] 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=18871 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=18871) exited with status: 0 New process pid=18872 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=18872) exited with status: 0 New process pid=18873 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/wulflinc20/normalized-lseu.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0032 s] Raw data (loadavg): 1.08 1.04 1.01 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 263 0 0 0 281 231 0 0 15 0 1 0 1845920294 2285568 233 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 233 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 5.14 Current children cumulated vsize (Kb) 4360 [startup+20.004 s] Raw data (loadavg): 1.14 1.05 1.01 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 267 0 0 0 553 466 0 0 15 0 1 0 1845920294 2285568 237 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 558 237 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 10.21 Current children cumulated vsize (Kb) 4360 [startup+30.0047 s] Raw data (loadavg): 1.12 1.05 1.01 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 272 0 0 0 864 689 0 0 15 0 1 0 1845920294 2285568 242 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 242 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 15.55 Current children cumulated vsize (Kb) 4360 [startup+40.0054 s] Raw data (loadavg): 1.18 1.06 1.01 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 273 0 0 0 1127 919 0 0 16 0 1 0 1845920294 2285568 243 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 243 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 20.48 Current children cumulated vsize (Kb) 4360 [startup+50.0061 s] Raw data (loadavg): 1.15 1.06 1.01 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 275 0 0 0 1406 1154 0 0 16 0 1 0 1845920294 2285568 245 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 245 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 25.62 Current children cumulated vsize (Kb) 4360 [startup+60.0069 s] Raw data (loadavg): 1.28 1.09 1.02 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 311 0 0 0 1714 1383 0 0 16 0 1 0 1845920294 2285568 281 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 281 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 30.99 Current children cumulated vsize (Kb) 4360 [startup+70.0076 s] Raw data (loadavg): 1.24 1.09 1.02 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 2032 1608 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 288 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 36.42 Current children cumulated vsize (Kb) 4360 [startup+80.0083 s] Raw data (loadavg): 1.27 1.10 1.03 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 2298 1850 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 558 288 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 41.5 Current children cumulated vsize (Kb) 4360 [startup+90.0091 s] Raw data (loadavg): 1.31 1.11 1.03 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 2588 2077 0 0 16 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 288 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 46.67 Current children cumulated vsize (Kb) 4360 [startup+100.011 s] Raw data (loadavg): 1.34 1.13 1.03 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 2929 2296 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 288 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 52.27 Current children cumulated vsize (Kb) 4360 [startup+110.011 s] Raw data (loadavg): 1.29 1.12 1.03 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 3253 2512 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 288 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 57.67 Current children cumulated vsize (Kb) 4360 [startup+120.012 s] Raw data (loadavg): 1.33 1.13 1.04 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 3585 2724 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 288 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 63.11 Current children cumulated vsize (Kb) 4360 [startup+130.014 s] Raw data (loadavg): 1.27 1.13 1.04 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 3863 2947 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 288 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 68.12 Current children cumulated vsize (Kb) 4360 [startup+140.015 s] Raw data (loadavg): 1.23 1.12 1.04 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 4176 3174 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 288 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 73.52 Current children cumulated vsize (Kb) 4360 [startup+150.016 s] Raw data (loadavg): 1.20 1.12 1.03 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 320 0 0 0 4477 3403 0 0 15 0 1 0 1845920294 2285568 290 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 290 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 78.82 Current children cumulated vsize (Kb) 4360 [startup+160.017 s] Raw data (loadavg): 1.16 1.11 1.03 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 322 0 0 0 4761 3646 0 0 16 0 1 0 1845920294 2285568 292 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 558 292 413 48 0 510 0 [pid=18873] vsize: 2232 Current children cumulated CPU time (s) 84.09 Current children cumulated vsize (Kb) 4360 [startup+170.018 s] Raw data (loadavg): 1.21 1.13 1.04 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 328 0 0 0 5089 3865 0 0 15 0 1 0 1845920294 2420736 298 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 591 298 413 48 0 543 0 [pid=18873] vsize: 2364 Current children cumulated CPU time (s) 89.56 Current children cumulated vsize (Kb) 4492 [startup+180.019 s] Raw data (loadavg): 1.25 1.14 1.04 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 331 0 0 0 5429 4084 0 0 15 0 1 0 1845920294 2420736 301 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 591 301 413 48 0 543 0 [pid=18873] vsize: 2364 Current children cumulated CPU time (s) 95.15 Current children cumulated vsize (Kb) 4492 [startup+190.019 s] Raw data (loadavg): 1.21 1.13 1.04 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 339 0 0 0 5805 4289 0 0 15 0 1 0 1845920294 2420736 309 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 591 309 413 48 0 543 0 [pid=18873] vsize: 2364 Current children cumulated CPU time (s) 100.96 Current children cumulated vsize (Kb) 4492 [startup+200.021 s] Raw data (loadavg): 1.18 1.13 1.04 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 346 0 0 0 6164 4502 0 0 15 0 1 0 1845920294 2420736 316 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 591 316 413 48 0 543 0 [pid=18873] vsize: 2364 Current children cumulated CPU time (s) 106.68 Current children cumulated vsize (Kb) 4492 [startup+210.022 s] Raw data (loadavg): 1.15 1.12 1.04 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 348 0 0 0 6547 4700 0 0 16 0 1 0 1845920294 2420736 318 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 591 318 413 48 0 543 0 [pid=18873] vsize: 2364 Current children cumulated CPU time (s) 112.49 Current children cumulated vsize (Kb) 4492 [startup+220.022 s] Raw data (loadavg): 1.13 1.12 1.04 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 348 0 0 0 6935 4904 0 0 16 0 1 0 1845920294 2420736 318 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 591 318 413 48 0 543 0 [pid=18873] vsize: 2364 Current children cumulated CPU time (s) 118.41 Current children cumulated vsize (Kb) 4492 [startup+230.023 s] Raw data (loadavg): 1.26 1.15 1.05 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 355 0 0 0 7349 5094 0 0 15 0 1 0 1845920294 2420736 325 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 591 325 413 48 0 543 0 [pid=18873] vsize: 2364 Current children cumulated CPU time (s) 124.45 Current children cumulated vsize (Kb) 4492 [startup+240.024 s] Raw data (loadavg): 1.22 1.14 1.05 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 359 0 0 0 7784 5287 0 0 15 0 1 0 1845920294 2555904 329 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 624 329 413 48 0 576 0 [pid=18873] vsize: 2496 Current children cumulated CPU time (s) 130.73 Current children cumulated vsize (Kb) 4624 [startup+250.026 s] Raw data (loadavg): 1.19 1.14 1.05 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 369 0 0 0 8240 5462 0 0 16 0 1 0 1845920294 2555904 339 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 624 339 413 48 0 576 0 [pid=18873] vsize: 2496 Current children cumulated CPU time (s) 137.04 Current children cumulated vsize (Kb) 4624 [startup+260.026 s] Raw data (loadavg): 1.23 1.15 1.05 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 377 0 0 0 8668 5653 0 0 15 0 1 0 1845920294 2555904 347 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 624 347 413 48 0 576 0 [pid=18873] vsize: 2496 Current children cumulated CPU time (s) 143.23 Current children cumulated vsize (Kb) 4624 [startup+270.027 s] Raw data (loadavg): 1.20 1.14 1.05 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 381 0 0 0 9098 5836 0 0 15 0 1 0 1845920294 2555904 351 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 624 351 413 48 0 576 0 [pid=18873] vsize: 2496 Current children cumulated CPU time (s) 149.36 Current children cumulated vsize (Kb) 4624 [startup+280.028 s] Raw data (loadavg): 1.24 1.15 1.05 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 392 0 0 0 9601 6002 0 0 15 0 1 0 1845920294 2691072 362 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 657 362 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 156.05 Current children cumulated vsize (Kb) 4756 [startup+290.029 s] Raw data (loadavg): 1.20 1.15 1.05 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 396 0 0 0 10067 6167 0 0 15 0 1 0 1845920294 2691072 366 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 657 366 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 162.36 Current children cumulated vsize (Kb) 4756 [startup+300.029 s] Raw data (loadavg): 1.25 1.16 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 397 0 0 0 10530 6345 0 0 15 0 1 0 1845920294 2691072 367 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 657 367 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 168.77 Current children cumulated vsize (Kb) 4756 [startup+310.03 s] Raw data (loadavg): 1.21 1.15 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 397 0 0 0 11013 6519 0 0 15 0 1 0 1845920294 2691072 367 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 657 367 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 175.34 Current children cumulated vsize (Kb) 4756 [startup+320.031 s] Raw data (loadavg): 1.25 1.16 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 400 0 0 0 11445 6706 0 0 15 0 1 0 1845920294 2691072 370 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 657 370 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 181.53 Current children cumulated vsize (Kb) 4756 [startup+330.031 s] Raw data (loadavg): 1.21 1.16 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 402 0 0 0 11898 6887 0 0 16 0 1 0 1845920294 2691072 372 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 657 372 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 187.87 Current children cumulated vsize (Kb) 4756 [startup+340.032 s] Raw data (loadavg): 1.18 1.15 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 404 0 0 0 12368 7060 0 0 15 0 1 0 1845920294 2691072 374 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 657 374 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 194.3 Current children cumulated vsize (Kb) 4756 [startup+350.035 s] Raw data (loadavg): 1.23 1.16 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 405 0 0 0 12847 7233 0 0 15 0 1 0 1845920294 2691072 375 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 657 375 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 200.82 Current children cumulated vsize (Kb) 4756 [startup+360.037 s] Raw data (loadavg): 1.20 1.16 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 409 0 0 0 13379 7387 0 0 15 0 1 0 1845920294 2691072 379 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 657 379 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 207.68 Current children cumulated vsize (Kb) 4756 [startup+370.037 s] Raw data (loadavg): 1.16 1.15 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 414 0 0 0 13860 7554 0 0 15 0 1 0 1845920294 2691072 384 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 657 384 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 214.16 Current children cumulated vsize (Kb) 4756 [startup+380.038 s] Raw data (loadavg): 1.22 1.16 1.07 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 416 0 0 0 14321 7725 0 0 16 0 1 0 1845920294 2691072 386 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 657 386 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 220.48 Current children cumulated vsize (Kb) 4756 [startup+390.039 s] Raw data (loadavg): 1.18 1.16 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 418 0 0 0 14795 7900 0 0 15 0 1 0 1845920294 2691072 388 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 657 388 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 226.97 Current children cumulated vsize (Kb) 4756 [startup+400.041 s] Raw data (loadavg): 1.16 1.15 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 418 0 0 0 15336 8055 0 0 16 0 1 0 1845920294 2691072 388 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 657 388 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 233.93 Current children cumulated vsize (Kb) 4756 [startup+410.041 s] Raw data (loadavg): 1.13 1.14 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 419 0 0 0 15812 8227 0 0 15 0 1 0 1845920294 2691072 389 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 657 389 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 240.41 Current children cumulated vsize (Kb) 4756 [startup+420.042 s] Raw data (loadavg): 1.11 1.14 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 422 0 0 0 16288 8406 0 0 15 0 1 0 1845920294 2691072 392 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 657 392 413 48 0 609 0 [pid=18873] vsize: 2628 Current children cumulated CPU time (s) 246.96 Current children cumulated vsize (Kb) 4756 [startup+430.044 s] Raw data (loadavg): 1.09 1.13 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 429 0 0 0 16835 8561 0 0 16 0 1 0 1845920294 2826240 399 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 690 399 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 253.98 Current children cumulated vsize (Kb) 4888 [startup+440.045 s] Raw data (loadavg): 1.08 1.13 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 432 0 0 0 17338 8726 0 0 15 0 1 0 1845920294 2826240 402 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 402 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 260.66 Current children cumulated vsize (Kb) 4888 [startup+450.045 s] Raw data (loadavg): 1.07 1.12 1.06 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 17817 8906 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 690 409 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 267.25 Current children cumulated vsize (Kb) 4888 [startup+460.046 s] Raw data (loadavg): 1.21 1.15 1.07 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 18125 9124 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 409 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 272.51 Current children cumulated vsize (Kb) 4888 [startup+470.047 s] Raw data (loadavg): 1.18 1.15 1.07 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 18443 9348 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 409 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 277.93 Current children cumulated vsize (Kb) 4888 [startup+480.047 s] Raw data (loadavg): 1.30 1.17 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 18804 9549 0 0 16 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 409 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 283.55 Current children cumulated vsize (Kb) 4888 [startup+490.048 s] Raw data (loadavg): 1.33 1.18 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 19121 9766 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 690 409 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 288.89 Current children cumulated vsize (Kb) 4888 [startup+500.05 s] Raw data (loadavg): 1.28 1.18 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 19417 9991 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 409 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 294.1 Current children cumulated vsize (Kb) 4888 [startup+510.051 s] Raw data (loadavg): 1.24 1.17 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 441 0 0 0 19771 10201 0 0 15 0 1 0 1845920294 2826240 411 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 411 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 299.74 Current children cumulated vsize (Kb) 4888 [startup+520.051 s] Raw data (loadavg): 1.20 1.17 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 443 0 0 0 20128 10419 0 0 15 0 1 0 1845920294 2826240 413 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 690 413 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 305.49 Current children cumulated vsize (Kb) 4888 [startup+530.053 s] Raw data (loadavg): 1.17 1.16 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 20536 10607 0 0 15 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 690 415 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 311.45 Current children cumulated vsize (Kb) 4888 [startup+540.054 s] Raw data (loadavg): 1.14 1.15 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 20953 10793 0 0 15 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 415 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 317.48 Current children cumulated vsize (Kb) 4888 [startup+550.056 s] Raw data (loadavg): 1.12 1.15 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 21368 10981 0 0 15 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 415 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 323.51 Current children cumulated vsize (Kb) 4888 [startup+560.056 s] Raw data (loadavg): 1.10 1.14 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 21782 11178 0 0 16 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 690 415 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 329.62 Current children cumulated vsize (Kb) 4888 [startup+570.057 s] Raw data (loadavg): 1.16 1.15 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 22173 11387 0 0 15 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 415 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 335.62 Current children cumulated vsize (Kb) 4888 [startup+580.058 s] Raw data (loadavg): 1.21 1.17 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 447 0 0 0 22688 11554 0 0 15 0 1 0 1845920294 2826240 417 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 690 417 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 342.44 Current children cumulated vsize (Kb) 4888 [startup+590.058 s] Raw data (loadavg): 1.26 1.18 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 447 0 0 0 23147 11730 0 0 15 0 1 0 1845920294 2826240 417 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 417 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 348.79 Current children cumulated vsize (Kb) 4888 [startup+600.06 s] Raw data (loadavg): 1.22 1.17 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 448 0 0 0 23595 11904 0 0 15 0 1 0 1845920294 2826240 418 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 418 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 355.01 Current children cumulated vsize (Kb) 4888 [startup+610.061 s] Raw data (loadavg): 1.18 1.16 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 451 0 0 0 24101 12068 0 0 15 0 1 0 1845920294 2826240 421 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 690 421 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 361.71 Current children cumulated vsize (Kb) 4888 [startup+620.062 s] Raw data (loadavg): 1.16 1.16 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 455 0 0 0 24631 12222 0 0 15 0 1 0 1845920294 2826240 425 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 425 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 368.55 Current children cumulated vsize (Kb) 4888 [startup+630.063 s] Raw data (loadavg): 1.13 1.15 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 455 0 0 0 25056 12408 0 0 15 0 1 0 1845920294 2826240 425 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 690 425 413 48 0 642 0 [pid=18873] vsize: 2760 Current children cumulated CPU time (s) 374.66 Current children cumulated vsize (Kb) 4888 [startup+640.064 s] Raw data (loadavg): 1.11 1.15 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 457 0 0 0 25515 12582 0 0 15 0 1 0 1845920294 2965504 427 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 427 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 380.99 Current children cumulated vsize (Kb) 5024 [startup+650.066 s] Raw data (loadavg): 1.09 1.14 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 457 0 0 0 25982 12757 0 0 15 0 1 0 1845920294 2965504 427 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 427 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 387.41 Current children cumulated vsize (Kb) 5024 [startup+660.067 s] Raw data (loadavg): 1.08 1.14 1.08 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 457 0 0 0 26454 12932 0 0 15 0 1 0 1845920294 2965504 427 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 427 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 393.88 Current children cumulated vsize (Kb) 5024 [startup+670.067 s] Raw data (loadavg): 1.22 1.16 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 457 0 0 0 26930 13106 0 0 15 0 1 0 1845920294 2965504 427 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 427 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 400.38 Current children cumulated vsize (Kb) 5024 [startup+680.068 s] Raw data (loadavg): 1.19 1.16 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 459 0 0 0 27458 13258 0 0 15 0 1 0 1845920294 2965504 429 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 429 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 407.18 Current children cumulated vsize (Kb) 5024 [startup+690.069 s] Raw data (loadavg): 1.16 1.15 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 459 0 0 0 27941 13428 0 0 15 0 1 0 1845920294 2965504 429 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 429 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 413.71 Current children cumulated vsize (Kb) 5024 [startup+700.07 s] Raw data (loadavg): 1.13 1.15 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 463 0 0 0 28418 13603 0 0 15 0 1 0 1845920294 2965504 433 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 433 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 420.23 Current children cumulated vsize (Kb) 5024 [startup+710.071 s] Raw data (loadavg): 1.18 1.16 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 463 0 0 0 28959 13758 0 0 15 0 1 0 1845920294 2965504 433 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 433 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 427.19 Current children cumulated vsize (Kb) 5024 [startup+720.072 s] Raw data (loadavg): 1.23 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 465 0 0 0 29447 13926 0 0 15 0 1 0 1845920294 2965504 435 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 435 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 433.75 Current children cumulated vsize (Kb) 5024 [startup+730.074 s] Raw data (loadavg): 1.19 1.16 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 465 0 0 0 29936 14096 0 0 16 0 1 0 1845920294 2965504 435 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 435 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 440.34 Current children cumulated vsize (Kb) 5024 [startup+740.074 s] Raw data (loadavg): 1.16 1.16 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 467 0 0 0 30474 14255 0 0 15 0 1 0 1845920294 2965504 437 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 437 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 447.31 Current children cumulated vsize (Kb) 5024 [startup+750.076 s] Raw data (loadavg): 1.14 1.15 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 467 0 0 0 30958 14428 0 0 15 0 1 0 1845920294 2965504 437 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 437 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 453.88 Current children cumulated vsize (Kb) 5024 [startup+760.077 s] Raw data (loadavg): 1.12 1.15 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 469 0 0 0 31472 14590 0 0 15 0 1 0 1845920294 2965504 439 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 439 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 460.64 Current children cumulated vsize (Kb) 5024 [startup+770.077 s] Raw data (loadavg): 1.10 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 32044 14737 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 467.83 Current children cumulated vsize (Kb) 5024 [startup+780.078 s] Raw data (loadavg): 1.16 1.15 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 32480 14924 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 474.06 Current children cumulated vsize (Kb) 5024 [startup+790.079 s] Raw data (loadavg): 1.14 1.15 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 32823 15151 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 479.76 Current children cumulated vsize (Kb) 5024 [startup+800.081 s] Raw data (loadavg): 1.12 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 33147 15372 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 485.21 Current children cumulated vsize (Kb) 5024 [startup+810.082 s] Raw data (loadavg): 1.18 1.15 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 33531 15574 0 0 16 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 491.07 Current children cumulated vsize (Kb) 5024 [startup+820.082 s] Raw data (loadavg): 1.23 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 33869 15795 0 0 16 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 496.66 Current children cumulated vsize (Kb) 5024 [startup+830.083 s] Raw data (loadavg): 1.27 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 34294 15985 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 502.81 Current children cumulated vsize (Kb) 5024 [startup+840.084 s] Raw data (loadavg): 1.23 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 34706 16184 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 508.92 Current children cumulated vsize (Kb) 5024 [startup+850.085 s] Raw data (loadavg): 1.28 1.18 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 35121 16369 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 514.92 Current children cumulated vsize (Kb) 5024 [startup+860.086 s] Raw data (loadavg): 1.23 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 35575 16554 0 0 16 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 521.31 Current children cumulated vsize (Kb) 5024 [startup+870.087 s] Raw data (loadavg): 1.20 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 35995 16744 0 0 16 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 527.41 Current children cumulated vsize (Kb) 5024 [startup+880.087 s] Raw data (loadavg): 1.24 1.18 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 36437 16925 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 533.64 Current children cumulated vsize (Kb) 5024 [startup+890.088 s] Raw data (loadavg): 1.20 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 36748 17146 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 538.96 Current children cumulated vsize (Kb) 5024 [startup+900.089 s] Raw data (loadavg): 1.24 1.18 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 37053 17368 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 544.23 Current children cumulated vsize (Kb) 5024 [startup+910.09 s] Raw data (loadavg): 1.21 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 37422 17575 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 549.99 Current children cumulated vsize (Kb) 5024 [startup+920.09 s] Raw data (loadavg): 1.17 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 37766 17785 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 555.53 Current children cumulated vsize (Kb) 5024 [startup+930.091 s] Raw data (loadavg): 1.15 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 38170 17980 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 441 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 561.52 Current children cumulated vsize (Kb) 5024 [startup+940.092 s] Raw data (loadavg): 1.12 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 475 0 0 0 38600 18173 0 0 15 0 1 0 1845920294 2965504 445 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 445 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 567.75 Current children cumulated vsize (Kb) 5024 [startup+950.094 s] Raw data (loadavg): 1.10 1.15 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 475 0 0 0 39009 18370 0 0 16 0 1 0 1845920294 2965504 445 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 445 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 573.81 Current children cumulated vsize (Kb) 5024 [startup+960.094 s] Raw data (loadavg): 1.09 1.15 1.09 2/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 475 0 0 0 39430 18556 0 0 16 0 1 0 1845920294 2965504 445 4294967295 134512640 134702520 3221223968 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 445 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 579.88 Current children cumulated vsize (Kb) 5024 [startup+970.095 s] Raw data (loadavg): 1.07 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 475 0 0 0 39840 18749 0 0 15 0 1 0 1845920294 2965504 445 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 445 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 585.91 Current children cumulated vsize (Kb) 5024 [startup+980.097 s] Raw data (loadavg): 1.21 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 40349 18916 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 592.67 Current children cumulated vsize (Kb) 5024 [startup+990.097 s] Raw data (loadavg): 1.26 1.18 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 40766 19105 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 598.73 Current children cumulated vsize (Kb) 5024 [startup+1000.1 s] Raw data (loadavg): 1.22 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 41198 19288 0 0 16 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 604.88 Current children cumulated vsize (Kb) 5024 [startup+1010.1 s] Raw data (loadavg): 1.19 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 41663 19464 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 611.29 Current children cumulated vsize (Kb) 5024 [startup+1020.1 s] Raw data (loadavg): 1.16 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 42054 19663 0 0 16 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 617.19 Current children cumulated vsize (Kb) 5024 [startup+1030.1 s] Raw data (loadavg): 1.29 1.19 1.11 2/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) R 18870 18870 2660 0 -1 0 477 0 0 0 42377 19885 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 622.64 Current children cumulated vsize (Kb) 5024 [startup+1040.1 s] Raw data (loadavg): 1.32 1.20 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 42715 20091 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 628.08 Current children cumulated vsize (Kb) 5024 [startup+1050.1 s] Raw data (loadavg): 1.34 1.21 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 43098 20294 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 633.94 Current children cumulated vsize (Kb) 5024 [startup+1060.1 s] Raw data (loadavg): 1.36 1.22 1.12 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 43486 20492 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 639.8 Current children cumulated vsize (Kb) 5024 [startup+1070.1 s] Raw data (loadavg): 1.31 1.21 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 43828 20707 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 645.37 Current children cumulated vsize (Kb) 5024 [startup+1080.1 s] Raw data (loadavg): 1.26 1.20 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 44233 20905 0 0 16 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 651.4 Current children cumulated vsize (Kb) 5024 [startup+1090.1 s] Raw data (loadavg): 1.22 1.19 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 44631 21099 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 447 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 657.32 Current children cumulated vsize (Kb) 5024 [startup+1100.11 s] Raw data (loadavg): 1.18 1.19 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 45049 21283 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 449 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 663.34 Current children cumulated vsize (Kb) 5024 [startup+1110.11 s] Raw data (loadavg): 1.16 1.18 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 45470 21464 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 449 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 669.36 Current children cumulated vsize (Kb) 5024 [startup+1120.12 s] Raw data (loadavg): 1.21 1.19 1.11 2/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) R 18870 18870 2660 0 -1 0 479 0 0 0 45895 21650 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 449 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 675.47 Current children cumulated vsize (Kb) 5024 [startup+1130.12 s] Raw data (loadavg): 1.18 1.18 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 46345 21829 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 449 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 681.76 Current children cumulated vsize (Kb) 5024 [startup+1140.12 s] Raw data (loadavg): 1.15 1.18 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 46850 21997 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 449 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 688.49 Current children cumulated vsize (Kb) 5024 [startup+1150.12 s] Raw data (loadavg): 1.13 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 47304 22174 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 449 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 694.8 Current children cumulated vsize (Kb) 5024 [startup+1160.12 s] Raw data (loadavg): 1.11 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 47749 22351 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 449 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 701.02 Current children cumulated vsize (Kb) 5024 [startup+1170.13 s] Raw data (loadavg): 1.09 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 48237 22516 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 449 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 707.55 Current children cumulated vsize (Kb) 5024 [startup+1180.13 s] Raw data (loadavg): 1.15 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 481 0 0 0 48739 22684 0 0 15 0 1 0 1845920294 2965504 451 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 451 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 714.25 Current children cumulated vsize (Kb) 5024 [startup+1190.13 s] Raw data (loadavg): 1.20 1.18 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 481 0 0 0 49252 22848 0 0 15 0 1 0 1845920294 2965504 451 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 451 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 721.02 Current children cumulated vsize (Kb) 5024 [startup+1200.13 s] Raw data (loadavg): 1.25 1.19 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 481 0 0 0 49737 23018 0 0 15 0 1 0 1845920294 2965504 451 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 451 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 727.57 Current children cumulated vsize (Kb) 5024 [startup+1210.13 s] Raw data (loadavg): 1.21 1.18 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 483 0 0 0 50216 23194 0 0 15 0 1 0 1845920294 2965504 453 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 453 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 734.12 Current children cumulated vsize (Kb) 5024 [startup+1220.13 s] Raw data (loadavg): 1.18 1.18 1.11 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 483 0 0 0 50727 23359 0 0 15 0 1 0 1845920294 2965504 453 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 453 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 740.88 Current children cumulated vsize (Kb) 5024 [startup+1230.13 s] Raw data (loadavg): 1.15 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 487 0 0 0 51223 23527 0 0 15 0 1 0 1845920294 2965504 457 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 724 457 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 747.52 Current children cumulated vsize (Kb) 5024 [startup+1240.13 s] Raw data (loadavg): 1.13 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 489 0 0 0 51707 23695 0 0 15 0 1 0 1845920294 2965504 459 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 724 459 413 48 0 676 0 [pid=18873] vsize: 2896 Current children cumulated CPU time (s) 754.04 Current children cumulated vsize (Kb) 5024 [startup+1250.13 s] Raw data (loadavg): 1.11 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 52274 23842 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 761.18 Current children cumulated vsize (Kb) 5160 [startup+1260.13 s] Raw data (loadavg): 1.09 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 52790 24008 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 768 Current children cumulated vsize (Kb) 5160 [startup+1270.13 s] Raw data (loadavg): 1.08 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 53321 24166 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 774.89 Current children cumulated vsize (Kb) 5160 [startup+1280.14 s] Raw data (loadavg): 1.06 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 53828 24337 0 0 16 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 781.67 Current children cumulated vsize (Kb) 5160 [startup+1290.14 s] Raw data (loadavg): 1.05 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 54404 24482 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 788.88 Current children cumulated vsize (Kb) 5160 [startup+1300.14 s] Raw data (loadavg): 1.12 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 54769 24689 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 794.6 Current children cumulated vsize (Kb) 5160 [startup+1310.14 s] Raw data (loadavg): 1.18 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 55102 24907 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 800.11 Current children cumulated vsize (Kb) 5160 [startup+1320.14 s] Raw data (loadavg): 1.16 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 55473 25110 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 805.85 Current children cumulated vsize (Kb) 5160 [startup+1330.14 s] Raw data (loadavg): 1.21 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 55853 25314 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 811.69 Current children cumulated vsize (Kb) 5160 [startup+1340.14 s] Raw data (loadavg): 1.18 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 56275 25502 0 0 16 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 461 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 817.79 Current children cumulated vsize (Kb) 5160 [startup+1350.14 s] Raw data (loadavg): 1.22 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 493 0 0 0 56700 25696 0 0 15 0 1 0 1845920294 3104768 463 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 463 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 823.98 Current children cumulated vsize (Kb) 5160 [startup+1360.14 s] Raw data (loadavg): 1.19 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 493 0 0 0 57093 25891 0 0 15 0 1 0 1845920294 3104768 463 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 463 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 829.86 Current children cumulated vsize (Kb) 5160 [startup+1370.14 s] Raw data (loadavg): 1.16 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 493 0 0 0 57509 26083 0 0 15 0 1 0 1845920294 3104768 463 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 463 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 835.94 Current children cumulated vsize (Kb) 5160 [startup+1380.14 s] Raw data (loadavg): 1.13 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 493 0 0 0 57972 26261 0 0 16 0 1 0 1845920294 3104768 463 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 463 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 842.35 Current children cumulated vsize (Kb) 5160 [startup+1390.15 s] Raw data (loadavg): 1.11 1.15 1.09 2/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) R 18870 18870 2660 0 -1 0 495 0 0 0 58418 26443 0 0 15 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 465 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 848.63 Current children cumulated vsize (Kb) 5160 [startup+1400.15 s] Raw data (loadavg): 1.10 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 58879 26620 0 0 15 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 465 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 855.01 Current children cumulated vsize (Kb) 5160 [startup+1410.15 s] Raw data (loadavg): 1.08 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 59308 26803 0 0 16 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 465 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 861.13 Current children cumulated vsize (Kb) 5160 [startup+1420.15 s] Raw data (loadavg): 1.07 1.13 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 59794 26973 0 0 15 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 465 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 867.69 Current children cumulated vsize (Kb) 5160 [startup+1430.15 s] Raw data (loadavg): 1.13 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 60255 27159 0 0 15 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 465 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 874.16 Current children cumulated vsize (Kb) 5160 [startup+1440.15 s] Raw data (loadavg): 1.11 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 60780 27321 0 0 16 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 465 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 881.03 Current children cumulated vsize (Kb) 5160 [startup+1450.15 s] Raw data (loadavg): 1.09 1.13 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 497 0 0 0 61237 27501 0 0 15 0 1 0 1845920294 3104768 467 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 467 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 887.4 Current children cumulated vsize (Kb) 5160 [startup+1460.15 s] Raw data (loadavg): 1.08 1.13 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 500 0 0 0 61707 27672 0 0 15 0 1 0 1845920294 3104768 470 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 470 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 893.81 Current children cumulated vsize (Kb) 5160 [startup+1470.15 s] Raw data (loadavg): 1.07 1.12 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 500 0 0 0 62185 27840 0 0 15 0 1 0 1845920294 3104768 470 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 470 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 900.27 Current children cumulated vsize (Kb) 5160 [startup+1480.16 s] Raw data (loadavg): 1.06 1.12 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 62775 27983 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 907.6 Current children cumulated vsize (Kb) 5160 [startup+1490.16 s] Raw data (loadavg): 1.05 1.11 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 63238 28165 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 914.05 Current children cumulated vsize (Kb) 5160 [startup+1500.16 s] Raw data (loadavg): 1.12 1.13 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 63718 28339 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 920.59 Current children cumulated vsize (Kb) 5160 [startup+1510.16 s] Raw data (loadavg): 1.10 1.12 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 64276 28488 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 927.66 Current children cumulated vsize (Kb) 5160 [startup+1520.16 s] Raw data (loadavg): 1.16 1.13 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 64742 28660 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 934.04 Current children cumulated vsize (Kb) 5160 [startup+1530.16 s] Raw data (loadavg): 1.21 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 65212 28833 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 940.47 Current children cumulated vsize (Kb) 5160 [startup+1540.16 s] Raw data (loadavg): 1.17 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 65726 28994 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 947.22 Current children cumulated vsize (Kb) 5160 [startup+1550.16 s] Raw data (loadavg): 1.23 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 66214 29164 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 953.8 Current children cumulated vsize (Kb) 5160 [startup+1560.16 s] Raw data (loadavg): 1.27 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 66683 29343 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 960.28 Current children cumulated vsize (Kb) 5160 [startup+1570.16 s] Raw data (loadavg): 1.23 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 67131 29530 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 966.63 Current children cumulated vsize (Kb) 5160 [startup+1580.16 s] Raw data (loadavg): 1.19 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 67605 29701 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 973.08 Current children cumulated vsize (Kb) 5160 [startup+1590.17 s] Raw data (loadavg): 1.16 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 68115 29868 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 979.85 Current children cumulated vsize (Kb) 5160 [startup+1600.17 s] Raw data (loadavg): 1.22 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 68404 30098 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 985.04 Current children cumulated vsize (Kb) 5160 [startup+1610.17 s] Raw data (loadavg): 1.18 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 68712 30319 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 990.33 Current children cumulated vsize (Kb) 5160 [startup+1620.17 s] Raw data (loadavg): 1.24 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 69045 30535 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 995.82 Current children cumulated vsize (Kb) 5160 [startup+1630.17 s] Raw data (loadavg): 1.20 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 69360 30758 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1001.2 Current children cumulated vsize (Kb) 5160 [startup+1640.17 s] Raw data (loadavg): 1.17 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 69743 30960 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1007.05 Current children cumulated vsize (Kb) 5160 [startup+1650.17 s] Raw data (loadavg): 1.14 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 70105 31166 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1012.73 Current children cumulated vsize (Kb) 5160 [startup+1660.17 s] Raw data (loadavg): 1.12 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 70612 31329 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1019.43 Current children cumulated vsize (Kb) 5160 [startup+1670.17 s] Raw data (loadavg): 1.10 1.13 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 71011 31529 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1025.42 Current children cumulated vsize (Kb) 5160 [startup+1680.18 s] Raw data (loadavg): 1.08 1.13 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 71405 31722 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1031.29 Current children cumulated vsize (Kb) 5160 [startup+1690.18 s] Raw data (loadavg): 1.22 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 71809 31923 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1037.34 Current children cumulated vsize (Kb) 5160 [startup+1700.18 s] Raw data (loadavg): 1.27 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 72244 32105 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1043.51 Current children cumulated vsize (Kb) 5160 [startup+1710.18 s] Raw data (loadavg): 1.23 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 72686 32286 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1049.74 Current children cumulated vsize (Kb) 5160 [startup+1720.18 s] Raw data (loadavg): 1.27 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 73153 32460 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1056.15 Current children cumulated vsize (Kb) 5160 [startup+1730.18 s] Raw data (loadavg): 1.22 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 73593 32643 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1062.38 Current children cumulated vsize (Kb) 5160 [startup+1740.18 s] Raw data (loadavg): 1.19 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 74050 32823 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1068.75 Current children cumulated vsize (Kb) 5160 [startup+1750.18 s] Raw data (loadavg): 1.16 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 74512 32999 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1075.13 Current children cumulated vsize (Kb) 5160 [startup+1760.18 s] Raw data (loadavg): 1.22 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 74978 33178 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1081.58 Current children cumulated vsize (Kb) 5160 [startup+1770.18 s] Raw data (loadavg): 1.18 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 75427 33363 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1087.92 Current children cumulated vsize (Kb) 5160 [startup+1780.19 s] Raw data (loadavg): 1.15 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 75885 33551 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1094.38 Current children cumulated vsize (Kb) 5160 [startup+1790.19 s] Raw data (loadavg): 1.13 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 76350 33735 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1100.87 Current children cumulated vsize (Kb) 5160 [startup+1800.19 s] Raw data (loadavg): 1.11 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 76867 33900 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1107.69 Current children cumulated vsize (Kb) 5160 [startup+1810.19 s] Raw data (loadavg): 1.09 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 77372 34065 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1114.39 Current children cumulated vsize (Kb) 5160 [startup+1820.19 s] Raw data (loadavg): 1.16 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 77843 34243 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1120.88 Current children cumulated vsize (Kb) 5160 [startup+1830.19 s] Raw data (loadavg): 1.13 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 78317 34418 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1127.37 Current children cumulated vsize (Kb) 5160 [startup+1840.19 s] Raw data (loadavg): 1.11 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 78790 34586 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1133.78 Current children cumulated vsize (Kb) 5160 [startup+1850.19 s] Raw data (loadavg): 1.17 1.15 1.10 2/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 79345 34739 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1140.86 Current children cumulated vsize (Kb) 5160 [startup+1860.19 s] Raw data (loadavg): 1.30 1.18 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 79825 34917 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1147.44 Current children cumulated vsize (Kb) 5160 [startup+1870.19 s] Raw data (loadavg): 1.25 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 80414 35055 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1154.71 Current children cumulated vsize (Kb) 5160 [startup+1880.2 s] Raw data (loadavg): 1.21 1.17 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 80900 35231 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 474 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1161.33 Current children cumulated vsize (Kb) 5160 [startup+1890.2 s] Raw data (loadavg): 1.18 1.16 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 81490 35377 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 478 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1168.69 Current children cumulated vsize (Kb) 5160 [startup+1900.2 s] Raw data (loadavg): 1.15 1.15 1.10 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 81966 35550 0 0 16 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 478 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1175.18 Current children cumulated vsize (Kb) 5160 [startup+1910.2 s] Raw data (loadavg): 1.13 1.15 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 82541 35694 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 478 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1182.37 Current children cumulated vsize (Kb) 5160 [startup+1920.2 s] Raw data (loadavg): 1.11 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 83170 35817 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 478 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1189.89 Current children cumulated vsize (Kb) 5160 [startup+1930.2 s] Raw data (loadavg): 1.09 1.14 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 83658 35990 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/18873/statm): 758 478 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1196.5 Current children cumulated vsize (Kb) 5160 [startup+1940.2 s] Raw data (loadavg): 1.08 1.13 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 84155 36159 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 478 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1203.16 Current children cumulated vsize (Kb) 5160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1940.2 s] Raw data (loadavg): 1.08 1.13 1.09 1/57 18873 Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/18870/statm): 532 242 485 147 0 385 0 [pid=18870] vsize: 2128 Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 84155 36159 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/18873/statm): 758 478 413 48 0 710 0 [pid=18873] vsize: 3032 Current children cumulated CPU time (s) 1203.16 Current children cumulated vsize (Kb) 5160 Sending SIGTERM to -18870 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=18875 New process pid=18876 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=18873) exited with status: 3 execve syscall for /bin/ps executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/35/stat open syscall for file /proc/35/status open syscall for file /proc/35/cmdline open syscall for file /proc/35/environ open syscall for file /proc/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/21233/stat open syscall for file /proc/21233/status open syscall for file /proc/21233/cmdline open syscall for file /proc/21233/environ open syscall for file /proc/20037/stat open syscall for file /proc/20037/status open syscall for file /proc/20037/cmdline open syscall for file /proc/20037/environ open syscall for file /proc/20064/stat open syscall for file /proc/20064/status open syscall for file /proc/20064/cmdline open syscall for file /proc/20064/environ open syscall for file /proc/20088/stat open syscall for file /proc/20088/status open syscall for file /proc/20088/cmdline open syscall for file /proc/20088/environ open syscall for file /proc/4269/stat open syscall for file /proc/4269/status open syscall for file /proc/4269/cmdline open syscall for file /proc/4269/environ open syscall for file /proc/17737/stat open syscall for file /proc/17737/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/17737/cmdline open syscall for file /proc/17737/environ open syscall for file /proc/17772/stat open syscall for file /proc/17772/status open syscall for file /proc/17772/cmdline open syscall for file /proc/17772/environ open syscall for file /proc/2660/stat open syscall for file /proc/2660/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/2660/cmdline open syscall for file /proc/2660/environ open syscall for file /proc/2661/stat open syscall for file /proc/2661/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/2661/cmdline open syscall for file /proc/2661/environ open syscall for file /proc/2670/stat open syscall for file /proc/2670/status open syscall for file /proc/2670/cmdline open syscall for file /proc/2670/environ open syscall for file /proc/18833/stat open syscall for file /proc/18833/status open syscall for file /proc/18833/cmdline open syscall for file /proc/18833/environ open syscall for file /proc/18869/stat open syscall for file /proc/18869/status open syscall for file /proc/18869/cmdline open syscall for file /proc/18869/environ open syscall for file /proc/18870/stat open syscall for file /proc/18870/status open syscall for file /proc/18870/cmdline open syscall for file /proc/18870/environ open syscall for file /proc/18875/stat open syscall for file /proc/18875/status open syscall for file /proc/18875/cmdline open syscall for file /proc/18875/environ open syscall for file /proc/18876/stat open syscall for file /proc/18876/status open syscall for file /proc/18876/cmdline open syscall for file /proc/18876/environ One traced child (pid=18875) exited with status: 0 One traced child (pid=18876) exited with status: 0 New process pid=18877 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=18877) exited with status: 0 New process pid=18878 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=18878) exited with status: 0 New process pid=18879 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=18879) exited with status: 0 New process pid=18880 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=18880) exited with status: 0 One traced child (pid=18870) 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): 1940.75 CPU time (s): 1203.29 CPU user time (s): 841.59 CPU system time (s): 361.702 CPU usage (%): 62.0013 Max. virtual memory (cumulated for all children) (Kb): 5160
ERROR: no interpretation found !