Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb
MD5SUMffa3a55eb53181880328dd1b84f91e66
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark209.173
Number of variables201
Total number of constraints334
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)227
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint1
Maximum length of a constraint67

Trace number 9235

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-23 11:36:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7946 boxname=wulflinc1 idbench=914 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p0201.opb 0
IDLAUNCH: 7946
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        912072 kB
Buffers:         10868 kB
Cached:          94396 kB
SwapCached:          0 kB
Active:          65384 kB
Inactive:        42792 kB
HighTotal:      131008 kB
HighFree:        34300 kB
LowTotal:       903652 kB
LowFree:        877772 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8876 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:03:40 (client local time) WITH STATUS 0 IN 1207.76 SECONDS
stats: 7946 7 1207.76 0

Solver Data

1:
seed: 0
Nr of vars set: 6  (#equs: 0)
Nr of vars set: 6  (#equs: 0)
#decisions: 27;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17588 (2391:>=*);
#decisions: 23;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17598 (2381:>=*);
#decisions: 29;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #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:  17728 (2251:>=*);
#decisions: 28;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17818 (2161:>=*);
#decisions: 24;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17828 (2151:>=*);
#decisions: 23;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17838 (2141:>=*);
#decisions: 26;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #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:  17858 (2121:>=*);
#decisions: 25;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17898 (2081:>=*);
#decisions: 24;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #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:  17928 (2051:>=*);
#decisions: 30;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 134, #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:  17940 (2039:>=*);
#decisions: 261;  #end-nodes: 188;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  17966 (2013:>=*);
#decisions: 38;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  17976 (2003:>=*);
#decisions: 36;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  17986 (1993:>=*);
#decisions: 44;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  17994 (1985:>=*);
#decisions: 60;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18009 (1970:>=*);
#decisions: 27;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18021 (1958:>=*);
#decisions: 56;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18041 (1938:>=*);
#decisions: 70;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18061 (1918:>=*);
#decisions: 47;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18073 (1906:>=*);
#decisions: 708;  #end-nodes: 556;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 58 / 81 (81)
#axs: 134, #non-axs: 12
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18100 (1879:>=*);
#decisions: 26;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 12
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18112 (1867:>=*);
#decisions: 305;  #end-nodes: 223;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 63 / 83 (80)
#axs: 134, #non-axs: 13
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18122 (1857:>=*);
#decisions: 26;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 13
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18132 (1847:>=*);
#decisions: 27;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 13
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18152 (1827:>=*);
#decisions: 26;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 13
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18172 (1807:>=*);
#decisions: 6712;  #end-nodes: 4929;
#proof improvement attempts: 0;  #restarts: 54
Current batch, end-nodes: 35 / 95 (93)
#axs: 134, #non-axs: 115
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18180 (1799:>=*);
#decisions: 36;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18230 (1749:>=*);
#decisions: 74;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18266 (1713:>=*);
#decisions: 43;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18286 (1693:>=*);
#decisions: 58;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18294 (1685:>=*);
#decisions: 35;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18306 (1673:>=*);
#decisions: 60405;  #end-nodes: 44045;
#proof improvement attempts: 0;  #restarts: 341
Current batch, end-nodes: 64 / 165 (165)
#axs: 134, #non-axs: 449
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18322 (1657:>=*);
#decisions: 34;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 134, #non-axs: 449
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18332 (1647:>=*);
#decisions: 44;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 134, #non-axs: 449
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18334 (1645:>=*);
#decisions: 30;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 449
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18344 (1635:>=*);
#decisions: 297060;  #end-nodes: 230823;
#proof improvement attempts: 0;  #restarts: 1059
Current batch, end-nodes: 32 / 344 (344)
#axs: 134, #non-axs: 959
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18364 (1615:>=*);
#decisions: 151491;  #end-nodes: 115087;
#proof improvement attempts: 0;  #restarts: 687
Current batch, end-nodes: 33 / 251 (251)
#axs: 134, #non-axs: 1114
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18366 (1613:>=*);
#decisions: 170905;  #end-nodes: 133543;
#proof improvement attempts: 0;  #restarts: 759
Current batch, end-nodes: 45 / 269 (269)
#axs: 134, #non-axs: 1252
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18404 (1575:>=*);
Interupt request received.
#decisions: 3019992;  #end-nodes: 2511354;
#proof improvement attempts: 0;  #restarts: 4167
Current batch, end-nodes: 53 / 1121 (1121)
#axs: 134, #non-axs: 1777
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
Model found with constant:
  (pushed:) 18404 (1575:>=*)

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: 165  (#equs: 0)
Time taken: 20 min, 7 sec
 Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options

Watcher Data

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/6238/stat): 6238 (vallstSAT2005PB) R 6237 6238 4704 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19898679 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6238/statm): 174 3 169 147 0 27 0
[pid=6238] 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=6239
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=6239) exited with status: 0
New process pid=6240
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=6240) exited with status: 0
New process pid=6241
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/wulflinc1/normalized-mps-v2-13-7-p0201.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0029 s]
Raw data (loadavg): 1.04 1.01 0.94 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 248 0 0 0 431 177 0 0 17 0 1 0 19898686 2359296 218 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 576 218 413 48 0 528 0
[pid=6241] vsize: 2304
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (Kb) 4432

