Name | mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4872-1529.opb |
MD5SUM | 7eea141e02c7a2753145fd63f1e9087d |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 253696000000000 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 24865 |
Biggest coefficient in the objective function | 52428800000000000 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | 226690477012582900 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 1280000000000000000000 |
Number of bits of the biggest number in a constraint | 71 |
Biggest sum of numbers in a constraint | 1280226690477012549632 |
Number of bits of the biggest sum of numbers | 71 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1206.48 |
Number of variables | 24865 |
Total number of constraints | 29520 |
Number of constraints which are clauses | 4872 |
Number of constraints which are cardinality constraints (but not clauses) | 24647 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 24865 |
LAUNCH ON wulflinc9 THE 2005-09-23 13:41:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8175 boxname=wulflinc9 idbench=1143 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7eea141e02c7a2753145fd63f1e9087d /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-core4872-1529.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-core4872-1529.opb 0 IDLAUNCH: 8175 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 914456 kB Buffers: 10776 kB Cached: 91972 kB SwapCached: 0 kB Active: 56824 kB Inactive: 48812 kB HighTotal: 131008 kB HighFree: 35868 kB LowTotal: 903652 kB LowFree: 878588 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8900 kB Committed_AS: 63644 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 14:02:07 (client local time) WITH STATUS 3 IN 1203.67 SECONDS stats: 8175 7 1203.67 3
1: seed: 0 Nr of vars set: 51 (#equs: 0) Nr of vars set: 51 (#equs: 0) #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #non-axs: 0 tig Interupt; Current theory and settings are copied here: /tmp/vallst_sh_out_theory.vnf /tmp/vallst_sh_changing_setting.options cp: cannot stat `/tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options': No such file or directory Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened. No such file or directory ht: 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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); #decisions: 10128; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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: 281641459 (2609053696:>=*); Interupt request received. #decisions: 1799; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 4761, #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:) 281641459 (2609053696:>=*) 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: 1880 (#equs: 0) Time taken: 20 min, 3 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/6766/stat): 6766 (vallstSAT2005PB) R 6765 6766 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20630961 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6766/statm): 174 9 169 147 0 27 0 [pid=6766] 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=6767 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=6767) exited with status: 0 New process pid=6768 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=6768) exited with status: 0 New process pid=6769 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/wulflinc9/normalized-mps-v2-13-7-core4872-1529.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0031 s] Raw data (loadavg): 0.89 0.96 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1885 0 0 0 838 60 0 0 22 0 1 0 20630970 10817536 1789 4294967295 134512640 134702520 3221223952 3221223088 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 2641 1789 413 48 0 2593 0 [pid=6769] vsize: 10564 Current children cumulated CPU time (s) 9 Current children cumulated vsize (Kb) 12692 [startup+20.0038 s] Raw data (loadavg): 0.91 0.96 0.98 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1885 0 0 0 1643 126 0 0 20 0 1 0 20630970 10817536 1789 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 2641 1789 413 48 0 2593 0 [pid=6769] vsize: 10564 Current children cumulated CPU time (s) 17.71 Current children cumulated vsize (Kb) 12692 [startup+30.0036 s] Raw data (loadavg): 0.92 0.96 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1918 0 0 0 2546 159 0 0 25 0 1 0 20630970 22089728 1822 4294967295 134512640 134702520 3221223952 3221223352 134607341 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5393 1822 413 48 0 5345 0 [pid=6769] vsize: 21572 Current children cumulated CPU time (s) 27.07 Current children cumulated vsize (Kb) 23700 [startup+40.0043 s] Raw data (loadavg): 0.93 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 3514 170 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 36.86 Current children cumulated vsize (Kb) 23704 [startup+50.0051 s] Raw data (loadavg): 0.94 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 4490 177 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608148 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 46.69 Current children cumulated vsize (Kb) 23704 [startup+60.0059 s] Raw data (loadavg): 0.95 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 5454 191 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607284 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 56.47 Current children cumulated vsize (Kb) 23704 [startup+70.0066 s] Raw data (loadavg): 0.96 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 6424 203 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607362 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 66.29 Current children cumulated vsize (Kb) 23704 [startup+80.0074 s] Raw data (loadavg): 0.96 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 7396 211 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 76.09 Current children cumulated vsize (Kb) 23704 [startup+90.0081 s] Raw data (loadavg): 0.97 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 8364 222 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558697 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 85.88 Current children cumulated vsize (Kb) 23704 [startup+100.009 s] Raw data (loadavg): 0.97 0.97 0.98 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 9335 232 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 95.69 Current children cumulated vsize (Kb) 23704 [startup+110.01 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 10310 240 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 105.52 Current children cumulated vsize (Kb) 23704 [startup+120.01 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 11277 251 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134606956 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 115.3 Current children cumulated vsize (Kb) 23704 [startup+130.01 s] Raw data (loadavg): 0.98 0.97 0.98 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 12250 260 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 125.12 Current children cumulated vsize (Kb) 23704 [startup+140.011 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 13222 269 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558746 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 134.93 Current children cumulated vsize (Kb) 23704 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 14189 281 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558707 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 144.72 Current children cumulated vsize (Kb) 23704 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 15164 289 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 154.55 Current children cumulated vsize (Kb) 23704 [startup+170.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 16131 299 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 164.32 Current children cumulated vsize (Kb) 23704 [startup+180.014 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 17102 308 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 174.12 Current children cumulated vsize (Kb) 23704 [startup+190.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 18079 316 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608162 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 183.97 Current children cumulated vsize (Kb) 23704 [startup+200.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 19045 327 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 193.74 Current children cumulated vsize (Kb) 23704 [startup+210.015 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 20016 336 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 203.54 Current children cumulated vsize (Kb) 23704 [startup+220.016 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 20990 344 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 213.36 Current children cumulated vsize (Kb) 23704 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 21956 356 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 223.14 Current children cumulated vsize (Kb) 23704 [startup+240.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 22929 364 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 232.95 Current children cumulated vsize (Kb) 23704 [startup+250.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 23900 374 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 242.76 Current children cumulated vsize (Kb) 23704 [startup+260.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 24868 386 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 252.56 Current children cumulated vsize (Kb) 23704 [startup+270.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 25845 394 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558718 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 262.41 Current children cumulated vsize (Kb) 23704 [startup+280.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 26812 404 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558734 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 272.18 Current children cumulated vsize (Kb) 23704 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 27784 413 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558707 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 281.99 Current children cumulated vsize (Kb) 23704 [startup+300.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 28757 420 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607344 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 291.79 Current children cumulated vsize (Kb) 23704 [startup+310.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 29725 430 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 301.57 Current children cumulated vsize (Kb) 23704 [startup+320.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 30694 439 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607246 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 311.35 Current children cumulated vsize (Kb) 23704 [startup+330.021 s] Raw data (loadavg): 1.07 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 31668 448 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 321.18 Current children cumulated vsize (Kb) 23704 [startup+340.022 s] Raw data (loadavg): 1.06 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 32638 459 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 330.99 Current children cumulated vsize (Kb) 23704 [startup+350.023 s] Raw data (loadavg): 1.05 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 33606 468 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 340.76 Current children cumulated vsize (Kb) 23704 [startup+360.025 s] Raw data (loadavg): 1.04 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 34577 479 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 350.58 Current children cumulated vsize (Kb) 23704 [startup+370.026 s] Raw data (loadavg): 1.04 0.99 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 35546 490 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 360.38 Current children cumulated vsize (Kb) 23704 [startup+380.025 s] Raw data (loadavg): 1.03 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 36519 500 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607261 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 370.21 Current children cumulated vsize (Kb) 23704 [startup+390.026 s] Raw data (loadavg): 1.03 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 37481 514 0 0 18 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607362 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 379.97 Current children cumulated vsize (Kb) 23704 [startup+400.027 s] Raw data (loadavg): 1.02 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 38450 525 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 389.77 Current children cumulated vsize (Kb) 23704 [startup+410.028 s] Raw data (loadavg): 1.02 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 39429 531 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 399.62 Current children cumulated vsize (Kb) 23704 [startup+420.028 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 40393 543 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 409.38 Current children cumulated vsize (Kb) 23704 [startup+430.029 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 41362 554 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 419.18 Current children cumulated vsize (Kb) 23704 [startup+440.03 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 42334 564 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608135 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 429 Current children cumulated vsize (Kb) 23704 [startup+450.03 s] Raw data (loadavg): 1.01 0.99 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 43302 576 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 438.8 Current children cumulated vsize (Kb) 23704 [startup+460.03 s] Raw data (loadavg): 1.01 0.99 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 44272 585 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 448.59 Current children cumulated vsize (Kb) 23704 [startup+470.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 45245 595 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558734 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 458.42 Current children cumulated vsize (Kb) 23704 [startup+480.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 46211 606 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 468.19 Current children cumulated vsize (Kb) 23704 [startup+490.033 s] Raw data (loadavg): 1.00 0.99 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 47186 614 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 478.02 Current children cumulated vsize (Kb) 23704 [startup+500.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 48151 627 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607338 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 487.8 Current children cumulated vsize (Kb) 23704 [startup+510.034 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 49119 638 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607336 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 497.59 Current children cumulated vsize (Kb) 23704 [startup+520.035 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 50092 647 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608157 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 507.41 Current children cumulated vsize (Kb) 23704 [startup+530.036 s] Raw data (loadavg): 1.00 0.99 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 51056 660 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 517.18 Current children cumulated vsize (Kb) 23704 [startup+540.037 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 52022 672 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 526.96 Current children cumulated vsize (Kb) 23704 [startup+550.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 52998 681 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608162 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 536.81 Current children cumulated vsize (Kb) 23704 [startup+560.037 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 53966 691 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 546.59 Current children cumulated vsize (Kb) 23704 [startup+570.038 s] Raw data (loadavg): 1.00 0.99 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 54935 701 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 556.38 Current children cumulated vsize (Kb) 23704 [startup+580.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 55907 711 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 566.2 Current children cumulated vsize (Kb) 23704 [startup+590.038 s] Raw data (loadavg): 1.00 0.99 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 56874 722 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 575.98 Current children cumulated vsize (Kb) 23704 [startup+600.039 s] Raw data (loadavg): 1.00 0.99 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 57849 730 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 585.81 Current children cumulated vsize (Kb) 23704 [startup+610.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 58817 743 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 595.62 Current children cumulated vsize (Kb) 23704 [startup+620.041 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 59783 755 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608138 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 605.4 Current children cumulated vsize (Kb) 23704 [startup+630.04 s] Raw data (loadavg): 1.07 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 60756 763 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 615.21 Current children cumulated vsize (Kb) 23704 [startup+640.041 s] Raw data (loadavg): 1.06 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 61721 775 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 624.98 Current children cumulated vsize (Kb) 23704 [startup+650.041 s] Raw data (loadavg): 1.05 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 62690 785 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608148 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 634.77 Current children cumulated vsize (Kb) 23704 [startup+660.042 s] Raw data (loadavg): 1.04 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 63665 793 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607266 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 644.6 Current children cumulated vsize (Kb) 23704 [startup+670.042 s] Raw data (loadavg): 1.04 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 64630 806 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607291 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 654.38 Current children cumulated vsize (Kb) 23704 [startup+680.042 s] Raw data (loadavg): 1.03 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 65600 817 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607258 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 664.19 Current children cumulated vsize (Kb) 23704 [startup+690.043 s] Raw data (loadavg): 1.02 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 66574 826 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607246 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 674.02 Current children cumulated vsize (Kb) 23704 [startup+700.044 s] Raw data (loadavg): 1.02 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 67544 836 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 683.82 Current children cumulated vsize (Kb) 23704 [startup+710.044 s] Raw data (loadavg): 1.02 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 68515 846 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 693.63 Current children cumulated vsize (Kb) 23704 [startup+720.045 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 69481 857 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608135 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 703.4 Current children cumulated vsize (Kb) 23704 [startup+730.045 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 70446 868 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558707 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 713.16 Current children cumulated vsize (Kb) 23704 [startup+740.046 s] Raw data (loadavg): 1.01 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 71422 875 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 722.99 Current children cumulated vsize (Kb) 23704 [startup+750.046 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 72386 886 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607239 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 732.74 Current children cumulated vsize (Kb) 23704 [startup+760.046 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 73354 897 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 742.53 Current children cumulated vsize (Kb) 23704 [startup+770.047 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 74325 907 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 752.34 Current children cumulated vsize (Kb) 23704 [startup+780.047 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 75294 917 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 762.13 Current children cumulated vsize (Kb) 23704 [startup+790.048 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 76263 926 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558734 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 771.91 Current children cumulated vsize (Kb) 23704 [startup+800.048 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 77238 935 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 781.75 Current children cumulated vsize (Kb) 23704 [startup+810.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 78205 946 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 791.53 Current children cumulated vsize (Kb) 23704 [startup+820.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 79177 955 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607239 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 801.34 Current children cumulated vsize (Kb) 23704 [startup+830.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 80150 965 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608155 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 811.17 Current children cumulated vsize (Kb) 23704 [startup+840.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 81118 976 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607284 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 820.96 Current children cumulated vsize (Kb) 23704 [startup+850.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 82093 986 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607258 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 830.81 Current children cumulated vsize (Kb) 23704 [startup+860.052 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 83058 997 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607348 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 840.57 Current children cumulated vsize (Kb) 23704 [startup+870.053 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 84023 1009 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 850.34 Current children cumulated vsize (Kb) 23704 [startup+880.053 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 84998 1018 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607237 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 860.18 Current children cumulated vsize (Kb) 23704 [startup+890.053 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 85968 1026 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 869.96 Current children cumulated vsize (Kb) 23704 [startup+900.054 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 86932 1039 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 879.73 Current children cumulated vsize (Kb) 23704 [startup+910.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 87905 1049 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 889.56 Current children cumulated vsize (Kb) 23704 [startup+920.057 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 88870 1060 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 899.32 Current children cumulated vsize (Kb) 23704 [startup+930.056 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 89839 1072 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 909.13 Current children cumulated vsize (Kb) 23704 [startup+940.057 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 90811 1080 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 918.93 Current children cumulated vsize (Kb) 23704 [startup+950.057 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 91778 1090 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 928.7 Current children cumulated vsize (Kb) 23704 [startup+960.058 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 92753 1099 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608162 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 938.54 Current children cumulated vsize (Kb) 23704 [startup+970.058 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 93715 1113 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 948.3 Current children cumulated vsize (Kb) 23704 [startup+980.058 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 94679 1126 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134606956 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 958.07 Current children cumulated vsize (Kb) 23704 [startup+990.059 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 95652 1134 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 967.88 Current children cumulated vsize (Kb) 23704 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 96621 1145 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 977.68 Current children cumulated vsize (Kb) 23704 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 97589 1157 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 987.48 Current children cumulated vsize (Kb) 23704 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 98562 1166 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 997.3 Current children cumulated vsize (Kb) 23704 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 99529 1177 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608140 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1007.08 Current children cumulated vsize (Kb) 23704 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 100501 1187 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608148 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1016.9 Current children cumulated vsize (Kb) 23704 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 101472 1195 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607239 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1026.69 Current children cumulated vsize (Kb) 23704 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 102441 1206 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1036.49 Current children cumulated vsize (Kb) 23704 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 103419 1212 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558712 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1046.33 Current children cumulated vsize (Kb) 23704 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 104388 1221 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1056.11 Current children cumulated vsize (Kb) 23704 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 105352 1235 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607256 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1065.89 Current children cumulated vsize (Kb) 23704 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6769 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 106326 1244 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223436 134608128 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1075.72 Current children cumulated vsize (Kb) 23704 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.99 3/59 6805 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 107292 1254 0 0 24 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607258 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1085.48 Current children cumulated vsize (Kb) 23704 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6824 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 108260 1265 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607358 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1095.27 Current children cumulated vsize (Kb) 23704 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 6824 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 109237 1272 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1105.11 Current children cumulated vsize (Kb) 23704 [startup+1140.07 s] Raw data (loadavg): 1.15 1.03 1.01 2/56 6824 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 110204 1283 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223536 134558707 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1114.89 Current children cumulated vsize (Kb) 23704 [startup+1150.07 s] Raw data (loadavg): 1.13 1.03 1.00 1/56 6824 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 111174 1294 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1124.7 Current children cumulated vsize (Kb) 23704 [startup+1160.07 s] Raw data (loadavg): 1.11 1.03 1.00 2/56 6824 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 112145 1303 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1134.5 Current children cumulated vsize (Kb) 23704 [startup+1170.07 s] Raw data (loadavg): 1.09 1.03 1.00 2/56 6826 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 113111 1314 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1144.27 Current children cumulated vsize (Kb) 23704 [startup+1180.07 s] Raw data (loadavg): 1.08 1.03 1.00 2/56 6828 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) R 6766 6766 4060 0 -1 0 1920 0 0 0 114087 1322 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223352 134607258 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1154.11 Current children cumulated vsize (Kb) 23704 [startup+1190.07 s] Raw data (loadavg): 1.06 1.03 1.00 1/56 6830 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 115053 1334 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1163.89 Current children cumulated vsize (Kb) 23704 [startup+1200.07 s] Raw data (loadavg): 1.05 1.02 1.00 1/56 6830 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 116021 1345 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1173.68 Current children cumulated vsize (Kb) 23704 [startup+1210.07 s] Raw data (loadavg): 1.05 1.02 1.00 2/56 6830 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 116996 1352 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1183.5 Current children cumulated vsize (Kb) 23704 [startup+1220.08 s] Raw data (loadavg): 1.04 1.02 1.00 2/56 6830 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 117961 1361 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1193.24 Current children cumulated vsize (Kb) 23704 [startup+1230.08 s] Raw data (loadavg): 1.03 1.02 1.00 1/56 6830 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 118929 1373 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1203.04 Current children cumulated vsize (Kb) 23704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.08 s] Raw data (loadavg): 1.03 1.02 1.00 1/56 6830 Raw data (/proc/6766/stat): 6766 (vallstSAT2005PB) S 6765 6766 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20630961 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/6766/statm): 532 242 485 147 0 385 0 [pid=6766] vsize: 2128 Raw data (/proc/6769/stat): 6769 (vallst) T 6766 6766 4060 0 -1 0 1920 0 0 0 118929 1373 0 0 25 0 1 0 20630970 22093824 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/6769/statm): 5394 1824 413 48 0 5346 0 [pid=6769] vsize: 21576 Current children cumulated CPU time (s) 1203.04 Current children cumulated vsize (Kb) 23704 Sending SIGTERM to -6766 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=6832 New process pid=6833 execve syscall for /bin/ps executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/35/stat open syscall for file /proc/35/status open syscall for file /proc/35/cmdline open syscall for file /proc/35/environ open syscall for file /proc/36/stat open syscall for file /proc/36/status open syscall for file /proc/36/cmdline open syscall for file /proc/36/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/826/stat open syscall for file /proc/826/status open syscall for file /proc/826/cmdline open syscall for file /proc/826/environ open syscall for file /proc/827/stat open syscall for file /proc/827/status open syscall for file /proc/827/cmdline open syscall for file /proc/827/environ open syscall for file /proc/1260/stat open syscall for file /proc/1260/status open syscall for file /proc/1260/cmdline open syscall for file /proc/1260/environ open syscall for file /proc/1264/stat open syscall for file /proc/1264/status open syscall for file /proc/1264/cmdline open syscall for file /proc/1264/environ open syscall for file /proc/1286/stat open syscall for file /proc/1286/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1286/cmdline open syscall for file /proc/1286/environ open syscall for file /proc/1316/stat open syscall for file /proc/1316/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1316/cmdline open syscall for file /proc/1316/environ open syscall for file /proc/1360/stat open syscall for file /proc/1360/status open syscall for file /proc/1360/cmdline open syscall for file /proc/1360/environ open syscall for file /proc/1388/stat open syscall for file /proc/1388/status open syscall for file /proc/1388/cmdline open syscall for file /proc/1388/environ open syscall for file /proc/1453/stat open syscall for file /proc/1453/status open syscall for file /proc/1453/cmdline open syscall for file /proc/1453/environ open syscall for file /proc/1480/stat open syscall for file /proc/1480/status open syscall for file /proc/1480/cmdline open syscall for file /proc/1480/environ open syscall for file /proc/1504/stat open syscall for file /proc/1504/status open syscall for file /proc/1504/cmdline open syscall for file /proc/1504/environ open syscall for file /proc/1545/stat open syscall for file /proc/1545/status open syscall for file /proc/1545/cmdline open syscall for file /proc/1545/environ open syscall for file /proc/1569/stat open syscall for file /proc/1569/status open syscall for file /proc/1569/cmdline open syscall for file /proc/1569/environ open syscall for file /proc/1592/stat open syscall for file /proc/1592/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1592/cmdline open syscall for file /proc/1592/environ open syscall for file /proc/1623/stat open syscall for file /proc/1623/status open syscall for file /proc/1623/cmdline open syscall for file /proc/1623/environ open syscall for file /proc/1681/stat open syscall for file /proc/1681/status open syscall for file /proc/1681/cmdline open syscall for file /proc/1681/environ open syscall for file /proc/1686/stat open syscall for file /proc/1686/status open syscall for file /proc/1686/cmdline open syscall for file /proc/1686/environ open syscall for file /proc/1687/stat open syscall for file /proc/1687/status open syscall for file /proc/1687/cmdline open syscall for file /proc/1687/environ open syscall for file /proc/1688/stat open syscall for file /proc/1688/status open syscall for file /proc/1688/cmdline open syscall for file /proc/1688/environ open syscall for file /proc/1689/stat open syscall for file /proc/1689/status open syscall for file /proc/1689/cmdline open syscall for file /proc/1689/environ open syscall for file /proc/1690/stat open syscall for file /proc/1690/status open syscall for file /proc/1690/cmdline open syscall for file /proc/1690/environ open syscall for file /proc/1691/stat open syscall for file /proc/1691/status open syscall for file /proc/1691/cmdline open syscall for file /proc/1691/environ open syscall for file /proc/1692/stat open syscall for file /proc/1692/status open syscall for file /proc/1692/cmdline open syscall for file /proc/1692/environ open syscall for file /proc/4042/stat open syscall for file /proc/4042/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/4042/cmdline open syscall for file /proc/4042/environ open syscall for file /proc/4068/stat open syscall for file /proc/4068/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4068/cmdline open syscall for file /proc/4068/environ open syscall for file /proc/6727/stat open syscall for file /proc/6727/status open syscall for file /proc/6727/cmdline open syscall for file /proc/6727/environ open syscall for file /proc/6765/stat open syscall for file /proc/6765/status open syscall for file /proc/6765/cmdline open syscall for file /proc/6765/environ open syscall for file /proc/6766/stat open syscall for file /proc/6766/status open syscall for file /proc/6766/cmdline open syscall for file /proc/6766/environ open syscall for file /proc/6769/stat open syscall for file /proc/6769/status open syscall for file /proc/6769/cmdline open syscall for file /proc/6769/environ open syscall for file /proc/6832/stat open syscall for file /proc/6832/status open syscall for file /proc/6832/cmdline open syscall for file /proc/6832/environ open syscall for file /proc/6833/stat open syscall for file /proc/6833/status open syscall for file /proc/6833/cmdline open syscall for file /proc/6833/environ One traced child (pid=6832) exited with status: 0 One traced child (pid=6833) exited with status: 0 New process pid=6834 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=6834) exited with status: 0 New process pid=6835 execve syscall for /bin/nice executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf open syscall for file /tmp/vallst_sh_out_theory.vnf One traced child (pid=6835) exited with status: 0 New process pid=6836 execve syscall for /bin/cp executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 One traced child (pid=6836) exited with status: 1 New process pid=6837 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=6837) exited with status: 0 One traced child (pid=6766) ended because it received signal 15 (SIGTERM) open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=6769) exited with status: 3 All traced children have exited ! Game is over. Child status: 3 Real time (s): 1230.76 CPU time (s): 1203.67 CPU user time (s): 1189.88 CPU system time (s): 13.7969 CPU usage (%): 97.7987 Max. virtual memory (cumulated for all children) (Kb): 23704
ERROR: no interpretation found !