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/miplib3/normalized-mps-v2-13-7-p0201.opb
MD5SUM8c361d02d5162bb0b133ab6ed38f9294
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 benchmark208.773
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 9343

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        940176 kB
Buffers:         13368 kB
Cached:          62248 kB
SwapCached:          0 kB
Active:          42948 kB
Inactive:        35608 kB
HighTotal:      131008 kB
HighFree:        64708 kB
LowTotal:       903652 kB
LowFree:        875468 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10172 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:04:19 (client local time) WITH STATUS 0 IN 1206.39 SECONDS
stats: 8068 7 1206.39 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.
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: 6  (#equs: 0)
Time taken: 20 min, 6 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/6255/stat): 6255 (vallstSAT2005PB) R 6254 6255 4060 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 20258892 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6255/statm): 174 3 169 147 0 27 0
[pid=6255] 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=6256
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=6256) exited with status: 0
New process pid=6257
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=6257) exited with status: 0
New process pid=6258
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/wulflinc5/normalized-mps-v2-13-7-p0201.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0023 s]
Raw data (loadavg): 0.82 0.98 0.98 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 248 0 0 0 424 183 0 0 17 0 1 0 20258899 2359296 218 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 576 218 413 48 0 528 0
[pid=6258] vsize: 2304
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (Kb) 4432

[startup+20.003 s]
Raw data (loadavg): 0.85 0.98 0.98 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 260 0 0 0 952 336 0 0 17 0 1 0 20258899 2359296 230 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 576 230 413 48 0 528 0
[pid=6258] vsize: 2304
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (Kb) 4432

[startup+30.0038 s]
Raw data (loadavg): 0.87 0.98 0.98 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 274 0 0 0 1491 487 0 0 17 0 1 0 20258899 2359296 244 4294967295 134512640 134702520 3221223952 3221222720 134552785 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 576 244 413 48 0 528 0
[pid=6258] vsize: 2304
Current children cumulated CPU time (s) 19.81
Current children cumulated vsize (Kb) 4432

[startup+40.0045 s]
Raw data (loadavg): 0.96 1.00 0.99 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 281 0 0 0 2045 630 0 0 18 0 1 0 20258899 2359296 251 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 576 251 413 48 0 528 0
[pid=6258] vsize: 2304
Current children cumulated CPU time (s) 26.78
Current children cumulated vsize (Kb) 4432

[startup+50.0053 s]
Raw data (loadavg): 1.05 1.01 0.99 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 330 0 0 0 2612 774 0 0 18 0 1 0 20258899 2359296 300 4294967295 134512640 134702520 3221223952 3221222720 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 576 300 413 48 0 528 0
[pid=6258] vsize: 2304
Current children cumulated CPU time (s) 33.89
Current children cumulated vsize (Kb) 4432

[startup+60.005 s]
Raw data (loadavg): 1.11 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 336 0 0 0 3181 914 0 0 18 0 1 0 20258899 2359296 306 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 576 306 413 48 0 528 0
[pid=6258] vsize: 2304
Current children cumulated CPU time (s) 40.98
Current children cumulated vsize (Kb) 4432

[startup+70.0068 s]
Raw data (loadavg): 1.10 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 336 0 0 0 3749 1055 0 0 17 0 1 0 20258899 2359296 306 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 576 306 413 48 0 528 0
[pid=6258] vsize: 2304
Current children cumulated CPU time (s) 48.07
Current children cumulated vsize (Kb) 4432

[startup+80.0076 s]
Raw data (loadavg): 1.16 1.04 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 337 0 0 0 4318 1201 0 0 18 0 1 0 20258899 2359296 307 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 576 307 413 48 0 528 0
[pid=6258] vsize: 2304
Current children cumulated CPU time (s) 55.22
Current children cumulated vsize (Kb) 4432