[startup+20.0037 s]
Raw data (loadavg): 1.04 1.01 0.94 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 260 0 0 0 973 321 0 0 17 0 1 0 19898686 2359296 230 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 576 230 413 48 0 528 0
[pid=6241] vsize: 2304
Current children cumulated CPU time (s) 12.97
Current children cumulated vsize (Kb) 4432

[startup+30.0045 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 275 0 0 0 1522 464 0 0 18 0 1 0 19898686 2359296 245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 576 245 413 48 0 528 0
[pid=6241] vsize: 2304
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 4432

[startup+40.0042 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 281 0 0 0 2072 609 0 0 18 0 1 0 19898686 2359296 251 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 576 251 413 48 0 528 0
[pid=6241] vsize: 2304
Current children cumulated CPU time (s) 26.84
Current children cumulated vsize (Kb) 4432

[startup+50.005 s]
Raw data (loadavg): 1.17 1.04 0.95 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 330 0 0 0 2635 754 0 0 17 0 1 0 19898686 2359296 300 4294967295 134512640 134702520 3221223952 3221222720 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6241/statm): 576 300 413 48 0 528 0
[pid=6241] vsize: 2304
Current children cumulated CPU time (s) 33.92
Current children cumulated vsize (Kb) 4432

[startup+60.0058 s]
Raw data (loadavg): 1.15 1.04 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 336 0 0 0 3214 891 0 0 18 0 1 0 19898686 2359296 306 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 576 306 413 48 0 528 0
[pid=6241] vsize: 2304
Current children cumulated CPU time (s) 41.08
Current children cumulated vsize (Kb) 4432

[startup+70.0076 s]
Raw data (loadavg): 1.12 1.04 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 336 0 0 0 3785 1036 0 0 17 0 1 0 19898686 2359296 306 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 576 306 413 48 0 528 0
[pid=6241] vsize: 2304
Current children cumulated CPU time (s) 48.24
Current children cumulated vsize (Kb) 4432

[startup+80.0084 s]
Raw data (loadavg): 1.10 1.04 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 337 0 0 0 4360 1173 0 0 18 0 1 0 19898686 2359296 307 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 576 307 413 48 0 528 0
[pid=6241] vsize: 2304
Current children cumulated CPU time (s) 55.36
Current children cumulated vsize (Kb) 4432

[startup+90.0082 s]
Raw data (loadavg): 1.09 1.03 0.95 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 338 0 0 0 4928 1314 0 0 18 0 1 0 19898686 2359296 308 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6241/statm): 576 308 413 48 0 528 0
[pid=6241] vsize: 2304
Current children cumulated CPU time (s) 62.45
Current children cumulated vsize (Kb) 4432

[startup+100.009 s]
Raw data (loadavg): 1.07 1.03 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 340 0 0 0 5513 1450 0 0 18 0 1 0 19898686 2490368 310 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 310 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 69.66
Current children cumulated vsize (Kb) 4560

[startup+110.01 s]
Raw data (loadavg): 1.06 1.03 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 342 0 0 0 6098 1581 0 0 18 0 1 0 19898686 2490368 312 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 312 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 76.82
Current children cumulated vsize (Kb) 4560

[startup+120.011 s]
Raw data (loadavg): 1.05 1.03 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 344 0 0 0 6687 1717 0 0 18 0 1 0 19898686 2490368 314 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 314 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 84.07
Current children cumulated vsize (Kb) 4560

[startup+130.011 s]
Raw data (loadavg): 1.04 1.03 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 346 0 0 0 7286 1843 0 0 18 0 1 0 19898686 2490368 316 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 316 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 91.32
Current children cumulated vsize (Kb) 4560

[startup+140.012 s]
Raw data (loadavg): 1.04 1.03 0.95 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 347 0 0 0 7859 1981 0 0 18 0 1 0 19898686 2490368 317 4294967295 134512640 134702520 3221223952 3221222592 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 317 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 98.43
Current children cumulated vsize (Kb) 4560

[startup+150.013 s]
Raw data (loadavg): 1.03 1.03 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 349 0 0 0 8464 2108 0 0 18 0 1 0 19898686 2490368 319 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 319 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 105.75
Current children cumulated vsize (Kb) 4560

[startup+160.013 s]
Raw data (loadavg): 1.10 1.04 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 349 0 0 0 9038 2247 0 0 18 0 1 0 19898686 2490368 319 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 319 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 112.88
Current children cumulated vsize (Kb) 4560

