Name | mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb |
MD5SUM | a7baaeaa26a0026c630e11c495604909 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1216914 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5292 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1421968313 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1421968313 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1215.96 |
Number of variables | 5292 |
Total number of constraints | 284 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 284 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 360 |
LAUNCH ON wulflinc15 THE 2005-09-23 13:09:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8115 boxname=wulflinc15 idbench=1083 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a7baaeaa26a0026c630e11c495604909 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ran14x18.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ran14x18.opb 0 IDLAUNCH: 8115 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 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 : 2 cpu MHz : 451.045 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 803612 kB Buffers: 13864 kB Cached: 197820 kB SwapCached: 0 kB Active: 171324 kB Inactive: 43248 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 803332 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6984 kB Slab: 10952 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 13:33:41 (client local time) WITH STATUS 0 IN 1202.49 SECONDS stats: 8115 7 1202.49 0
1: seed: 0 Nr of vars set: 2208 (#equs: 0) Nr of vars set: 2208 (#equs: 0) #decisions: 2594; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 317, #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: 1416749722 (5218590:>=*); #decisions: 2561; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 317, #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: 1416749731 (5218581:>=*); #decisions: 2565; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 317, #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: 1416749791 (5218521:>=*); #decisions: 2580; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 317, #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: 1416749835 (5218477:>=*); #decisions: 2637; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 80 (80) #axs: 317, #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: 1416749940 (5218372:>=*); #decisions: 2622; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 80 (80) #axs: 317, #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: 1416750127 (5218185:>=*); #decisions: 2591; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 80 (80) #axs: 317, #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: 1416750141 (5218171:>=*); #decisions: 2604; #end-nodes: 38; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 38 / 80 (80) #axs: 317, #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: 1416750145 (5218167:>=*); #decisions: 2592; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 80 (80) #axs: 317, #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: 1416750147 (5218165:>=*); #decisions: 2634; #end-nodes: 51; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 51 / 80 (80) #axs: 317, #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: 1416750156 (5218156:>=*); #decisions: 2568; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 317, #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: 1416750165 (5218147:>=*); #decisions: 2571; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 317, #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: 1416750186 (5218126:>=*); #decisions: 2565; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 317, #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: 1416750195 (5218117:>=*); #decisions: 2570; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 317, #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: 1416750216 (5218096:>=*); #decisions: 2570; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 317, #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: 1416750225 (5218087:>=*); #decisions: 2622; #end-nodes: 35; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 35 / 80 (80) #axs: 317, #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: 1416750238 (5218074:>=*); #decisions: 2628; #end-nodes: 51; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 51 / 80 (80) #axs: 317, #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: 1416750241 (5218071:>=*); #decisions: 23827; #end-nodes: 807; #proof improvement attempts: 0; #restarts: 9 Current batch, end-nodes: 76 / 82 (82) #axs: 317, #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: 1416763806 (5204506:>=*); #decisions: 12621; #end-nodes: 393; #proof improvement attempts: 0; #restarts: 4 Current batch, end-nodes: 72 / 81 (81) #axs: 317, #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: 1416814919 (5153393:>=*); #decisions: 2657; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 317, #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: 1416814959 (5153353:>=*); #decisions: 2605; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 317, #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: 1416814965 (5153347:>=*); #decisions: 17071; #end-nodes: 511; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 28 / 81 (81) #axs: 317, #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: 1416914291 (5054021:>=*); #decisions: 2753; #end-nodes: 42; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 42 / 80 (80) #axs: 317, #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: 1416914305 (5054007:>=*); #decisions: 2744; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 80 (80) #axs: 317, #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: 1416914307 (5054005:>=*); #decisions: 2695; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 317, #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: 1416914316 (5053996:>=*); #decisions: 2736; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 80 (80) #axs: 317, #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: 1416914318 (5053994:>=*); #decisions: 189664; #end-nodes: 6819; #proof improvement attempts: 0; #restarts: 76 Current batch, end-nodes: 11 / 99 (99) #axs: 317, #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: 1417050749 (4917563:>=*); #decisions: 2608; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 317, #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: 1417050754 (4917558:>=*); #decisions: 2628; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 80 (80) #axs: 317, #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: 1417050757 (4917555:>=*); #decisions: 2627; #end-nodes: 36; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 36 / 80 (80) #axs: 317, #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: 1417050760 (4917552:>=*); #decisions: 2651; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 317, #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: 1417050767 (4917545:>=*); #decisions: 2616; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 80 (80) #axs: 317, #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: 1417050771 (4917541:>=*); #decisions: 516711; #end-nodes: 23307; #proof improvement attempts: 0; #restarts: 217 Current batch, end-nodes: 47 / 134 (134) #axs: 317, #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: 1417107102 (4861210:>=*); #decisions: 2566; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 317, #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: 1417107104 (4861208:>=*); #decisions: 2531; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 317, #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: 1417107105 (4861207:>=*); #decisions: 2521; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 317, #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: 1417107114 (4861198:>=*); #decisions: 2527; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 317, #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: 1417107116 (4861196:>=*); #decisions: 2524; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 317, #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: 1417107117 (4861195:>=*); #decisions: 2520; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 317, #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: 1417107126 (4861186:>=*); #decisions: 2534; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 80 (80) #axs: 317, #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: 1417107127 (4861185:>=*); #decisions: 2519; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 317, #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: 1417107128 (4861184:>=*); #decisions: 2588; #end-nodes: 71; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 71 / 80 (80) #axs: 317, #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: 1417107544 (4860768:>=*); #decisions: 2584; #end-nodes: 74; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 74 / 80 (80) #axs: 317, #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: 1417107553 (4860759:>=*); #decisions: 2565; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 80 (80) #axs: 317, #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: 1417107577 (4860735:>=*); #decisions: 2576; #end-nodes: 38; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 38 / 80 (80) #axs: 317, #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: 1417107579 (4860733:>=*); #decisions: 287253; #end-nodes: 11734; #proof improvement attempts: 0; #restarts: 122 Current batch, end-nodes: 105 / 110 (110) #axs: 317, #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: 1417164208 (4804104:>=*); #decisions: 2558; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 80 (80) #axs: 317, #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: 1417164285 (4804027:>=*); #decisions: 197660; #end-nodes: 7774; #proof improvement attempts: 0; #restarts: 85 Current batch, end-nodes: 75 / 101 (101) #axs: 317, #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: 1417256076 (4712236:>=*); #decisions: 2555; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 317, #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: 1417256108 (4712204:>=*); #decisions: 2952; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 80 (80) #axs: 317, #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: 1417256116 (4712196:>=*); #decisions: 216081; #end-nodes: 8846; #proof improvement attempts: 0; #restarts: 96 Current batch, end-nodes: 0 / 103 (103) #axs: 317, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 1417256116 (4712196:>=*) No proof was found though that an increment of the last pushed constraint doesn't have a model. result: the time limit has been exceeded (2) seed: 0 Nr of vars set: 2208 (#equs: 0) Time taken: 5 min, 14 sec 2: seed: 0 Nr of vars set: 2208 (#equs: 0) Nr of vars set: 2208 (#equs: 0) #decisions: 1237135; #end-nodes: 93549; #proof improvement attempts: 0; #restarts: 509 Current batch, end-nodes: 57 / 247 (247) #axs: 317, #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: 4295958 (4693666:>=*); #decisions: 2449; #end-nodes: 60; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 60 / 120 (120) #axs: 317, #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: 4296011 (4693613:>=*); #decisions: 2322; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 120 (120) #axs: 317, #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: 4296043 (4693581:>=*); #decisions: 2334; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 120 (120) #axs: 317, #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: 4296045 (4693579:>=*); #decisions: 2457; #end-nodes: 90; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 90 / 120 (120) #axs: 317, #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: 4296100 (4693524:>=*); #decisions: 2470; #end-nodes: 87; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 87 / 120 (120) #axs: 317, #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: 4296112 (4693512:>=*); #decisions: 1641123; #end-nodes: 135231; #proof improvement attempts: 0; #restarts: 665 Current batch, end-nodes: 103 / 286 (286) #axs: 317, #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: 4345638 (4643986:>=*); Interupt request received. #decisions: 1816111; #end-nodes: 155766; #proof improvement attempts: 0; #restarts: 735 Current batch, end-nodes: 0 / 303 (303) #axs: 317, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 4345638 (4643986:>=*) 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: 4112 (#equs: 0) Time taken: 14 min, 48 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) R 5919 5920 4057 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 20429966 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/5920/statm): 174 3 169 147 0 27 0 [pid=5920] 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=5921 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=5921) exited with status: 0 New process pid=5922 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=5922) exited with status: 0 New process pid=5923 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/wulflinc15/normalized-mps-v2-13-7-ran14x18.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.004 s] Raw data (loadavg): 0.87 1.00 1.02 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 566 0 0 0 676 102 0 0 18 0 1 0 20429974 3641344 536 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5923/statm): 889 536 413 48 0 841 0 [pid=5923] vsize: 3556 Current children cumulated CPU time (s) 7.81 Current children cumulated vsize (Kb) 5684 [startup+20.0048 s] Raw data (loadavg): 0.89 1.00 1.02 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 566 0 0 0 1282 232 0 0 16 0 1 0 20429974 3641344 536 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5923/statm): 889 536 413 48 0 841 0 [pid=5923] vsize: 3556 Current children cumulated CPU time (s) 15.17 Current children cumulated vsize (Kb) 5684 [startup+30.0067 s] Raw data (loadavg): 0.91 1.00 1.02 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 662 0 0 0 2036 315 0 0 16 0 1 0 20429974 5128192 632 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1252 632 413 48 0 1204 0 [pid=5923] vsize: 5008 Current children cumulated CPU time (s) 23.54 Current children cumulated vsize (Kb) 7136 [startup+40.0075 s] Raw data (loadavg): 0.92 1.00 1.02 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 719 0 0 0 2784 398 0 0 16 0 1 0 20429974 5128192 689 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1252 689 413 48 0 1204 0 [pid=5923] vsize: 5008 Current children cumulated CPU time (s) 31.85 Current children cumulated vsize (Kb) 7136 [startup+50.0083 s] Raw data (loadavg): 0.93 1.00 1.02 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 798 0 0 0 3569 470 0 0 16 0 1 0 20429974 5316608 768 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1298 768 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 40.42 Current children cumulated vsize (Kb) 7320 [startup+60.0091 s] Raw data (loadavg): 0.94 1.00 1.02 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 802 0 0 0 4337 547 0 0 16 0 1 0 20429974 5316608 772 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 772 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 48.87 Current children cumulated vsize (Kb) 7320 [startup+70.0099 s] Raw data (loadavg): 0.95 1.00 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 802 0 0 0 5115 626 0 0 16 0 1 0 20429974 5316608 772 4294967295 134512640 134702520 3221223952 3221158768 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1298 772 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 57.44 Current children cumulated vsize (Kb) 7320 [startup+80.0117 s] Raw data (loadavg): 0.96 1.00 1.01 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 932 0 0 0 5893 698 0 0 16 0 1 0 20429974 5316608 902 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 902 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 65.94 Current children cumulated vsize (Kb) 7320 [startup+90.0126 s] Raw data (loadavg): 0.96 1.00 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 976 0 0 0 6637 780 0 0 16 0 1 0 20429974 5316608 946 4294967295 134512640 134702520 3221223952 3221222928 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 946 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 74.2 Current children cumulated vsize (Kb) 7320 [startup+100.013 s] Raw data (loadavg): 0.97 1.00 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 976 0 0 0 7443 844 0 0 16 0 1 0 20429974 5316608 946 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 946 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 82.9 Current children cumulated vsize (Kb) 7320 [startup+110.014 s] Raw data (loadavg): 0.97 1.00 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 977 0 0 0 8202 925 0 0 16 0 1 0 20429974 5316608 947 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1298 947 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 91.3 Current children cumulated vsize (Kb) 7320 [startup+120.015 s] Raw data (loadavg): 0.98 1.00 1.01 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 990 0 0 0 9025 986 0 0 19 0 1 0 20429974 5316608 960 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 960 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 100.14 Current children cumulated vsize (Kb) 7320 [startup+130.017 s] Raw data (loadavg): 0.98 1.00 1.01 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 991 0 0 0 9967 1008 0 0 19 0 1 0 20429974 5316608 961 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 961 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 109.78 Current children cumulated vsize (Kb) 7320 [startup+140.018 s] Raw data (loadavg): 0.98 1.00 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 993 0 0 0 10790 1067 0 0 17 0 1 0 20429974 5316608 963 4294967295 134512640 134702520 3221223952 3221147408 134612002 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 963 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 118.6 Current children cumulated vsize (Kb) 7320 [startup+150.018 s] Raw data (loadavg): 0.98 1.00 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 998 0 0 0 11588 1131 0 0 16 0 1 0 20429974 5316608 968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1298 968 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 127.22 Current children cumulated vsize (Kb) 7320 [startup+160.019 s] Raw data (loadavg): 0.99 1.00 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1003 0 0 0 12345 1208 0 0 16 0 1 0 20429974 5316608 973 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1298 973 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 135.56 Current children cumulated vsize (Kb) 7320 [startup+170.02 s] Raw data (loadavg): 0.99 1.00 1.00 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1007 0 0 0 13165 1266 0 0 18 0 1 0 20429974 5316608 977 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 977 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 144.34 Current children cumulated vsize (Kb) 7320 [startup+180.021 s] Raw data (loadavg): 0.99 1.00 1.00 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1012 0 0 0 14004 1317 0 0 17 0 1 0 20429974 5316608 982 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 982 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 153.24 Current children cumulated vsize (Kb) 7320 [startup+190.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1012 0 0 0 14949 1336 0 0 18 0 1 0 20429974 5316608 982 4294967295 134512640 134702520 3221223952 3221222848 134553333 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1298 982 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 162.88 Current children cumulated vsize (Kb) 7320 [startup+200.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1014 0 0 0 15771 1394 0 0 16 0 1 0 20429974 5316608 984 4294967295 134512640 134702520 3221223952 3221223344 134605161 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1298 984 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 171.68 Current children cumulated vsize (Kb) 7320 [startup+210.023 s] Raw data (loadavg): 1.07 1.01 1.01 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1016 0 0 0 16553 1467 0 0 16 0 1 0 20429974 5316608 986 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1298 986 413 48 0 1250 0 [pid=5923] vsize: 5192 Current children cumulated CPU time (s) 180.23 Current children cumulated vsize (Kb) 7320 [startup+220.024 s] Raw data (loadavg): 1.13 1.03 1.01 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1018 0 0 0 17291 1551 0 0 16 0 1 0 20429974 5439488 988 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 988 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 188.45 Current children cumulated vsize (Kb) 7440 [startup+230.025 s] Raw data (loadavg): 1.18 1.04 1.02 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1021 0 0 0 18087 1618 0 0 16 0 1 0 20429974 5439488 991 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1328 991 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 197.08 Current children cumulated vsize (Kb) 7440 [startup+240.026 s] Raw data (loadavg): 1.15 1.04 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1022 0 0 0 18846 1696 0 0 16 0 1 0 20429974 5439488 992 4294967295 134512640 134702520 3221223952 3221223072 134584607 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 992 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 205.45 Current children cumulated vsize (Kb) 7440 [startup+250.027 s] Raw data (loadavg): 1.13 1.04 1.01 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1024 0 0 0 19663 1754 0 0 19 0 1 0 20429974 5439488 994 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 994 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 214.2 Current children cumulated vsize (Kb) 7440 [startup+260.028 s] Raw data (loadavg): 1.11 1.04 1.01 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1025 0 0 0 20607 1771 0 0 20 0 1 0 20429974 5439488 995 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 995 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 223.81 Current children cumulated vsize (Kb) 7440 [startup+270.028 s] Raw data (loadavg): 1.09 1.04 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1025 0 0 0 21437 1825 0 0 18 0 1 0 20429974 5439488 995 4294967295 134512640 134702520 3221223952 3221111708 134531187 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 995 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 232.65 Current children cumulated vsize (Kb) 7440 [startup+280.029 s] Raw data (loadavg): 1.08 1.03 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1027 0 0 0 22174 1916 0 0 16 0 1 0 20429974 5439488 997 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 997 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 240.93 Current children cumulated vsize (Kb) 7440 [startup+290.03 s] Raw data (loadavg): 1.07 1.03 1.01 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1028 0 0 0 22972 1981 0 0 16 0 1 0 20429974 5439488 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 998 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 249.56 Current children cumulated vsize (Kb) 7440 [startup+300.031 s] Raw data (loadavg): 1.06 1.03 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1030 0 0 0 23735 2056 0 0 17 0 1 0 20429974 5439488 1000 4294967295 134512640 134702520 3221223952 3221143868 134531187 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 1000 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 257.94 Current children cumulated vsize (Kb) 7440 [startup+310.032 s] Raw data (loadavg): 1.05 1.03 1.01 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1031 0 0 0 24522 2128 0 0 16 0 1 0 20429974 5439488 1001 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 1001 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 266.53 Current children cumulated vsize (Kb) 7440 [startup+320.032 s] Raw data (loadavg): 1.04 1.03 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1032 0 0 0 25284 2206 0 0 16 0 1 0 20429974 5439488 1002 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1328 1002 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 274.93 Current children cumulated vsize (Kb) 7440 [startup+330.034 s] Raw data (loadavg): 1.03 1.03 1.01 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1033 0 0 0 26078 2272 0 0 18 0 1 0 20429974 5439488 1003 4294967295 134512640 134702520 3221223952 3220961628 134531187 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 1003 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 283.53 Current children cumulated vsize (Kb) 7440 [startup+340.035 s] Raw data (loadavg): 1.03 1.03 1.00 1/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1034 0 0 0 26827 2352 0 0 16 0 1 0 20429974 5439488 1004 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5923/statm): 1328 1004 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 291.82 Current children cumulated vsize (Kb) 7440 [startup+350.035 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1036 0 0 0 27641 2411 0 0 19 0 1 0 20429974 5439488 1006 4294967295 134512640 134702520 3221223952 3221222976 134553294 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1328 1006 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 300.55 Current children cumulated vsize (Kb) 7440 [startup+360.037 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 5923 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 242 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1037 0 0 0 28584 2432 0 0 18 0 1 0 20429974 5439488 1007 4294967295 134512640 134702520 3221223952 3221222848 134553820 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5923/statm): 1328 1007 413 48 0 1280 0 [pid=5923] vsize: 5312 Current children cumulated CPU time (s) 310.19 Current children cumulated vsize (Kb) 7440 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=5923) exited with status: 2 New process pid=5924 execve syscall for /usr/bin/head executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=5924) exited with status: 0 New process pid=5925 execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf [startup+370.037 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 506 0 0 0 432 50 0 0 17 0 1 0 20466386 3350528 477 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 818 477 413 48 0 770 0 [pid=5925] vsize: 3272 Current children cumulated CPU time (s) 318.94 Current children cumulated vsize (Kb) 5400 [startup+380.039 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 507 0 0 0 1033 185 0 0 17 0 1 0 20466386 3350528 478 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 818 478 413 48 0 770 0 [pid=5925] vsize: 3272 Current children cumulated CPU time (s) 326.3 Current children cumulated vsize (Kb) 5400 [startup+390.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 839 0 0 0 1684 301 0 0 17 0 1 0 20466386 4538368 810 4294967295 134512640 134702520 3221223712 3221068128 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1108 810 413 48 0 1060 0 [pid=5925] vsize: 4432 Current children cumulated CPU time (s) 333.97 Current children cumulated vsize (Kb) 6560 [startup+400.041 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 850 0 0 0 2390 396 0 0 17 0 1 0 20466386 4669440 821 4294967295 134512640 134702520 3221223712 3221143468 134531187 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1140 821 413 48 0 1092 0 [pid=5925] vsize: 4560 Current children cumulated CPU time (s) 341.98 Current children cumulated vsize (Kb) 6688 [startup+410.042 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 857 0 0 0 3097 490 0 0 16 0 1 0 20466386 4669440 828 4294967295 134512640 134702520 3221223712 3221207488 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1140 828 413 48 0 1092 0 [pid=5925] vsize: 4560 Current children cumulated CPU time (s) 349.99 Current children cumulated vsize (Kb) 6688 [startup+420.042 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 863 0 0 0 3872 563 0 0 16 0 1 0 20466386 4669440 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1140 834 413 48 0 1092 0 [pid=5925] vsize: 4560 Current children cumulated CPU time (s) 358.47 Current children cumulated vsize (Kb) 6688 [startup+430.044 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 863 0 0 0 4527 684 0 0 16 0 1 0 20466386 4669440 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1140 834 413 48 0 1092 0 [pid=5925] vsize: 4560 Current children cumulated CPU time (s) 366.23 Current children cumulated vsize (Kb) 6688 [startup+440.045 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 865 0 0 0 5186 798 0 0 17 0 1 0 20466386 4669440 836 4294967295 134512640 134702520 3221223712 3221146848 134611996 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1140 836 413 48 0 1092 0 [pid=5925] vsize: 4560 Current children cumulated CPU time (s) 373.96 Current children cumulated vsize (Kb) 6688 [startup+450.046 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 869 0 0 0 5908 891 0 0 16 0 1 0 20466386 4669440 840 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1140 840 413 48 0 1092 0 [pid=5925] vsize: 4560 Current children cumulated CPU time (s) 382.11 Current children cumulated vsize (Kb) 6688 [startup+460.047 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 874 0 0 0 6655 973 0 0 16 0 1 0 20466386 4669440 845 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1140 845 413 48 0 1092 0 [pid=5925] vsize: 4560 Current children cumulated CPU time (s) 390.4 Current children cumulated vsize (Kb) 6688 [startup+470.048 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 878 0 0 0 7411 1055 0 0 16 0 1 0 20466386 4804608 849 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1173 849 413 48 0 1125 0 [pid=5925] vsize: 4692 Current children cumulated CPU time (s) 398.78 Current children cumulated vsize (Kb) 6820 [startup+480.048 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 879 0 0 0 8006 1192 0 0 16 0 1 0 20466386 4804608 850 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1173 850 413 48 0 1125 0 [pid=5925] vsize: 4692 Current children cumulated CPU time (s) 406.1 Current children cumulated vsize (Kb) 6820 [startup+490.049 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 880 0 0 0 8608 1327 0 0 17 0 1 0 20466386 4792320 851 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1170 851 413 48 0 1122 0 [pid=5925] vsize: 4680 Current children cumulated CPU time (s) 413.47 Current children cumulated vsize (Kb) 6808 [startup+500.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 883 0 0 0 9343 1411 0 0 17 0 1 0 20466386 4792320 854 4294967295 134512640 134702520 3221223712 3221071968 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1170 854 413 48 0 1122 0 [pid=5925] vsize: 4680 Current children cumulated CPU time (s) 421.66 Current children cumulated vsize (Kb) 6808 [startup+510.051 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 885 0 0 0 10043 1506 0 0 16 0 1 0 20466386 4792320 856 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1170 856 413 48 0 1122 0 [pid=5925] vsize: 4680 Current children cumulated CPU time (s) 429.61 Current children cumulated vsize (Kb) 6808 [startup+520.052 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 889 0 0 0 10810 1579 0 0 16 0 1 0 20466386 4792320 860 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1170 860 413 48 0 1122 0 [pid=5925] vsize: 4680 Current children cumulated CPU time (s) 438.01 Current children cumulated vsize (Kb) 6808 [startup+530.052 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 892 0 0 0 11508 1683 0 0 16 0 1 0 20466386 4792320 863 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1170 863 413 48 0 1122 0 [pid=5925] vsize: 4680 Current children cumulated CPU time (s) 446.03 Current children cumulated vsize (Kb) 6808 [startup+540.053 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 892 0 0 0 12097 1823 0 0 16 0 1 0 20466386 4792320 863 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1170 863 413 48 0 1122 0 [pid=5925] vsize: 4680 Current children cumulated CPU time (s) 453.32 Current children cumulated vsize (Kb) 6808 [startup+550.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 894 0 0 0 12780 1929 0 0 19 0 1 0 20466386 4792320 865 4294967295 134512640 134702520 3221223712 3220941068 134531187 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1170 865 413 48 0 1122 0 [pid=5925] vsize: 4680 Current children cumulated CPU time (s) 461.21 Current children cumulated vsize (Kb) 6808 [startup+560.055 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 13469 2028 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 469.09 Current children cumulated vsize (Kb) 6980 [startup+570.056 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 14245 2102 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 477.59 Current children cumulated vsize (Kb) 6980 [startup+580.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 920 0 0 0 14987 2189 0 0 17 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221121088 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 485.88 Current children cumulated vsize (Kb) 6980 [startup+590.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 920 0 0 0 15594 2326 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 493.32 Current children cumulated vsize (Kb) 6980 [startup+600.058 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 16092 2495 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 499.99 Current children cumulated vsize (Kb) 6980 [startup+610.06 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 16775 2601 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 507.88 Current children cumulated vsize (Kb) 6980 [startup+620.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 920 0 0 0 17525 2684 0 0 17 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221082848 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 516.21 Current children cumulated vsize (Kb) 6980 [startup+630.062 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 18259 2774 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 524.45 Current children cumulated vsize (Kb) 6980 [startup+640.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 920 0 0 0 19036 2850 0 0 18 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221073568 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 532.98 Current children cumulated vsize (Kb) 6980 [startup+650.062 s] Raw data (loadavg): 1.08 1.02 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 921 0 0 0 19712 2962 0 0 16 0 1 0 20466386 4968448 892 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1213 892 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 540.86 Current children cumulated vsize (Kb) 6980 [startup+660.063 s] Raw data (loadavg): 1.07 1.02 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 921 0 0 0 20356 3089 0 0 16 0 1 0 20466386 4968448 892 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1213 892 413 48 0 1165 0 [pid=5925] vsize: 4852 Current children cumulated CPU time (s) 548.57 Current children cumulated vsize (Kb) 6980 [startup+670.065 s] Raw data (loadavg): 1.06 1.01 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 923 0 0 0 21080 3181 0 0 16 0 1 0 20466386 4972544 894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 894 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 556.73 Current children cumulated vsize (Kb) 6984 [startup+680.067 s] Raw data (loadavg): 1.12 1.03 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 923 0 0 0 21771 3285 0 0 16 0 1 0 20466386 4972544 894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 894 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 564.68 Current children cumulated vsize (Kb) 6984 [startup+690.067 s] Raw data (loadavg): 1.18 1.04 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 923 0 0 0 22505 3369 0 0 17 0 1 0 20466386 4972544 894 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 894 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 572.86 Current children cumulated vsize (Kb) 6984 [startup+700.068 s] Raw data (loadavg): 1.15 1.04 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 925 0 0 0 23241 3454 0 0 16 0 1 0 20466386 4972544 896 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 896 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 581.07 Current children cumulated vsize (Kb) 6984 [startup+710.07 s] Raw data (loadavg): 1.13 1.04 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 926 0 0 0 23937 3557 0 0 16 0 1 0 20466386 4972544 897 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 897 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 589.06 Current children cumulated vsize (Kb) 6984 [startup+720.071 s] Raw data (loadavg): 1.11 1.04 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 926 0 0 0 24508 3702 0 0 16 0 1 0 20466386 4972544 897 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 897 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 596.22 Current children cumulated vsize (Kb) 6984 [startup+730.073 s] Raw data (loadavg): 1.09 1.04 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 927 0 0 0 25157 3820 0 0 16 0 1 0 20466386 4972544 898 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 898 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 603.89 Current children cumulated vsize (Kb) 6984 [startup+740.075 s] Raw data (loadavg): 1.08 1.04 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 928 0 0 0 25879 3915 0 0 18 0 1 0 20466386 4972544 899 4294967295 134512640 134702520 3221223712 3221064608 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 899 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 612.06 Current children cumulated vsize (Kb) 6984 [startup+750.075 s] Raw data (loadavg): 1.06 1.03 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 929 0 0 0 26583 4012 0 0 16 0 1 0 20466386 4972544 900 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 900 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 620.07 Current children cumulated vsize (Kb) 6984 [startup+760.076 s] Raw data (loadavg): 1.05 1.03 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 930 0 0 0 27348 4088 0 0 15 0 1 0 20466386 4972544 901 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 901 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 628.48 Current children cumulated vsize (Kb) 6984 [startup+770.077 s] Raw data (loadavg): 1.05 1.03 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 930 0 0 0 27889 4246 0 0 16 0 1 0 20466386 4972544 901 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 901 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 635.47 Current children cumulated vsize (Kb) 6984 [startup+780.078 s] Raw data (loadavg): 1.04 1.03 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 932 0 0 0 28410 4409 0 0 16 0 1 0 20466386 4972544 903 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 903 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (Kb) 6984 [startup+790.079 s] Raw data (loadavg): 1.03 1.03 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 933 0 0 0 29163 4485 0 0 16 0 1 0 20466386 4972544 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 904 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 650.6 Current children cumulated vsize (Kb) 6984 [startup+800.08 s] Raw data (loadavg): 1.03 1.03 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 933 0 0 0 29859 4587 0 0 16 0 1 0 20466386 4972544 904 4294967295 134512640 134702520 3221223712 3221215968 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 904 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 658.58 Current children cumulated vsize (Kb) 6984 [startup+810.081 s] Raw data (loadavg): 1.02 1.03 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 935 0 0 0 30617 4665 0 0 16 0 1 0 20466386 4972544 906 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 906 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 666.94 Current children cumulated vsize (Kb) 6984 [startup+820.082 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 936 0 0 0 31333 4766 0 0 16 0 1 0 20466386 4972544 907 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 907 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 675.11 Current children cumulated vsize (Kb) 6984 [startup+830.083 s] Raw data (loadavg): 1.10 1.04 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 936 0 0 0 31928 4914 0 0 16 0 1 0 20466386 4972544 907 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 907 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 682.54 Current children cumulated vsize (Kb) 6984 [startup+840.084 s] Raw data (loadavg): 1.08 1.04 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 938 0 0 0 32637 5008 0 0 16 0 1 0 20466386 4972544 909 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 909 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 690.57 Current children cumulated vsize (Kb) 6984 [startup+850.085 s] Raw data (loadavg): 1.07 1.04 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 938 0 0 0 33360 5097 0 0 17 0 1 0 20466386 4972544 909 4294967295 134512640 134702520 3221223712 3221160128 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 909 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 698.69 Current children cumulated vsize (Kb) 6984 [startup+860.085 s] Raw data (loadavg): 1.06 1.03 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 941 0 0 0 34117 5177 0 0 17 0 1 0 20466386 4972544 912 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 912 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 707.06 Current children cumulated vsize (Kb) 6984 [startup+870.086 s] Raw data (loadavg): 1.05 1.03 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 941 0 0 0 34895 5251 0 0 18 0 1 0 20466386 4972544 912 4294967295 134512640 134702520 3221223712 3221024108 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 912 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 715.58 Current children cumulated vsize (Kb) 6984 [startup+880.087 s] Raw data (loadavg): 1.04 1.03 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 943 0 0 0 35522 5377 0 0 16 0 1 0 20466386 4972544 914 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 914 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 723.11 Current children cumulated vsize (Kb) 6984 [startup+890.088 s] Raw data (loadavg): 1.03 1.03 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 944 0 0 0 36072 5531 0 0 16 0 1 0 20466386 4972544 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 915 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 730.15 Current children cumulated vsize (Kb) 6984 [startup+900.088 s] Raw data (loadavg): 1.03 1.03 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 944 0 0 0 36789 5618 0 0 16 0 1 0 20466386 4972544 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 915 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 738.19 Current children cumulated vsize (Kb) 6984 [startup+910.089 s] Raw data (loadavg): 1.02 1.03 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 946 0 0 0 37581 5689 0 0 17 0 1 0 20466386 4972544 917 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 917 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 746.82 Current children cumulated vsize (Kb) 6984 [startup+920.09 s] Raw data (loadavg): 1.02 1.03 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 946 0 0 0 38290 5781 0 0 16 0 1 0 20466386 4972544 917 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 917 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 754.83 Current children cumulated vsize (Kb) 6984 [startup+930.091 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 948 0 0 0 39085 5850 0 0 16 0 1 0 20466386 4972544 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 919 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 763.47 Current children cumulated vsize (Kb) 6984 [startup+940.092 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 948 0 0 0 39625 6003 0 0 16 0 1 0 20466386 4972544 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 919 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 770.4 Current children cumulated vsize (Kb) 6984 [startup+950.093 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 949 0 0 0 40126 6169 0 0 16 0 1 0 20466386 4972544 920 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1214 920 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 777.07 Current children cumulated vsize (Kb) 6984 [startup+960.094 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 951 0 0 0 40858 6260 0 0 16 0 1 0 20466386 4972544 922 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 922 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 785.3 Current children cumulated vsize (Kb) 6984 [startup+970.094 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 952 0 0 0 41624 6335 0 0 17 0 1 0 20466386 4972544 923 4294967295 134512640 134702520 3221223712 3221120908 134531187 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1214 923 413 48 0 1166 0 [pid=5925] vsize: 4856 Current children cumulated CPU time (s) 793.71 Current children cumulated vsize (Kb) 6984 [startup+980.096 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 954 0 0 0 42396 6412 0 0 17 0 1 0 20466386 5095424 925 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 925 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 802.2 Current children cumulated vsize (Kb) 7104 [startup+990.097 s] Raw data (loadavg): 1.08 1.04 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 959 0 0 0 43157 6490 0 0 16 0 1 0 20466386 5095424 930 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 930 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 810.59 Current children cumulated vsize (Kb) 7104 [startup+1000.1 s] Raw data (loadavg): 1.07 1.03 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 961 0 0 0 43891 6582 0 0 16 0 1 0 20466386 5095424 932 4294967295 134512640 134702520 3221223712 3221222608 134552544 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 932 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 818.85 Current children cumulated vsize (Kb) 7104 [startup+1010.1 s] Raw data (loadavg): 1.06 1.03 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 961 0 0 0 44537 6700 0 0 16 0 1 0 20466386 5095424 932 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 932 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 826.49 Current children cumulated vsize (Kb) 7104 [startup+1020.1 s] Raw data (loadavg): 1.05 1.03 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 963 0 0 0 45276 6784 0 0 16 0 1 0 20466386 5095424 934 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 934 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 834.72 Current children cumulated vsize (Kb) 7104 [startup+1030.1 s] Raw data (loadavg): 1.04 1.03 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 964 0 0 0 46019 6870 0 0 16 0 1 0 20466386 5095424 935 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 935 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 843.01 Current children cumulated vsize (Kb) 7104 [startup+1040.1 s] Raw data (loadavg): 1.11 1.04 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 965 0 0 0 46826 6934 0 0 18 0 1 0 20466386 5095424 936 4294967295 134512640 134702520 3221223712 3221115488 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 936 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 851.72 Current children cumulated vsize (Kb) 7104 [startup+1050.1 s] Raw data (loadavg): 1.09 1.04 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 967 0 0 0 47612 7003 0 0 16 0 1 0 20466386 5095424 938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 938 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 860.27 Current children cumulated vsize (Kb) 7104 [startup+1060.1 s] Raw data (loadavg): 1.16 1.06 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 968 0 0 0 48276 7114 0 0 16 0 1 0 20466386 5095424 939 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 939 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 868.02 Current children cumulated vsize (Kb) 7104 [startup+1070.11 s] Raw data (loadavg): 1.13 1.05 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 970 0 0 0 49010 7201 0 0 16 0 1 0 20466386 5095424 941 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 941 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 876.23 Current children cumulated vsize (Kb) 7104 [startup+1080.11 s] Raw data (loadavg): 1.11 1.05 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 970 0 0 0 49756 7284 0 0 16 0 1 0 20466386 5095424 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 941 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 884.52 Current children cumulated vsize (Kb) 7104 [startup+1090.11 s] Raw data (loadavg): 1.09 1.05 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 971 0 0 0 50423 7393 0 0 16 0 1 0 20466386 5095424 942 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 942 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 892.28 Current children cumulated vsize (Kb) 7104 [startup+1100.11 s] Raw data (loadavg): 1.08 1.05 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 971 0 0 0 50985 7547 0 0 16 0 1 0 20466386 5095424 942 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 942 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 899.44 Current children cumulated vsize (Kb) 7104 [startup+1110.11 s] Raw data (loadavg): 1.07 1.05 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 973 0 0 0 51617 7672 0 0 16 0 1 0 20466386 5095424 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 944 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 907.01 Current children cumulated vsize (Kb) 7104 [startup+1120.11 s] Raw data (loadavg): 1.06 1.04 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 973 0 0 0 52352 7760 0 0 19 0 1 0 20466386 5095424 944 4294967295 134512640 134702520 3221223712 3220988448 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 944 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 915.24 Current children cumulated vsize (Kb) 7104 [startup+1130.11 s] Raw data (loadavg): 1.05 1.04 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 973 0 0 0 53041 7865 0 0 17 0 1 0 20466386 5095424 944 4294967295 134512640 134702520 3221223712 3221208428 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 944 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 923.18 Current children cumulated vsize (Kb) 7104 [startup+1140.11 s] Raw data (loadavg): 1.04 1.04 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 975 0 0 0 53817 7937 0 0 16 0 1 0 20466386 5095424 946 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 946 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 931.66 Current children cumulated vsize (Kb) 7104 [startup+1150.11 s] Raw data (loadavg): 1.03 1.04 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 975 0 0 0 54351 8095 0 0 16 0 1 0 20466386 5095424 946 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 946 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 938.58 Current children cumulated vsize (Kb) 7104 [startup+1160.11 s] Raw data (loadavg): 1.03 1.04 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 976 0 0 0 54866 8262 0 0 16 0 1 0 20466386 5095424 947 4294967295 134512640 134702520 3221223712 3221223196 134608160 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 947 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 945.4 Current children cumulated vsize (Kb) 7104 [startup+1170.11 s] Raw data (loadavg): 1.02 1.03 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 976 0 0 0 55628 8339 0 0 18 0 1 0 20466386 5095424 947 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 947 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 953.79 Current children cumulated vsize (Kb) 7104 [startup+1180.11 s] Raw data (loadavg): 1.10 1.05 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 976 0 0 0 56325 8434 0 0 16 0 1 0 20466386 5095424 947 4294967295 134512640 134702520 3221223712 3221199628 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 947 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 961.71 Current children cumulated vsize (Kb) 7104 [startup+1190.11 s] Raw data (loadavg): 1.08 1.05 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 977 0 0 0 57085 8516 0 0 16 0 1 0 20466386 5095424 948 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 948 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 970.13 Current children cumulated vsize (Kb) 7104 [startup+1200.12 s] Raw data (loadavg): 1.07 1.05 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 978 0 0 0 57744 8633 0 0 16 0 1 0 20466386 5095424 949 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 949 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 977.89 Current children cumulated vsize (Kb) 7104 [startup+1210.12 s] Raw data (loadavg): 1.06 1.04 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 979 0 0 0 58238 8800 0 0 16 0 1 0 20466386 5095424 950 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 950 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 984.5 Current children cumulated vsize (Kb) 7104 [startup+1220.12 s] Raw data (loadavg): 1.05 1.04 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 980 0 0 0 58858 8929 0 0 18 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221071168 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 991.99 Current children cumulated vsize (Kb) 7104 [startup+1230.12 s] Raw data (loadavg): 1.04 1.04 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 59580 9024 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 1000.16 Current children cumulated vsize (Kb) 7104 [startup+1240.12 s] Raw data (loadavg): 1.03 1.04 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 980 0 0 0 60368 9095 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 1008.75 Current children cumulated vsize (Kb) 7104 [startup+1250.12 s] Raw data (loadavg): 1.11 1.05 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 61081 9188 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 1016.81 Current children cumulated vsize (Kb) 7104 [startup+1260.12 s] Raw data (loadavg): 1.09 1.05 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 61792 9285 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 1024.89 Current children cumulated vsize (Kb) 7104 [startup+1270.12 s] Raw data (loadavg): 1.08 1.05 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 62434 9409 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 1032.55 Current children cumulated vsize (Kb) 7104 [startup+1280.12 s] Raw data (loadavg): 1.06 1.05 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 63141 9498 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 1040.51 Current children cumulated vsize (Kb) 7104 [startup+1290.12 s] Raw data (loadavg): 1.05 1.04 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 980 0 0 0 63926 9565 0 0 18 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3220997568 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 1049.03 Current children cumulated vsize (Kb) 7104 [startup+1300.12 s] Raw data (loadavg): 1.05 1.04 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 981 0 0 0 64653 9650 0 0 16 0 1 0 20466386 5095424 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 952 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 1057.15 Current children cumulated vsize (Kb) 7104 [startup+1310.12 s] Raw data (loadavg): 1.04 1.04 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 982 0 0 0 65446 9718 0 0 18 0 1 0 20466386 5095424 953 4294967295 134512640 134702520 3221223712 3220992908 134531187 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1244 953 413 48 0 1196 0 [pid=5925] vsize: 4976 Current children cumulated CPU time (s) 1065.76 Current children cumulated vsize (Kb) 7104 [startup+1320.12 s] Raw data (loadavg): 1.03 1.04 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 983 0 0 0 66057 9849 0 0 16 0 1 0 20466386 5230592 954 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1277 954 413 48 0 1229 0 [pid=5925] vsize: 5108 Current children cumulated CPU time (s) 1073.18 Current children cumulated vsize (Kb) 7236 [startup+1330.12 s] Raw data (loadavg): 1.11 1.05 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 984 0 0 0 66588 10013 0 0 15 0 1 0 20466386 5206016 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1271 955 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1080.13 Current children cumulated vsize (Kb) 7212 [startup+1340.13 s] Raw data (loadavg): 1.09 1.05 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 985 0 0 0 67318 10098 0 0 17 0 1 0 20466386 5206016 956 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1271 956 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1088.28 Current children cumulated vsize (Kb) 7212 [startup+1350.13 s] Raw data (loadavg): 1.08 1.05 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 985 0 0 0 68104 10167 0 0 18 0 1 0 20466386 5206016 956 4294967295 134512640 134702520 3221223712 3221010988 134531187 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 956 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1096.83 Current children cumulated vsize (Kb) 7212 [startup+1360.13 s] Raw data (loadavg): 1.14 1.06 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 987 0 0 0 68856 10249 0 0 17 0 1 0 20466386 5206016 958 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1271 958 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1105.17 Current children cumulated vsize (Kb) 7212 [startup+1370.13 s] Raw data (loadavg): 1.12 1.06 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 987 0 0 0 69617 10326 0 0 17 0 1 0 20466386 5206016 958 4294967295 134512640 134702520 3221223712 3221142528 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 958 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1113.55 Current children cumulated vsize (Kb) 7212 [startup+1380.13 s] Raw data (loadavg): 1.10 1.06 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 988 0 0 0 70283 10446 0 0 16 0 1 0 20466386 5206016 959 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1271 959 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1121.41 Current children cumulated vsize (Kb) 7212 [startup+1390.13 s] Raw data (loadavg): 1.09 1.06 1.00 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 989 0 0 0 70880 10589 0 0 16 0 1 0 20466386 5206016 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 960 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1128.81 Current children cumulated vsize (Kb) 7212 [startup+1400.13 s] Raw data (loadavg): 1.07 1.05 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 989 0 0 0 71617 10677 0 0 16 0 1 0 20466386 5206016 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 960 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1137.06 Current children cumulated vsize (Kb) 7212 [startup+1410.13 s] Raw data (loadavg): 1.06 1.05 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 991 0 0 0 72383 10754 0 0 17 0 1 0 20466386 5206016 962 4294967295 134512640 134702520 3221223712 3221096928 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 962 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1145.49 Current children cumulated vsize (Kb) 7212 [startup+1420.13 s] Raw data (loadavg): 1.05 1.05 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 991 0 0 0 73150 10836 0 0 16 0 1 0 20466386 5206016 962 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1271 962 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1153.98 Current children cumulated vsize (Kb) 7212 [startup+1430.13 s] Raw data (loadavg): 1.04 1.05 1.00 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 992 0 0 0 73908 10918 0 0 16 0 1 0 20466386 5206016 963 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 963 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1162.38 Current children cumulated vsize (Kb) 7212 [startup+1440.13 s] Raw data (loadavg): 1.12 1.06 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 994 0 0 0 74607 11022 0 0 16 0 1 0 20466386 5206016 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 965 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1170.41 Current children cumulated vsize (Kb) 7212 [startup+1450.13 s] Raw data (loadavg): 1.18 1.08 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 994 0 0 0 75195 11163 0 0 16 0 1 0 20466386 5206016 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 965 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1177.7 Current children cumulated vsize (Kb) 7212 [startup+1460.14 s] Raw data (loadavg): 1.15 1.07 1.01 1/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 996 0 0 0 75891 11265 0 0 16 0 1 0 20466386 5206016 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 967 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1185.68 Current children cumulated vsize (Kb) 7212 [startup+1470.14 s] Raw data (loadavg): 1.13 1.07 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 996 0 0 0 76637 11351 0 0 17 0 1 0 20466386 5206016 967 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 967 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1194 Current children cumulated vsize (Kb) 7212 [startup+1480.14 s] Raw data (loadavg): 1.11 1.07 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 996 0 0 0 77388 11432 0 0 16 0 1 0 20466386 5206016 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5925/statm): 1271 967 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1202.32 Current children cumulated vsize (Kb) 7212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1480.14 s] Raw data (loadavg): 1.11 1.07 1.01 2/56 5925 Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5920/statm): 532 248 485 147 0 385 0 [pid=5920] vsize: 2128 Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 996 0 0 0 77388 11432 0 0 16 0 1 0 20466386 5206016 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5925/statm): 1271 967 413 48 0 1223 0 [pid=5925] vsize: 5084 Current children cumulated CPU time (s) 1202.32 Current children cumulated vsize (Kb) 7212 Sending SIGTERM to -5920 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=5927 New process pid=5928 execve syscall for /bin/ps executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/35/stat open syscall for file /proc/35/status open syscall for file /proc/35/cmdline open syscall for file /proc/35/environ open syscall for file /proc/36/stat open syscall for file /proc/36/status open syscall for file /proc/36/cmdline open syscall for file /proc/36/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/825/stat open syscall for file /proc/825/status open syscall for file /proc/825/cmdline open syscall for file /proc/825/environ open syscall for file /proc/826/stat open syscall for file /proc/826/status open syscall for file /proc/826/cmdline open syscall for file /proc/826/environ open syscall for file /proc/1259/stat open syscall for file /proc/1259/status open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options open syscall for file /proc/1259/cmdline open syscall for file /proc/1259/environ open syscall for file /proc/1263/stat open syscall for file /proc/1263/status open syscall for file /proc/1263/cmdline open syscall for file /proc/1263/environ open syscall for file /proc/1285/stat open syscall for file /proc/1285/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/1285/cmdline open syscall for file /proc/1285/environ open syscall for file /proc/1315/stat One traced child (pid=5925) exited with status: 3 open syscall for file /proc/1315/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/1315/cmdline open syscall for file /proc/1315/environ open syscall for file /proc/1359/stat open syscall for file /proc/1359/status open syscall for file /proc/1359/cmdline open syscall for file /proc/1359/environ open syscall for file /proc/1387/stat open syscall for file /proc/1387/status open syscall for file /proc/1387/cmdline open syscall for file /proc/1387/environ open syscall for file /proc/1452/stat open syscall for file /proc/1452/status open syscall for file /proc/1452/cmdline open syscall for file /proc/1452/environ open syscall for file /proc/1478/stat open syscall for file /proc/1478/status open syscall for file /proc/1478/cmdline open syscall for file /proc/1478/environ open syscall for file /proc/1503/stat open syscall for file /proc/1503/status open syscall for file /proc/1503/cmdline open syscall for file /proc/1503/environ open syscall for file /proc/1544/stat open syscall for file /proc/1544/status open syscall for file /proc/1544/cmdline open syscall for file /proc/1544/environ open syscall for file /proc/1568/stat open syscall for file /proc/1568/status open syscall for file /proc/1568/cmdline open syscall for file /proc/1568/environ open syscall for file /proc/1591/stat open syscall for file /proc/1591/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/1591/cmdline open syscall for file /proc/1591/environ open syscall for file /proc/1622/stat open syscall for file /proc/1622/status open syscall for file /proc/1622/cmdline open syscall for file /proc/1622/environ open syscall for file /proc/1680/stat open syscall for file /proc/1680/status open syscall for file /proc/1680/cmdline open syscall for file /proc/1680/environ open syscall for file /proc/1685/stat open syscall for file /proc/1685/status open syscall for file /proc/1685/cmdline open syscall for file /proc/1685/environ open syscall for file /proc/1686/stat open syscall for file /proc/1686/status open syscall for file /proc/1686/cmdline open syscall for file /proc/1686/environ open syscall for file /proc/1687/stat open syscall for file /proc/1687/status open syscall for file /proc/1687/cmdline open syscall for file /proc/1687/environ open syscall for file /proc/1688/stat open syscall for file /proc/1688/status open syscall for file /proc/1688/cmdline open syscall for file /proc/1688/environ open syscall for file /proc/1689/stat open syscall for file /proc/1689/status open syscall for file /proc/1689/cmdline open syscall for file /proc/1689/environ open syscall for file /proc/1690/stat open syscall for file /proc/1690/status open syscall for file /proc/1690/cmdline open syscall for file /proc/1690/environ open syscall for file /proc/1691/stat open syscall for file /proc/1691/status open syscall for file /proc/1691/cmdline open syscall for file /proc/1691/environ open syscall for file /proc/4039/stat open syscall for file /proc/4039/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/4039/cmdline open syscall for file /proc/4039/environ open syscall for file /proc/4065/stat open syscall for file /proc/4065/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/4065/cmdline open syscall for file /proc/4065/environ open syscall for file /proc/5881/stat open syscall for file /proc/5881/status open syscall for file /proc/5881/cmdline open syscall for file /proc/5881/environ open syscall for file /proc/5919/stat open syscall for file /proc/5919/status open syscall for file /proc/5919/cmdline open syscall for file /proc/5919/environ open syscall for file /proc/5920/stat open syscall for file /proc/5920/status open syscall for file /proc/5920/cmdline open syscall for file /proc/5920/environ open syscall for file /proc/5927/stat open syscall for file /proc/5927/status open syscall for file /proc/5927/cmdline open syscall for file /proc/5927/environ open syscall for file /proc/5928/stat open syscall for file /proc/5928/status open syscall for file /proc/5928/cmdline open syscall for file /proc/5928/environ One traced child (pid=5927) exited with status: 0 One traced child (pid=5928) exited with status: 0 New process pid=5929 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=5929) exited with status: 0 New process pid=5930 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=5930) exited with status: 0 One traced child (pid=5920) 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): 1480.62 CPU time (s): 1202.49 CPU user time (s): 1063.67 CPU system time (s): 138.82 CPU usage (%): 81.2151 Max. virtual memory (cumulated for all children) (Kb): 7440
ERROR: no interpretation found !