[startup+90.0083 s]
Raw data (loadavg): 1.14 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 338 0 0 0 4888 1346 0 0 18 0 1 0 20258899 2359296 308 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 576 308 413 48 0 528 0
[pid=6258] vsize: 2304
Current children cumulated CPU time (s) 62.37
Current children cumulated vsize (Kb) 4432

[startup+100.009 s]
Raw data (loadavg): 1.11 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 340 0 0 0 5473 1483 0 0 18 0 1 0 20258899 2490368 310 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 310 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 69.59
Current children cumulated vsize (Kb) 4560

[startup+110.01 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 341 0 0 0 6048 1625 0 0 17 0 1 0 20258899 2490368 311 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 311 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 76.76
Current children cumulated vsize (Kb) 4560

[startup+120.011 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 344 0 0 0 6629 1769 0 0 18 0 1 0 20258899 2490368 314 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 314 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 84.01
Current children cumulated vsize (Kb) 4560

[startup+130.011 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 346 0 0 0 7219 1903 0 0 18 0 1 0 20258899 2490368 316 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 316 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 91.25
Current children cumulated vsize (Kb) 4560

[startup+140.012 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 347 0 0 0 7793 2043 0 0 18 0 1 0 20258899 2490368 317 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 317 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 98.39
Current children cumulated vsize (Kb) 4560

[startup+150.013 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 348 0 0 0 8389 2178 0 0 18 0 1 0 20258899 2490368 318 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 318 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 105.7
Current children cumulated vsize (Kb) 4560

[startup+160.013 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 349 0 0 0 8967 2315 0 0 19 0 1 0 20258899 2490368 319 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 319 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 112.85
Current children cumulated vsize (Kb) 4560

[startup+170.013 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 353 0 0 0 9567 2445 0 0 17 0 1 0 20258899 2490368 323 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 323 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 120.15
Current children cumulated vsize (Kb) 4560

[startup+180.014 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 353 0 0 0 10154 2586 0 0 19 0 1 0 20258899 2490368 323 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 323 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 127.43
Current children cumulated vsize (Kb) 4560

[startup+190.016 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 356 0 0 0 10751 2719 0 0 17 0 1 0 20258899 2490368 326 4294967295 134512640 134702520 3221223952 3221222720 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 326 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 134.73
Current children cumulated vsize (Kb) 4560

[startup+200.017 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 358 0 0 0 11337 2859 0 0 18 0 1 0 20258899 2490368 328 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 328 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 141.99
Current children cumulated vsize (Kb) 4560

[startup+210.016 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 360 0 0 0 11928 2990 0 0 17 0 1 0 20258899 2490368 330 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 330 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 149.21
Current children cumulated vsize (Kb) 4560

[startup+220.017 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 363 0 0 0 12525 3124 0 0 17 0 1 0 20258899 2490368 333 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 333 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 156.52
Current children cumulated vsize (Kb) 4560

[startup+230.018 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 365 0 0 0 13133 3255 0 0 18 0 1 0 20258899 2490368 335 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 335 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 163.91
Current children cumulated vsize (Kb) 4560

[startup+240.018 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 368 0 0 0 13739 3384 0 0 18 0 1 0 20258899 2490368 338 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 338 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 171.26
Current children cumulated vsize (Kb) 4560

[startup+250.019 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 369 0 0 0 14334 3518 0 0 18 0 1 0 20258899 2490368 339 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 339 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 178.55
Current children cumulated vsize (Kb) 4560

[startup+260.02 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 370 0 0 0 14905 3659 0 0 18 0 1 0 20258899 2490368 340 4294967295 134512640 134702520 3221223952 3221222720 134550697 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 340 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 185.67
Current children cumulated vsize (Kb) 4560

[startup+270.021 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 370 0 0 0 15471 3804 0 0 17 0 1 0 20258899 2490368 340 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 340 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 192.78
Current children cumulated vsize (Kb) 4560

[startup+280.02 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 370 0 0 0 16069 3936 0 0 18 0 1 0 20258899 2490368 340 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 340 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 200.08
Current children cumulated vsize (Kb) 4560

[startup+290.021 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 370 0 0 0 16636 4081 0 0 18 0 1 0 20258899 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 340 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 207.2
Current children cumulated vsize (Kb) 4560

[startup+300.022 s]
Raw data (loadavg): 1.14 1.05 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 370 0 0 0 17228 4215 0 0 18 0 1 0 20258899 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 340 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 214.46
Current children cumulated vsize (Kb) 4560

[startup+310.023 s]
Raw data (loadavg): 1.12 1.05 1.01 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 370 0 0 0 17814 4355 0 0 18 0 1 0 20258899 2490368 340 4294967295 134512640 134702520 3221223952 3221222720 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 340 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 221.72
Current children cumulated vsize (Kb) 4560

[startup+320.023 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 370 0 0 0 18387 4497 0 0 17 0 1 0 20258899 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 340 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 228.87
Current children cumulated vsize (Kb) 4560

[startup+330.024 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 370 0 0 0 18997 4629 0 0 19 0 1 0 20258899 2490368 340 4294967295 134512640 134702520 3221223952 3221222848 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 340 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 236.29
Current children cumulated vsize (Kb) 4560

[startup+340.025 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 370 0 0 0 19574 4777 0 0 18 0 1 0 20258899 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 340 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 243.54
Current children cumulated vsize (Kb) 4560

[startup+350.026 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 371 0 0 0 20187 4896 0 0 18 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 250.86
Current children cumulated vsize (Kb) 4560

[startup+360.026 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 371 0 0 0 20762 5038 0 0 18 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 258.03
Current children cumulated vsize (Kb) 4560

[startup+370.027 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 371 0 0 0 21372 5169 0 0 17 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221222720 134552680 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 265.44
Current children cumulated vsize (Kb) 4560

[startup+380.028 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 371 0 0 0 21955 5309 0 0 18 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 272.67
Current children cumulated vsize (Kb) 4560

[startup+390.029 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 371 0 0 0 22532 5441 0 0 17 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 279.76
Current children cumulated vsize (Kb) 4560

[startup+400.029 s]
Raw data (loadavg): 1.09 1.05 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 371 0 0 0 23124 5582 0 0 18 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 287.09
Current children cumulated vsize (Kb) 4560

[startup+410.029 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 371 0 0 0 23701 5725 0 0 18 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 294.29
Current children cumulated vsize (Kb) 4560

[startup+420.03 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 371 0 0 0 24290 5859 0 0 17 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 301.52
Current children cumulated vsize (Kb) 4560

[startup+430.031 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 371 0 0 0 24871 6002 0 0 18 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221222848 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 308.76
Current children cumulated vsize (Kb) 4560

[startup+440.031 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 371 0 0 0 25458 6140 0 0 18 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 316.01
Current children cumulated vsize (Kb) 4560

[startup+450.032 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 371 0 0 0 26061 6273 0 0 18 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 323.37
Current children cumulated vsize (Kb) 4560

[startup+460.033 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 371 0 0 0 26651 6406 0 0 18 0 1 0 20258899 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 608 341 413 48 0 560 0
[pid=6258] vsize: 2432
Current children cumulated CPU time (s) 330.6
Current children cumulated vsize (Kb) 4560

[startup+470.034 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 372 0 0 0 27261 6533 0 0 18 0 1 0 20258899 2625536 342 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 342 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 337.97
Current children cumulated vsize (Kb) 4692

[startup+480.034 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 372 0 0 0 27854 6673 0 0 19 0 1 0 20258899 2625536 342 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 342 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 345.3
Current children cumulated vsize (Kb) 4692

[startup+490.036 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 28475 6800 0 0 17 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 352.78
Current children cumulated vsize (Kb) 4692

[startup+500.037 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 373 0 0 0 29065 6936 0 0 19 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221223232 134552336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 360.04
Current children cumulated vsize (Kb) 4692

[startup+510.036 s]
Raw data (loadavg): 1.09 1.05 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 373 0 0 0 29678 7064 0 0 18 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221222720 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 367.45
Current children cumulated vsize (Kb) 4692

[startup+520.037 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 30257 7208 0 0 18 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 374.68
Current children cumulated vsize (Kb) 4692

[startup+530.038 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 30847 7343 0 0 19 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 381.93
Current children cumulated vsize (Kb) 4692

[startup+540.039 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 31426 7488 0 0 17 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 389.17
Current children cumulated vsize (Kb) 4692

[startup+550.039 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 32032 7621 0 0 17 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 396.56
Current children cumulated vsize (Kb) 4692

[startup+560.039 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 32610 7765 0 0 18 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 403.78
Current children cumulated vsize (Kb) 4692

[startup+570.04 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 373 0 0 0 33195 7903 0 0 18 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 411.01
Current children cumulated vsize (Kb) 4692

[startup+580.041 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 33806 8030 0 0 18 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 418.39
Current children cumulated vsize (Kb) 4692

[startup+590.041 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 34386 8168 0 0 15 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 425.57
Current children cumulated vsize (Kb) 4692

[startup+600.042 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 34996 8299 0 0 15 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 432.98
Current children cumulated vsize (Kb) 4692

[startup+610.043 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 373 0 0 0 35562 8433 0 0 16 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 439.98
Current children cumulated vsize (Kb) 4692

[startup+620.044 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 373 0 0 0 36167 8574 0 0 15 0 1 0 20258899 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 343 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 447.44
Current children cumulated vsize (Kb) 4692

[startup+630.044 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 374 0 0 0 36742 8717 0 0 15 0 1 0 20258899 2625536 344 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 344 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 454.62
Current children cumulated vsize (Kb) 4692

[startup+640.046 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 374 0 0 0 37361 8845 0 0 16 0 1 0 20258899 2625536 344 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 344 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (Kb) 4692

[startup+650.047 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 374 0 0 0 37951 8980 0 0 15 0 1 0 20258899 2625536 344 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 344 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 469.34
Current children cumulated vsize (Kb) 4692

[startup+660.047 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 374 0 0 0 38552 9112 0 0 15 0 1 0 20258899 2625536 344 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 344 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 476.67
Current children cumulated vsize (Kb) 4692

[startup+670.048 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 375 0 0 0 39150 9251 0 0 15 0 1 0 20258899 2625536 345 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 345 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 484.04
Current children cumulated vsize (Kb) 4692

[startup+680.049 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 376 0 0 0 39754 9381 0 0 15 0 1 0 20258899 2625536 346 4294967295 134512640 134702520 3221223952 3221223024 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6258/statm): 641 346 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 491.38
Current children cumulated vsize (Kb) 4692

[startup+690.05 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 377 0 0 0 40355 9521 0 0 16 0 1 0 20258899 2625536 347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 347 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 498.79
Current children cumulated vsize (Kb) 4692

[startup+700.051 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 378 0 0 0 40968 9649 0 0 15 0 1 0 20258899 2625536 348 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 641 348 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 506.2
Current children cumulated vsize (Kb) 4692

[startup+710.05 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 380 0 0 0 41579 9782 0 0 15 0 1 0 20258899 2625536 350 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 350 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 513.64
Current children cumulated vsize (Kb) 4692

[startup+720.051 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 381 0 0 0 42189 9919 0 0 16 0 1 0 20258899 2625536 351 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 351 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 521.11
Current children cumulated vsize (Kb) 4692

[startup+730.052 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 382 0 0 0 42793 10050 0 0 15 0 1 0 20258899 2625536 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 641 352 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 528.46
Current children cumulated vsize (Kb) 4692

[startup+740.053 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 382 0 0 0 43427 10176 0 0 16 0 1 0 20258899 2625536 352 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 352 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 536.06
Current children cumulated vsize (Kb) 4692

[startup+750.054 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 383 0 0 0 44021 10310 0 0 15 0 1 0 20258899 2625536 353 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 353 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 543.34
Current children cumulated vsize (Kb) 4692

[startup+760.054 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 385 0 0 0 44661 10432 0 0 15 0 1 0 20258899 2625536 355 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 641 355 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 550.96
Current children cumulated vsize (Kb) 4692

[startup+770.055 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 386 0 0 0 45237 10577 0 0 16 0 1 0 20258899 2625536 356 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 356 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 558.17
Current children cumulated vsize (Kb) 4692

[startup+780.055 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 389 0 0 0 45889 10697 0 0 15 0 1 0 20258899 2625536 359 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 359 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 565.89
Current children cumulated vsize (Kb) 4692

[startup+790.057 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 389 0 0 0 46475 10840 0 0 15 0 1 0 20258899 2625536 359 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 359 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 573.18
Current children cumulated vsize (Kb) 4692

[startup+800.058 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 391 0 0 0 47122 10961 0 0 15 0 1 0 20258899 2625536 361 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 361 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 580.86
Current children cumulated vsize (Kb) 4692

[startup+810.059 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 391 0 0 0 47713 11093 0 0 15 0 1 0 20258899 2625536 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 361 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 588.09
Current children cumulated vsize (Kb) 4692

[startup+820.059 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 391 0 0 0 48352 11214 0 0 15 0 1 0 20258899 2625536 361 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 361 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 595.69
Current children cumulated vsize (Kb) 4692

[startup+830.06 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 391 0 0 0 48964 11347 0 0 15 0 1 0 20258899 2625536 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 361 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 603.14
Current children cumulated vsize (Kb) 4692

[startup+840.062 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 393 0 0 0 49576 11477 0 0 15 0 1 0 20258899 2625536 363 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 363 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 610.56
Current children cumulated vsize (Kb) 4692

[startup+850.062 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 394 0 0 0 50230 11593 0 0 15 0 1 0 20258899 2625536 364 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 364 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 618.26
Current children cumulated vsize (Kb) 4692

[startup+860.062 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 394 0 0 0 50810 11732 0 0 15 0 1 0 20258899 2625536 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 364 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 625.45
Current children cumulated vsize (Kb) 4692

[startup+870.063 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 395 0 0 0 51474 11846 0 0 15 0 1 0 20258899 2625536 365 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 365 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 633.23
Current children cumulated vsize (Kb) 4692

[startup+880.064 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 395 0 0 0 52068 11986 0 0 15 0 1 0 20258899 2625536 365 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 365 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 640.57
Current children cumulated vsize (Kb) 4692

[startup+890.064 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 396 0 0 0 52704 12109 0 0 16 0 1 0 20258899 2625536 366 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 366 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 648.16
Current children cumulated vsize (Kb) 4692

[startup+900.065 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 398 0 0 0 53347 12232 0 0 15 0 1 0 20258899 2625536 368 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 641 368 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 655.82
Current children cumulated vsize (Kb) 4692

[startup+910.066 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 400 0 0 0 53960 12363 0 0 15 0 1 0 20258899 2625536 370 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 370 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 663.26
Current children cumulated vsize (Kb) 4692

[startup+920.067 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 403 0 0 0 54605 12486 0 0 15 0 1 0 20258899 2625536 373 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 641 373 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 670.94
Current children cumulated vsize (Kb) 4692

[startup+930.067 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 403 0 0 0 55200 12618 0 0 16 0 1 0 20258899 2625536 373 4294967295 134512640 134702520 3221223952 3221223232 134550647 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 641 373 413 48 0 593 0
[pid=6258] vsize: 2564
Current children cumulated CPU time (s) 678.21
Current children cumulated vsize (Kb) 4692

[startup+940.068 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 406 0 0 0 55868 12732 0 0 15 0 1 0 20258899 2760704 376 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 674 376 413 48 0 626 0
[pid=6258] vsize: 2696
Current children cumulated CPU time (s) 686.03
Current children cumulated vsize (Kb) 4824

[startup+950.069 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 408 0 0 0 56514 12845 0 0 15 0 1 0 20258899 2760704 378 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 674 378 413 48 0 626 0
[pid=6258] vsize: 2696
Current children cumulated CPU time (s) 693.62
Current children cumulated vsize (Kb) 4824

[startup+960.069 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 408 0 0 0 57130 12973 0 0 16 0 1 0 20258899 2760704 378 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 674 378 413 48 0 626 0
[pid=6258] vsize: 2696
Current children cumulated CPU time (s) 701.06
Current children cumulated vsize (Kb) 4824

[startup+970.069 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 412 0 0 0 57796 13091 0 0 15 0 1 0 20258899 2760704 382 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 674 382 413 48 0 626 0
[pid=6258] vsize: 2696
Current children cumulated CPU time (s) 708.9
Current children cumulated vsize (Kb) 4824

[startup+980.07 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 412 0 0 0 58394 13225 0 0 16 0 1 0 20258899 2760704 382 4294967295 134512640 134702520 3221223952 3221222720 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 674 382 413 48 0 626 0
[pid=6258] vsize: 2696
Current children cumulated CPU time (s) 716.22
Current children cumulated vsize (Kb) 4824

[startup+990.071 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 575 0 0 0 59076 13331 0 0 15 0 1 0 20258899 3452928 545 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 843 545 413 48 0 795 0
[pid=6258] vsize: 3372
Current children cumulated CPU time (s) 724.1
Current children cumulated vsize (Kb) 5500

[startup+1000.07 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 700 0 0 0 59805 13425 0 0 16 0 1 0 20258899 3915776 668 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 956 668 413 48 0 908 0
[pid=6258] vsize: 3824
Current children cumulated CPU time (s) 732.33
Current children cumulated vsize (Kb) 5952

[startup+1010.07 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 761 0 0 0 60427 13549 0 0 15 0 1 0 20258899 3915776 691 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 956 691 413 48 0 908 0
[pid=6258] vsize: 3824
Current children cumulated CPU time (s) 739.79
Current children cumulated vsize (Kb) 5952

[startup+1020.07 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 761 0 0 0 61147 13645 0 0 16 0 1 0 20258899 3915776 691 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 956 691 413 48 0 908 0
[pid=6258] vsize: 3824
Current children cumulated CPU time (s) 747.95
Current children cumulated vsize (Kb) 5952

[startup+1030.07 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 821 0 0 0 61919 13725 0 0 15 0 1 0 20258899 4194304 751 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1024 751 413 48 0 976 0
[pid=6258] vsize: 4096
Current children cumulated CPU time (s) 756.47
Current children cumulated vsize (Kb) 6224

[startup+1040.07 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 62602 13832 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 764.37
Current children cumulated vsize (Kb) 6512

[startup+1050.07 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 63267 13947 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 772.17
Current children cumulated vsize (Kb) 6512

[startup+1060.07 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 64004 14042 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 780.49
Current children cumulated vsize (Kb) 6512

[startup+1070.07 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 64690 14149 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 788.42
Current children cumulated vsize (Kb) 6512

[startup+1080.08 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 65338 14268 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 796.09
Current children cumulated vsize (Kb) 6512

[startup+1090.08 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 66041 14371 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 804.15
Current children cumulated vsize (Kb) 6512

[startup+1100.08 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 66714 14486 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 812.03
Current children cumulated vsize (Kb) 6512

[startup+1110.08 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 67351 14610 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 819.64
Current children cumulated vsize (Kb) 6512

[startup+1120.08 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 68030 14723 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 827.56
Current children cumulated vsize (Kb) 6512

[startup+1130.08 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 68663 14852 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 835.18
Current children cumulated vsize (Kb) 6512

[startup+1140.08 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 69307 14977 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 842.87
Current children cumulated vsize (Kb) 6512

[startup+1150.08 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 69992 15081 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 850.76
Current children cumulated vsize (Kb) 6512

[startup+1160.08 s]
Raw data (loadavg): 1.07 1.06 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 70592 15213 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 858.08
Current children cumulated vsize (Kb) 6512

[startup+1170.08 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 71254 15328 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 865.85
Current children cumulated vsize (Kb) 6512

[startup+1180.08 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 71916 15451 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 873.7
Current children cumulated vsize (Kb) 6512

[startup+1190.09 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 72506 15586 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 880.95
Current children cumulated vsize (Kb) 6512

[startup+1200.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 73197 15692 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 888.92
Current children cumulated vsize (Kb) 6512

[startup+1210.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 73868 15808 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 896.79
Current children cumulated vsize (Kb) 6512

[startup+1220.09 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 74448 15951 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 904.02
Current children cumulated vsize (Kb) 6512

[startup+1230.09 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 75130 16060 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 911.93
Current children cumulated vsize (Kb) 6512

[startup+1240.09 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 75813 16174 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 919.9
Current children cumulated vsize (Kb) 6512

[startup+1250.09 s]
Raw data (loadavg): 1.07 1.06 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 76401 16316 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 927.2
Current children cumulated vsize (Kb) 6512

[startup+1260.09 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 77082 16422 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 935.07
Current children cumulated vsize (Kb) 6512

[startup+1270.09 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 77772 16532 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 943.07
Current children cumulated vsize (Kb) 6512

[startup+1280.09 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 78366 16667 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 950.36
Current children cumulated vsize (Kb) 6512

[startup+1290.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 79052 16779 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 958.34
Current children cumulated vsize (Kb) 6512

[startup+1300.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 79728 16891 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 966.22
Current children cumulated vsize (Kb) 6512

[startup+1310.1 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 872 0 0 0 80318 17029 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 973.5
Current children cumulated vsize (Kb) 6512

[startup+1320.1 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 81007 17134 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 981.44
Current children cumulated vsize (Kb) 6512

[startup+1330.1 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 81694 17242 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 989.39
Current children cumulated vsize (Kb) 6512

[startup+1340.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 82308 17373 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 996.84
Current children cumulated vsize (Kb) 6512

[startup+1350.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6258
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 872 0 0 0 82971 17491 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223232 134550320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1004.65
Current children cumulated vsize (Kb) 6512

[startup+1360.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/60 6308
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 83640 17600 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1012.43
Current children cumulated vsize (Kb) 6512

[startup+1370.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6313
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 84281 17720 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1020.04
Current children cumulated vsize (Kb) 6512

[startup+1380.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6313
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 84929 17837 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1027.69
Current children cumulated vsize (Kb) 6512

[startup+1390.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6313
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 85626 17941 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1035.7
Current children cumulated vsize (Kb) 6512

[startup+1400.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6313
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 86296 18050 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1043.49
Current children cumulated vsize (Kb) 6512

[startup+1410.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6313
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 872 0 0 0 86909 18177 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1050.89
Current children cumulated vsize (Kb) 6512

[startup+1420.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6315
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 87576 18293 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1058.72
Current children cumulated vsize (Kb) 6512

[startup+1430.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6317
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 88273 18401 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1066.77
Current children cumulated vsize (Kb) 6512

[startup+1440.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 88860 18540 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1074.03
Current children cumulated vsize (Kb) 6512

[startup+1450.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) R 6255 6255 4060 0 -1 0 872 0 0 0 89556 18646 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223344 134603736 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1082.05
Current children cumulated vsize (Kb) 6512

[startup+1460.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 90237 18757 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1089.97
Current children cumulated vsize (Kb) 6512

[startup+1470.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 90849 18892 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1097.44
Current children cumulated vsize (Kb) 6512

[startup+1480.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 91530 18998 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1105.31
Current children cumulated vsize (Kb) 6512

[startup+1490.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 92210 19108 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1113.21
Current children cumulated vsize (Kb) 6512

[startup+1500.11 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 92899 19212 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1121.14
Current children cumulated vsize (Kb) 6512

[startup+1510.11 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 93517 19341 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1128.61
Current children cumulated vsize (Kb) 6512

[startup+1520.11 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 94200 19448 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1136.51
Current children cumulated vsize (Kb) 6512

[startup+1530.12 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 94889 19555 0 0 16 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1144.47
Current children cumulated vsize (Kb) 6512

[startup+1540.12 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 95482 19695 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1151.8
Current children cumulated vsize (Kb) 6512

[startup+1550.12 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 96172 19802 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1159.77
Current children cumulated vsize (Kb) 6512

[startup+1560.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 96859 19906 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1167.68
Current children cumulated vsize (Kb) 6512

[startup+1570.12 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 97522 20022 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1175.47
Current children cumulated vsize (Kb) 6512

[startup+1580.12 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 98137 20153 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1182.93
Current children cumulated vsize (Kb) 6512

[startup+1590.12 s]
Raw data (loadavg): 1.16 1.05 1.01 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 98837 20255 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1190.95
Current children cumulated vsize (Kb) 6512

[startup+1600.12 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 99526 20362 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1198.91
Current children cumulated vsize (Kb) 6512

[startup+1610.12 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 100129 20493 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1206.25
Current children cumulated vsize (Kb) 6512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1610.12 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 6319
Raw data (/proc/6255/stat): 6255 (vallstSAT2005PB) S 6254 6255 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20258892 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6255/statm): 532 242 485 147 0 385 0
[pid=6255] vsize: 2128
Raw data (/proc/6258/stat): 6258 (vallst) T 6255 6255 4060 0 -1 0 872 0 0 0 100129 20493 0 0 15 0 1 0 20258899 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6258/statm): 1096 802 413 48 0 1048 0
[pid=6258] vsize: 4384
Current children cumulated CPU time (s) 1206.25
Current children cumulated vsize (Kb) 6512

Sending SIGTERM to -6255
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6321
New process pid=6322
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=6258) exited with status: 3
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6216/stat
open syscall for file /proc/6216/status
open syscall for file /proc/6216/cmdline
open syscall for file /proc/6216/environ
open syscall for file /proc/6254/stat
open syscall for file /proc/6254/status
open syscall for file /proc/6254/cmdline
open syscall for file /proc/6254/environ
open syscall for file /proc/6255/stat
open syscall for file /proc/6255/status
open syscall for file /proc/6255/cmdline
open syscall for file /proc/6255/environ
open syscall for file /proc/6321/stat
open syscall for file /proc/6321/status
open syscall for file /proc/6321/cmdline
open syscall for file /proc/6321/environ
open syscall for file /proc/6322/stat
open syscall for file /proc/6322/status
open syscall for file /proc/6322/cmdline
open syscall for file /proc/6322/environ
One traced child (pid=6321) exited with status: 0
One traced child (pid=6322) exited with status: 0
New process pid=6323
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=6323) exited with status: 0
New process pid=6324
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=6324) exited with status: 0
New process pid=6325
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=6325) exited with status: 0
New process pid=6326
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=6326) exited with status: 0
One traced child (pid=6255) 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.66
CPU time (s): 1206.39
CPU user time (s): 1001.34
CPU system time (s): 205.051
CPU usage (%): 74.9003
Max. virtual memory (cumulated for all children) (Kb): 6512

Verifier Data

ERROR: no interpretation found !