[startup+170.013 s]
Raw data (loadavg): 1.08 1.04 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 353 0 0 0 9642 2371 0 0 18 0 1 0 19898686 2490368 323 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 323 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 120.16
Current children cumulated vsize (Kb) 4560

[startup+180.014 s]
Raw data (loadavg): 1.07 1.04 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 354 0 0 0 10235 2507 0 0 19 0 1 0 19898686 2490368 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 324 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 127.45
Current children cumulated vsize (Kb) 4560

[startup+190.015 s]
Raw data (loadavg): 1.06 1.04 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 356 0 0 0 10839 2638 0 0 17 0 1 0 19898686 2490368 326 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 326 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 134.8
Current children cumulated vsize (Kb) 4560

[startup+200.016 s]
Raw data (loadavg): 1.05 1.03 0.95 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 358 0 0 0 11432 2776 0 0 18 0 1 0 19898686 2490368 328 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 328 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 142.11
Current children cumulated vsize (Kb) 4560

[startup+210.017 s]
Raw data (loadavg): 1.12 1.05 0.96 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 360 0 0 0 12037 2908 0 0 18 0 1 0 19898686 2490368 330 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 330 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 149.48
Current children cumulated vsize (Kb) 4560

[startup+220.017 s]
Raw data (loadavg): 1.10 1.05 0.96 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 364 0 0 0 12652 3036 0 0 19 0 1 0 19898686 2490368 334 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 334 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 156.91
Current children cumulated vsize (Kb) 4560

[startup+230.018 s]
Raw data (loadavg): 1.17 1.06 0.96 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 365 0 0 0 13246 3168 0 0 18 0 1 0 19898686 2490368 335 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 335 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 164.17
Current children cumulated vsize (Kb) 4560

[startup+240.019 s]
Raw data (loadavg): 1.14 1.06 0.96 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 368 0 0 0 13860 3295 0 0 18 0 1 0 19898686 2490368 338 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 338 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 171.58
Current children cumulated vsize (Kb) 4560

[startup+250.02 s]
Raw data (loadavg): 1.12 1.06 0.96 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 369 0 0 0 14452 3427 0 0 18 0 1 0 19898686 2490368 339 4294967295 134512640 134702520 3221223952 3221222720 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 339 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 178.82
Current children cumulated vsize (Kb) 4560

[startup+260.021 s]
Raw data (loadavg): 1.10 1.05 0.96 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 370 0 0 0 15039 3561 0 0 18 0 1 0 19898686 2490368 340 4294967295 134512640 134702520 3221223952 3221222848 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 340 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 186.03
Current children cumulated vsize (Kb) 4560

[startup+270.021 s]
Raw data (loadavg): 1.08 1.05 0.96 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 370 0 0 0 15612 3701 0 0 18 0 1 0 19898686 2490368 340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 340 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 193.16
Current children cumulated vsize (Kb) 4560

[startup+280.022 s]
Raw data (loadavg): 1.07 1.05 0.96 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 370 0 0 0 16210 3837 0 0 18 0 1 0 19898686 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 340 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 200.5
Current children cumulated vsize (Kb) 4560

[startup+290.023 s]
Raw data (loadavg): 1.06 1.05 0.96 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 370 0 0 0 16798 3975 0 0 18 0 1 0 19898686 2490368 340 4294967295 134512640 134702520 3221223952 3221222848 134551072 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 340 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 207.76
Current children cumulated vsize (Kb) 4560

[startup+300.024 s]
Raw data (loadavg): 1.05 1.05 0.96 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 370 0 0 0 17371 4114 0 0 17 0 1 0 19898686 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 340 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 214.88
Current children cumulated vsize (Kb) 4560

[startup+310.024 s]
Raw data (loadavg): 1.04 1.04 0.96 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 370 0 0 0 17975 4240 0 0 18 0 1 0 19898686 2490368 340 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 340 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (Kb) 4560

[startup+320.025 s]
Raw data (loadavg): 1.04 1.04 0.96 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 370 0 0 0 18555 4383 0 0 19 0 1 0 19898686 2490368 340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 340 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 229.41
Current children cumulated vsize (Kb) 4560

[startup+330.026 s]
Raw data (loadavg): 1.10 1.06 0.97 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 370 0 0 0 19167 4509 0 0 18 0 1 0 19898686 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 340 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (Kb) 4560

[startup+340.026 s]
Raw data (loadavg): 1.17 1.07 0.97 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 370 0 0 0 19758 4643 0 0 18 0 1 0 19898686 2490368 340 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 340 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 244.04
Current children cumulated vsize (Kb) 4560

[startup+350.028 s]
Raw data (loadavg): 1.14 1.07 0.97 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 371 0 0 0 20358 4775 0 0 17 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221222720 134550704 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 251.36
Current children cumulated vsize (Kb) 4560

[startup+360.028 s]
Raw data (loadavg): 1.12 1.07 0.97 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 371 0 0 0 20967 4903 0 0 17 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 258.73
Current children cumulated vsize (Kb) 4560

[startup+370.03 s]
Raw data (loadavg): 1.10 1.06 0.97 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 371 0 0 0 21554 5039 0 0 17 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 265.96
Current children cumulated vsize (Kb) 4560

[startup+380.031 s]
Raw data (loadavg): 1.08 1.06 0.97 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 371 0 0 0 22148 5172 0 0 18 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 273.23
Current children cumulated vsize (Kb) 4560

[startup+390.031 s]
Raw data (loadavg): 1.07 1.06 0.97 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 371 0 0 0 22723 5311 0 0 17 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 280.37
Current children cumulated vsize (Kb) 4560

[startup+400.031 s]
Raw data (loadavg): 1.14 1.07 0.98 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 371 0 0 0 23314 5446 0 0 18 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 287.63
Current children cumulated vsize (Kb) 4560

[startup+410.032 s]
Raw data (loadavg): 1.12 1.07 0.98 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 371 0 0 0 23905 5576 0 0 18 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 294.84
Current children cumulated vsize (Kb) 4560

[startup+420.034 s]
Raw data (loadavg): 1.10 1.07 0.98 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 371 0 0 0 24483 5717 0 0 18 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 302.03
Current children cumulated vsize (Kb) 4560

[startup+430.035 s]
Raw data (loadavg): 1.08 1.06 0.98 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 371 0 0 0 25092 5847 0 0 18 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 309.42
Current children cumulated vsize (Kb) 4560

[startup+440.035 s]
Raw data (loadavg): 1.07 1.06 0.98 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 371 0 0 0 25677 5975 0 0 19 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 316.55
Current children cumulated vsize (Kb) 4560

[startup+450.035 s]
Raw data (loadavg): 1.06 1.06 0.98 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 371 0 0 0 26289 6106 0 0 16 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 323.98
Current children cumulated vsize (Kb) 4560

[startup+460.035 s]
Raw data (loadavg): 1.05 1.06 0.98 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 371 0 0 0 26880 6241 0 0 15 0 1 0 19898686 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 608 341 413 48 0 560 0
[pid=6241] vsize: 2432
Current children cumulated CPU time (s) 331.24
Current children cumulated vsize (Kb) 4560

[startup+470.037 s]
Raw data (loadavg): 1.04 1.05 0.98 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 372 0 0 0 27478 6373 0 0 15 0 1 0 19898686 2625536 342 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 342 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 338.54
Current children cumulated vsize (Kb) 4692

[startup+480.038 s]
Raw data (loadavg): 1.11 1.07 0.98 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 372 0 0 0 28089 6504 0 0 15 0 1 0 19898686 2625536 342 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 342 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 345.96
Current children cumulated vsize (Kb) 4692

[startup+490.039 s]
Raw data (loadavg): 1.17 1.08 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 28679 6636 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 353.18
Current children cumulated vsize (Kb) 4692

[startup+500.039 s]
Raw data (loadavg): 1.14 1.08 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 29305 6768 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 360.76
Current children cumulated vsize (Kb) 4692

[startup+510.04 s]
Raw data (loadavg): 1.12 1.08 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 29917 6893 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 368.13
Current children cumulated vsize (Kb) 4692

[startup+520.042 s]
Raw data (loadavg): 1.10 1.07 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 30490 7036 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 375.29
Current children cumulated vsize (Kb) 4692

[startup+530.043 s]
Raw data (loadavg): 1.09 1.07 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 31084 7170 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 382.57
Current children cumulated vsize (Kb) 4692

[startup+540.042 s]
Raw data (loadavg): 1.07 1.07 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 31673 7309 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 389.85
Current children cumulated vsize (Kb) 4692

[startup+550.043 s]
Raw data (loadavg): 1.06 1.06 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 32246 7451 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 397
Current children cumulated vsize (Kb) 4692

[startup+560.044 s]
Raw data (loadavg): 1.05 1.06 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 32857 7579 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 404.39
Current children cumulated vsize (Kb) 4692

[startup+570.045 s]
Raw data (loadavg): 1.04 1.06 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 33434 7719 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 411.56
Current children cumulated vsize (Kb) 4692

[startup+580.046 s]
Raw data (loadavg): 1.04 1.06 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 34037 7849 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 418.89
Current children cumulated vsize (Kb) 4692

[startup+590.046 s]
Raw data (loadavg): 1.03 1.05 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 34627 7991 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 426.21
Current children cumulated vsize (Kb) 4692

[startup+600.047 s]
Raw data (loadavg): 1.02 1.05 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 35230 8127 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 433.6
Current children cumulated vsize (Kb) 4692

[startup+610.048 s]
Raw data (loadavg): 1.02 1.05 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 35834 8256 0 0 15 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 440.93
Current children cumulated vsize (Kb) 4692

[startup+620.049 s]
Raw data (loadavg): 1.02 1.05 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 373 0 0 0 36418 8389 0 0 16 0 1 0 19898686 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 343 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 448.1
Current children cumulated vsize (Kb) 4692

[startup+630.049 s]
Raw data (loadavg): 1.01 1.05 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 374 0 0 0 37052 8512 0 0 15 0 1 0 19898686 2625536 344 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 344 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 455.67
Current children cumulated vsize (Kb) 4692

[startup+640.049 s]
Raw data (loadavg): 1.01 1.04 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 374 0 0 0 37628 8650 0 0 15 0 1 0 19898686 2625536 344 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 344 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 462.81
Current children cumulated vsize (Kb) 4692

[startup+650.05 s]
Raw data (loadavg): 1.01 1.04 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 374 0 0 0 38259 8769 0 0 15 0 1 0 19898686 2625536 344 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 344 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 470.31
Current children cumulated vsize (Kb) 4692

[startup+660.051 s]
Raw data (loadavg): 1.01 1.04 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 375 0 0 0 38849 8906 0 0 16 0 1 0 19898686 2625536 345 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 345 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 477.58
Current children cumulated vsize (Kb) 4692

[startup+670.053 s]
Raw data (loadavg): 1.01 1.04 0.99 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 376 0 0 0 39489 9033 0 0 15 0 1 0 19898686 2625536 346 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 346 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 485.25
Current children cumulated vsize (Kb) 4692

[startup+680.053 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 377 0 0 0 40066 9172 0 0 15 0 1 0 19898686 2625536 347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 347 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 492.41
Current children cumulated vsize (Kb) 4692

[startup+690.053 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 378 0 0 0 40697 9294 0 0 16 0 1 0 19898686 2625536 348 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 348 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 499.94
Current children cumulated vsize (Kb) 4692

[startup+700.054 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 379 0 0 0 41271 9438 0 0 15 0 1 0 19898686 2625536 349 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 349 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 507.12
Current children cumulated vsize (Kb) 4692

[startup+710.055 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 381 0 0 0 41917 9554 0 0 15 0 1 0 19898686 2625536 351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 351 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 514.74
Current children cumulated vsize (Kb) 4692

[startup+720.056 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 381 0 0 0 42509 9695 0 0 15 0 1 0 19898686 2625536 351 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 351 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (Kb) 4692

[startup+730.057 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 382 0 0 0 43139 9814 0 0 15 0 1 0 19898686 2625536 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 352 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 529.56
Current children cumulated vsize (Kb) 4692

[startup+740.058 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 382 0 0 0 43739 9946 0 0 16 0 1 0 19898686 2625536 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 352 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 536.88
Current children cumulated vsize (Kb) 4692

[startup+750.059 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 385 0 0 0 44382 10065 0 0 16 0 1 0 19898686 2625536 355 4294967295 134512640 134702520 3221223952 3221223536 134562570 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 355 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 544.5
Current children cumulated vsize (Kb) 4692

[startup+760.06 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 385 0 0 0 44965 10203 0 0 15 0 1 0 19898686 2625536 355 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 355 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 551.71
Current children cumulated vsize (Kb) 4692

[startup+770.062 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 388 0 0 0 45612 10326 0 0 15 0 1 0 19898686 2625536 358 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 358 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 559.41
Current children cumulated vsize (Kb) 4692

[startup+780.062 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 389 0 0 0 46217 10458 0 0 15 0 1 0 19898686 2625536 359 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 359 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 566.78
Current children cumulated vsize (Kb) 4692

[startup+790.063 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 390 0 0 0 46850 10572 0 0 15 0 1 0 19898686 2625536 360 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 360 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 574.25
Current children cumulated vsize (Kb) 4692

[startup+800.065 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 391 0 0 0 47477 10692 0 0 15 0 1 0 19898686 2625536 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 361 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 581.72
Current children cumulated vsize (Kb) 4692

[startup+810.066 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 391 0 0 0 48088 10818 0 0 15 0 1 0 19898686 2625536 361 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 361 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 589.09
Current children cumulated vsize (Kb) 4692

[startup+820.066 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 391 0 0 0 48739 10934 0 0 15 0 1 0 19898686 2625536 361 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 361 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 596.76
Current children cumulated vsize (Kb) 4692

[startup+830.067 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 391 0 0 0 49319 11073 0 0 16 0 1 0 19898686 2625536 361 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 361 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 603.95
Current children cumulated vsize (Kb) 4692

[startup+840.068 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 394 0 0 0 49974 11191 0 0 15 0 1 0 19898686 2625536 364 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 364 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 611.68
Current children cumulated vsize (Kb) 4692

[startup+850.069 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 394 0 0 0 50560 11330 0 0 15 0 1 0 19898686 2625536 364 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 364 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 618.93
Current children cumulated vsize (Kb) 4692

[startup+860.07 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 395 0 0 0 51220 11442 0 0 15 0 1 0 19898686 2625536 365 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 365 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 626.65
Current children cumulated vsize (Kb) 4692

[startup+870.071 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 395 0 0 0 51847 11562 0 0 15 0 1 0 19898686 2625536 365 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 365 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 634.12
Current children cumulated vsize (Kb) 4692

[startup+880.072 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 395 0 0 0 52464 11686 0 0 15 0 1 0 19898686 2625536 365 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 365 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 641.53
Current children cumulated vsize (Kb) 4692

[startup+890.073 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 398 0 0 0 53125 11791 0 0 15 0 1 0 19898686 2625536 368 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 368 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 649.19
Current children cumulated vsize (Kb) 4692

[startup+900.075 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 399 0 0 0 53706 11931 0 0 15 0 1 0 19898686 2625536 369 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 369 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 656.4
Current children cumulated vsize (Kb) 4692

[startup+910.076 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 402 0 0 0 54368 12047 0 0 15 0 1 0 19898686 2625536 372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 641 372 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 664.18
Current children cumulated vsize (Kb) 4692

[startup+920.076 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 403 0 0 0 54987 12172 0 0 15 0 1 0 19898686 2625536 373 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 641 373 413 48 0 593 0
[pid=6241] vsize: 2564
Current children cumulated CPU time (s) 671.62
Current children cumulated vsize (Kb) 4692

[startup+930.077 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 405 0 0 0 55644 12285 0 0 16 0 1 0 19898686 2760704 375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 674 375 413 48 0 626 0
[pid=6241] vsize: 2696
Current children cumulated CPU time (s) 679.32
Current children cumulated vsize (Kb) 4824

[startup+940.078 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 408 0 0 0 56308 12398 0 0 15 0 1 0 19898686 2760704 378 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 674 378 413 48 0 626 0
[pid=6241] vsize: 2696
Current children cumulated CPU time (s) 687.09
Current children cumulated vsize (Kb) 4824

[startup+950.079 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 408 0 0 0 56894 12537 0 0 15 0 1 0 19898686 2760704 378 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 674 378 413 48 0 626 0
[pid=6241] vsize: 2696
Current children cumulated CPU time (s) 694.34
Current children cumulated vsize (Kb) 4824

[startup+960.079 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 410 0 0 0 57563 12649 0 0 15 0 1 0 19898686 2760704 380 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 674 380 413 48 0 626 0
[pid=6241] vsize: 2696
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (Kb) 4824

[startup+970.081 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 412 0 0 0 58187 12779 0 0 15 0 1 0 19898686 2760704 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6241/statm): 674 382 413 48 0 626 0
[pid=6241] vsize: 2696
Current children cumulated CPU time (s) 709.69
Current children cumulated vsize (Kb) 4824

[startup+980.082 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 531 0 0 0 58829 12899 0 0 15 0 1 0 19898686 3158016 501 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 771 501 413 48 0 723 0
[pid=6241] vsize: 3084
Current children cumulated CPU time (s) 717.31
Current children cumulated vsize (Kb) 5212

[startup+990.082 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 700 0 0 0 59564 12990 0 0 15 0 1 0 19898686 3915776 668 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 956 668 413 48 0 908 0
[pid=6241] vsize: 3824
Current children cumulated CPU time (s) 725.57
Current children cumulated vsize (Kb) 5952

[startup+1000.08 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 761 0 0 0 60215 13106 0 0 15 0 1 0 19898686 3915776 691 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 956 691 413 48 0 908 0
[pid=6241] vsize: 3824
Current children cumulated CPU time (s) 733.24
Current children cumulated vsize (Kb) 5952

[startup+1010.08 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 761 0 0 0 60891 13213 0 0 15 0 1 0 19898686 3915776 691 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 956 691 413 48 0 908 0
[pid=6241] vsize: 3824
Current children cumulated CPU time (s) 741.07
Current children cumulated vsize (Kb) 5952

[startup+1020.08 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 794 0 0 0 61666 13292 0 0 16 0 1 0 19898686 4194304 724 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1024 724 413 48 0 976 0
[pid=6241] vsize: 4096
Current children cumulated CPU time (s) 749.61
Current children cumulated vsize (Kb) 6224

[startup+1030.13 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 62396 13383 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 757.82
Current children cumulated vsize (Kb) 6512

[startup+1040.13 s]
Raw data (loadavg): 1.10 1.04 1.00 2/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 63028 13508 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 765.39
Current children cumulated vsize (Kb) 6512

[startup+1050.13 s]
Raw data (loadavg): 1.16 1.06 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 63749 13605 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 773.57
Current children cumulated vsize (Kb) 6512

[startup+1060.13 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 64457 13702 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 781.62
Current children cumulated vsize (Kb) 6512

[startup+1070.13 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 65081 13828 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 789.12
Current children cumulated vsize (Kb) 6512

[startup+1080.14 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 65800 13921 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 797.24
Current children cumulated vsize (Kb) 6512

[startup+1090.14 s]
Raw data (loadavg): 1.16 1.07 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 66488 14029 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 805.2
Current children cumulated vsize (Kb) 6512

[startup+1100.14 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 67105 14153 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 812.61
Current children cumulated vsize (Kb) 6512

[startup+1110.14 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 67786 14262 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 820.51
Current children cumulated vsize (Kb) 6512

[startup+1120.14 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 68441 14377 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 828.21
Current children cumulated vsize (Kb) 6512

[startup+1130.14 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 69087 14496 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 835.86
Current children cumulated vsize (Kb) 6512

[startup+1140.14 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 69771 14605 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 843.79
Current children cumulated vsize (Kb) 6512

[startup+1150.14 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 70378 14732 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 851.13
Current children cumulated vsize (Kb) 6512

[startup+1160.14 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 71035 14848 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 858.86
Current children cumulated vsize (Kb) 6512

[startup+1170.14 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 71709 14959 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 866.71
Current children cumulated vsize (Kb) 6512

[startup+1180.14 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 72311 15090 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 874.04
Current children cumulated vsize (Kb) 6512

[startup+1190.14 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 72998 15196 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (Kb) 6512

[startup+1200.15 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 73676 15305 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 889.84
Current children cumulated vsize (Kb) 6512

[startup+1210.15 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 74274 15435 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 897.12
Current children cumulated vsize (Kb) 6512

[startup+1220.15 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 74957 15545 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 905.05
Current children cumulated vsize (Kb) 6512

[startup+1230.15 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 75647 15652 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 913.02
Current children cumulated vsize (Kb) 6512

[startup+1240.15 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 76243 15783 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 920.29
Current children cumulated vsize (Kb) 6512

[startup+1250.15 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 76925 15889 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 928.17
Current children cumulated vsize (Kb) 6512

[startup+1260.15 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 77611 15994 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 936.08
Current children cumulated vsize (Kb) 6512

[startup+1270.15 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 78202 16127 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 943.32
Current children cumulated vsize (Kb) 6512

[startup+1280.15 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 78900 16231 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 951.34
Current children cumulated vsize (Kb) 6512

[startup+1290.15 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 79584 16335 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 959.22
Current children cumulated vsize (Kb) 6512

[startup+1300.15 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 80180 16468 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 966.51
Current children cumulated vsize (Kb) 6512

[startup+1310.16 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 80872 16572 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 974.47
Current children cumulated vsize (Kb) 6512

[startup+1320.16 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 81555 16682 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 982.4
Current children cumulated vsize (Kb) 6512

[startup+1330.16 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 82176 16812 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 989.91
Current children cumulated vsize (Kb) 6512

[startup+1340.16 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 82836 16923 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 997.62
Current children cumulated vsize (Kb) 6512

[startup+1350.16 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 83532 17026 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1005.61
Current children cumulated vsize (Kb) 6512

[startup+1360.16 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 84159 17147 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1013.09
Current children cumulated vsize (Kb) 6512

[startup+1370.16 s]
Raw data (loadavg): 1.11 1.06 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 84818 17260 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1020.81
Current children cumulated vsize (Kb) 6512

[startup+1380.16 s]
Raw data (loadavg): 1.09 1.06 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 85494 17373 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1028.7
Current children cumulated vsize (Kb) 6512

[startup+1390.16 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 86171 17482 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1036.56
Current children cumulated vsize (Kb) 6512

[startup+1400.16 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 86795 17610 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1044.08
Current children cumulated vsize (Kb) 6512

[startup+1410.16 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 87487 17710 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1052
Current children cumulated vsize (Kb) 6512

[startup+1420.17 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 88175 17815 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1059.93
Current children cumulated vsize (Kb) 6512

[startup+1430.17 s]
Raw data (loadavg): 1.11 1.06 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 88774 17950 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1067.27
Current children cumulated vsize (Kb) 6512

[startup+1440.17 s]
Raw data (loadavg): 1.09 1.06 1.00 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 89465 18055 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1075.23
Current children cumulated vsize (Kb) 6512

[startup+1450.17 s]
Raw data (loadavg): 1.16 1.07 1.01 1/56 6241
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 90149 18164 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1083.16
Current children cumulated vsize (Kb) 6512

[startup+1460.17 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 6243
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 90753 18298 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1090.54
Current children cumulated vsize (Kb) 6512

[startup+1470.17 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 6243
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 91450 18401 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1098.54
Current children cumulated vsize (Kb) 6512

[startup+1480.17 s]
Raw data (loadavg): 1.17 1.08 1.01 1/56 6243
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 92143 18505 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1106.51
Current children cumulated vsize (Kb) 6512

[startup+1490.17 s]
Raw data (loadavg): 1.22 1.10 1.02 1/56 6243
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 92808 18616 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1114.27
Current children cumulated vsize (Kb) 6512

[startup+1500.17 s]
Raw data (loadavg): 1.18 1.09 1.01 1/56 6243
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 93445 18738 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (Kb) 6512

[startup+1510.17 s]
Raw data (loadavg): 1.23 1.10 1.02 1/56 6243
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 94143 18841 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1129.87
Current children cumulated vsize (Kb) 6512

[startup+1520.17 s]
Raw data (loadavg): 1.20 1.10 1.02 2/56 6243
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 872 0 0 0 94840 18946 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223232 134550340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1137.89
Current children cumulated vsize (Kb) 6512

[startup+1530.17 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 6243
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 95434 19080 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1145.17
Current children cumulated vsize (Kb) 6512

[startup+1540.17 s]
Raw data (loadavg): 1.22 1.11 1.02 2/60 6293
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) R 6238 6238 4704 0 -1 0 872 0 0 0 96115 19187 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1153.05
Current children cumulated vsize (Kb) 6512

[startup+1550.18 s]
Raw data (loadavg): 1.19 1.10 1.02 1/56 6298
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 96809 19292 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1161.04
Current children cumulated vsize (Kb) 6512

[startup+1560.18 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 6298
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 97456 19410 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1168.69
Current children cumulated vsize (Kb) 6512

[startup+1570.18 s]
Raw data (loadavg): 1.13 1.10 1.02 2/56 6298
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 98101 19531 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1176.35
Current children cumulated vsize (Kb) 6512

[startup+1580.18 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 6298
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 98793 19637 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1184.33
Current children cumulated vsize (Kb) 6512

[startup+1590.18 s]
Raw data (loadavg): 1.09 1.09 1.02 1/56 6298
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 99487 19741 0 0 16 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1192.31
Current children cumulated vsize (Kb) 6512

[startup+1600.18 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 6298
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 100085 19872 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1199.6
Current children cumulated vsize (Kb) 6512

[startup+1610.18 s]
Raw data (loadavg): 1.07 1.08 1.01 1/56 6300
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 100781 19977 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1207.61
Current children cumulated vsize (Kb) 6512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1610.18 s]
Raw data (loadavg): 1.07 1.08 1.01 1/56 6300
Raw data (/proc/6238/stat): 6238 (vallstSAT2005PB) S 6237 6238 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19898679 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6238/statm): 532 242 485 147 0 385 0
[pid=6238] vsize: 2128
Raw data (/proc/6241/stat): 6241 (vallst) T 6238 6238 4704 0 -1 0 872 0 0 0 100781 19977 0 0 15 0 1 0 19898686 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6241/statm): 1096 802 413 48 0 1048 0
[pid=6241] vsize: 4384
Current children cumulated CPU time (s) 1207.61
Current children cumulated vsize (Kb) 6512

Sending SIGTERM to -6238
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6302
New process pid=6303
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=6241) exited with status: 3
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/4506/stat
open syscall for file /proc/4506/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/4506/cmdline
open syscall for file /proc/4506/environ
open syscall for file /proc/4712/stat
open syscall for file /proc/4712/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/4712/cmdline
open syscall for file /proc/4712/environ
open syscall for file /proc/6199/stat
open syscall for file /proc/6199/status
open syscall for file /proc/6199/cmdline
open syscall for file /proc/6199/environ
open syscall for file /proc/6237/stat
open syscall for file /proc/6237/status
open syscall for file /proc/6237/cmdline
open syscall for file /proc/6237/environ
open syscall for file /proc/6238/stat
open syscall for file /proc/6238/status
open syscall for file /proc/6238/cmdline
open syscall for file /proc/6238/environ
open syscall for file /proc/6302/stat
open syscall for file /proc/6302/status
open syscall for file /proc/6302/cmdline
open syscall for file /proc/6302/environ
open syscall for file /proc/6303/stat
open syscall for file /proc/6303/status
open syscall for file /proc/6303/cmdline
open syscall for file /proc/6303/environ
One traced child (pid=6302) exited with status: 0
One traced child (pid=6303) exited with status: 0
New process pid=6304
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=6304) exited with status: 0
New process pid=6307
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=6307) exited with status: 0
New process pid=6308
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /tmp/vallst_sh_changing_setting.options
One traced child (pid=6308) exited with status: 0
New process pid=6309
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=6309) exited with status: 0
One traced child (pid=6238) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1610.72
CPU time (s): 1207.76
CPU user time (s): 1007.88
CPU system time (s): 199.888
CPU usage (%): 74.9827
Max. virtual memory (cumulated for all children) (Kb): 6512

Verifier Data

ERROR: no interpretation found !