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

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM54f6acf3ab92bda8abb11350f74de20e
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -38
Optimality of the best value was proved NO
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.05
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 3598

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-19 02:08:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7396 boxname=wulflinc21 idbench=364 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  54f6acf3ab92bda8abb11350f74de20e  /oldhome/oroussel/tmp/wulflinc21/normalized-frb50-23-5.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc21/normalized-frb50-23-5.opb 0
IDLAUNCH: 7396
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        902616 kB
Buffers:         28988 kB
Cached:          75464 kB
SwapCached:        812 kB
Active:          47936 kB
Inactive:        59080 kB
HighTotal:      131008 kB
HighFree:        52528 kB
LowTotal:       903652 kB
LowFree:        850088 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            19220 kB
Committed_AS:    64332 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 02:31:29 (client local time) WITH STATUS 3 IN 1202.35 SECONDS
stats: 7396 7 1202.35 3

Solver Data

1:
 Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options
cp: cannot stat `/tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options': No such file or directory

Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 1148;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 80036, #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:  2 (1147:>=*);
#decisions: 1160;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 80036, #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:  3 (1146:>=*);
#decisions: 2280;  #end-nodes: 111;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 21 / 80 (80)
#axs: 80036, #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:  4 (1145:>=*);
#decisions: 24411;  #end-nodes: 1931;
#proof improvement attempts: 0;  #restarts: 21
Current batch, end-nodes: 17 / 85 (85)
#axs: 80036, #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:  5 (1144:>=*);
#decisions: 2477701;  #end-nodes: 595404;
#proof improvement attempts: 0;  #restarts: 1861
Current batch, end-nodes: 404 / 545 (545)
#axs: 80036, #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:  6 (1143:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 6 (1143:>=*)

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: 0  (#equs: 0)
Time taken: 20 min, 1 sec

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/1543/stat): 1543 (vallstSAT2005PB) R 1542 1543 20602 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1723447856 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1543/statm): 174 3 169 147 0 27 0
[pid=1543] 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=1544
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=1544) exited with status: 0
New process pid=1545
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=1545) exited with status: 0
New process pid=1546
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/wulflinc21/normalized-frb50-23-5.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0028 s]
Raw data (loadavg): 0.94 1.03 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1204 0 0 0 776 77 0 0 20 0 1 0 1723447863 7561216 1174 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 1846 1174 413 48 0 1798 0
[pid=1546] vsize: 7384
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (Kb) 9512

[startup+20.0065 s]
Raw data (loadavg): 0.95 1.03 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1204 0 0 0 1545 159 0 0 21 0 1 0 1723447863 7561216 1174 4294967295 134512640 134702520 3221223968 3221223104 134553045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 1846 1174 413 48 0 1798 0
[pid=1546] vsize: 7384
Current children cumulated CPU time (s) 17.06
Current children cumulated vsize (Kb) 9512

[startup+30.0072 s]
Raw data (loadavg): 0.96 1.03 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1646 0 0 0 2239 256 0 0 18 0 1 0 1723447863 17731584 1616 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1616 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (Kb) 19444

[startup+40.0079 s]
Raw data (loadavg): 0.96 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1715 0 0 0 2950 350 0 0 18 0 1 0 1723447863 17731584 1685 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1685 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 33.02
Current children cumulated vsize (Kb) 19444

[startup+50.0086 s]
Raw data (loadavg): 0.97 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1760 0 0 0 3687 438 0 0 21 0 1 0 1723447863 17731584 1730 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1730 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 41.27
Current children cumulated vsize (Kb) 19444

[startup+60.0093 s]
Raw data (loadavg): 0.97 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1760 0 0 0 4451 516 0 0 19 0 1 0 1723447863 17731584 1730 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1730 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (Kb) 19444

[startup+70.0109 s]
Raw data (loadavg): 0.98 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1762 0 0 0 5199 602 0 0 17 0 1 0 1723447863 17731584 1732 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4329 1732 413 48 0 4281 0
[pid=1546] vsize: 17316
Current children cumulated CPU time (s) 58.03
Current children cumulated vsize (Kb) 19444

[startup+80.0116 s]
Raw data (loadavg): 0.98 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1822 0 0 0 5938 684 0 0 20 0 1 0 1723447863 17862656 1792 4294967295 134512640 134702520 3221223968 3221222864 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4361 1792 413 48 0 4313 0
[pid=1546] vsize: 17444
Current children cumulated CPU time (s) 66.24
Current children cumulated vsize (Kb) 19572

[startup+90.0123 s]
Raw data (loadavg): 0.98 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1884 0 0 0 6670 776 0 0 20 0 1 0 1723447863 17993728 1854 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4393 1854 413 48 0 4345 0
[pid=1546] vsize: 17572
Current children cumulated CPU time (s) 74.48
Current children cumulated vsize (Kb) 19700

[startup+100.013 s]
Raw data (loadavg): 0.98 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1911 0 0 0 7432 857 0 0 16 0 1 0 1723447863 17993728 1881 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4393 1881 413 48 0 4345 0
[pid=1546] vsize: 17572
Current children cumulated CPU time (s) 82.91
Current children cumulated vsize (Kb) 19700

[startup+110.014 s]
Raw data (loadavg): 0.99 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 1911 0 0 0 8194 940 0 0 16 0 1 0 1723447863 17993728 1881 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4393 1881 413 48 0 4345 0
[pid=1546] vsize: 17572
Current children cumulated CPU time (s) 91.36
Current children cumulated vsize (Kb) 19700

[startup+120.015 s]
Raw data (loadavg): 1.07 1.04 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1948 0 0 0 8955 1014 0 0 16 0 1 0 1723447863 17993728 1918 4294967295 134512640 134702520 3221223968 3221223368 134607252 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4393 1918 413 48 0 4345 0
[pid=1546] vsize: 17572
Current children cumulated CPU time (s) 99.71
Current children cumulated vsize (Kb) 19700

[startup+130.016 s]
Raw data (loadavg): 1.13 1.05 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 1993 0 0 0 9701 1099 0 0 16 0 1 0 1723447863 18128896 1963 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4426 1963 413 48 0 4378 0
[pid=1546] vsize: 17704
Current children cumulated CPU time (s) 108.02
Current children cumulated vsize (Kb) 19832

[startup+140.017 s]
Raw data (loadavg): 1.11 1.05 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2039 0 0 0 10454 1184 0 0 16 0 1 0 1723447863 18128896 2009 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4426 2009 413 48 0 4378 0
[pid=1546] vsize: 17704
Current children cumulated CPU time (s) 116.4
Current children cumulated vsize (Kb) 19832

[startup+150.017 s]
Raw data (loadavg): 1.09 1.05 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2059 0 0 0 11226 1264 0 0 16 0 1 0 1723447863 18128896 2029 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4426 2029 413 48 0 4378 0
[pid=1546] vsize: 17704
Current children cumulated CPU time (s) 124.92
Current children cumulated vsize (Kb) 19832

[startup+160.018 s]
Raw data (loadavg): 1.08 1.04 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2059 0 0 0 11988 1345 0 0 16 0 1 0 1723447863 18128896 2029 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4426 2029 413 48 0 4378 0
[pid=1546] vsize: 17704
Current children cumulated CPU time (s) 133.35
Current children cumulated vsize (Kb) 19832

[startup+170.019 s]
Raw data (loadavg): 1.07 1.04 1.01 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2111 0 0 0 12757 1421 0 0 16 0 1 0 1723447863 18259968 2081 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4458 2081 413 48 0 4410 0
[pid=1546] vsize: 17832
Current children cumulated CPU time (s) 141.8
Current children cumulated vsize (Kb) 19960

[startup+180.019 s]
Raw data (loadavg): 1.06 1.04 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2175 0 0 0 13532 1494 0 0 16 0 1 0 1723447863 18395136 2145 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4491 2145 413 48 0 4443 0
[pid=1546] vsize: 17964
Current children cumulated CPU time (s) 150.28
Current children cumulated vsize (Kb) 20092

[startup+190.02 s]
Raw data (loadavg): 1.05 1.04 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2220 0 0 0 14305 1569 0 0 16 0 1 0 1723447863 18395136 2190 4294967295 134512640 134702520 3221223968 3221223088 134588577 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4491 2190 413 48 0 4443 0
[pid=1546] vsize: 17964
Current children cumulated CPU time (s) 158.76
Current children cumulated vsize (Kb) 20092

[startup+200.021 s]
Raw data (loadavg): 1.04 1.04 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2244 0 0 0 15066 1650 0 0 16 0 1 0 1723447863 18395136 2214 4294967295 134512640 134702520 3221223968 3221222864 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4491 2214 413 48 0 4443 0
[pid=1546] vsize: 17964
Current children cumulated CPU time (s) 167.18
Current children cumulated vsize (Kb) 20092

[startup+210.022 s]
Raw data (loadavg): 1.03 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2244 0 0 0 15827 1735 0 0 16 0 1 0 1723447863 18395136 2214 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4491 2214 413 48 0 4443 0
[pid=1546] vsize: 17964
Current children cumulated CPU time (s) 175.64
Current children cumulated vsize (Kb) 20092

[startup+220.023 s]
Raw data (loadavg): 1.03 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2281 0 0 0 16612 1806 0 0 16 0 1 0 1723447863 18530304 2251 4294967295 134512640 134702520 3221223968 3221222864 134553011 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4524 2251 413 48 0 4476 0
[pid=1546] vsize: 18096
Current children cumulated CPU time (s) 184.2
Current children cumulated vsize (Kb) 20224

[startup+230.024 s]
Raw data (loadavg): 1.02 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2326 0 0 0 17392 1877 0 0 16 0 1 0 1723447863 18518016 2296 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4521 2296 413 48 0 4473 0
[pid=1546] vsize: 18084
Current children cumulated CPU time (s) 192.71
Current children cumulated vsize (Kb) 20212

[startup+240.024 s]
Raw data (loadavg): 1.02 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2369 0 0 0 18169 1955 0 0 16 0 1 0 1723447863 18653184 2339 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4554 2339 413 48 0 4506 0
[pid=1546] vsize: 18216
Current children cumulated CPU time (s) 201.26
Current children cumulated vsize (Kb) 20344

[startup+250.025 s]
Raw data (loadavg): 1.02 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2388 0 0 0 18944 2032 0 0 16 0 1 0 1723447863 18653184 2358 4294967295 134512640 134702520 3221223968 3221222864 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4554 2358 413 48 0 4506 0
[pid=1546] vsize: 18216
Current children cumulated CPU time (s) 209.78
Current children cumulated vsize (Kb) 20344

[startup+260.026 s]
Raw data (loadavg): 1.01 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2388 0 0 0 19709 2116 0 0 16 0 1 0 1723447863 18653184 2358 4294967295 134512640 134702520 3221223968 3221222864 134553045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4554 2358 413 48 0 4506 0
[pid=1546] vsize: 18216
Current children cumulated CPU time (s) 218.27
Current children cumulated vsize (Kb) 20344

[startup+270.027 s]
Raw data (loadavg): 1.01 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2423 0 0 0 20488 2193 0 0 16 0 1 0 1723447863 18653184 2393 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4554 2393 413 48 0 4506 0
[pid=1546] vsize: 18216
Current children cumulated CPU time (s) 226.83
Current children cumulated vsize (Kb) 20344

[startup+280.027 s]
Raw data (loadavg): 1.09 1.04 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2499 0 0 0 21308 2252 0 0 16 0 1 0 1723447863 18923520 2469 4294967295 134512640 134702520 3221223968 3221222864 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4620 2469 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 235.62
Current children cumulated vsize (Kb) 20608

[startup+290.027 s]
Raw data (loadavg): 1.07 1.04 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2530 0 0 0 22104 2323 0 0 16 0 1 0 1723447863 18923520 2500 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4620 2500 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 244.29
Current children cumulated vsize (Kb) 20608

[startup+300.028 s]
Raw data (loadavg): 1.06 1.04 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2583 0 0 0 22908 2389 0 0 16 0 1 0 1723447863 18923520 2553 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4620 2553 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 252.99
Current children cumulated vsize (Kb) 20608

[startup+310.028 s]
Raw data (loadavg): 1.05 1.04 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2583 0 0 0 23669 2470 0 0 16 0 1 0 1723447863 18923520 2553 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4620 2553 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 261.41
Current children cumulated vsize (Kb) 20608

[startup+320.03 s]
Raw data (loadavg): 1.04 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2583 0 0 0 24437 2549 0 0 16 0 1 0 1723447863 18923520 2553 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4620 2553 413 48 0 4572 0
[pid=1546] vsize: 18480
Current children cumulated CPU time (s) 269.88
Current children cumulated vsize (Kb) 20608

[startup+330.031 s]
Raw data (loadavg): 1.04 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2632 0 0 0 25256 2611 0 0 16 0 1 0 1723447863 19058688 2602 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4653 2602 413 48 0 4605 0
[pid=1546] vsize: 18612
Current children cumulated CPU time (s) 278.69
Current children cumulated vsize (Kb) 20740

[startup+340.03 s]
Raw data (loadavg): 1.03 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2649 0 0 0 26057 2680 0 0 16 0 1 0 1723447863 19058688 2619 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4653 2619 413 48 0 4605 0
[pid=1546] vsize: 18612
Current children cumulated CPU time (s) 287.39
Current children cumulated vsize (Kb) 20740

[startup+350.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2750 0 0 0 26884 2739 0 0 16 0 1 0 1723447863 19329024 2720 4294967295 134512640 134702520 3221223968 3221223360 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4719 2720 413 48 0 4671 0
[pid=1546] vsize: 18876
Current children cumulated CPU time (s) 296.25
Current children cumulated vsize (Kb) 21004

[startup+360.032 s]
Raw data (loadavg): 1.02 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2778 0 0 0 27707 2799 0 0 16 0 1 0 1723447863 19329024 2748 4294967295 134512640 134702520 3221223968 3221223132 1074652272 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4719 2748 413 48 0 4671 0
[pid=1546] vsize: 18876
Current children cumulated CPU time (s) 305.08
Current children cumulated vsize (Kb) 21004

[startup+370.033 s]
Raw data (loadavg): 1.02 1.03 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2778 0 0 0 28468 2879 0 0 16 0 1 0 1723447863 19329024 2748 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4719 2748 413 48 0 4671 0
[pid=1546] vsize: 18876
Current children cumulated CPU time (s) 313.49
Current children cumulated vsize (Kb) 21004

[startup+380.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2778 0 0 0 29253 2956 0 0 17 0 1 0 1723447863 19329024 2748 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4719 2748 413 48 0 4671 0
[pid=1546] vsize: 18876
Current children cumulated CPU time (s) 322.11
Current children cumulated vsize (Kb) 21004

[startup+390.035 s]
Raw data (loadavg): 1.01 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2845 0 0 0 30065 3022 0 0 16 0 1 0 1723447863 19464192 2815 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4752 2815 413 48 0 4704 0
[pid=1546] vsize: 19008
Current children cumulated CPU time (s) 330.89
Current children cumulated vsize (Kb) 21136

[startup+400.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 2859 0 0 0 30870 3089 0 0 16 0 1 0 1723447863 19464192 2829 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4752 2829 413 48 0 4704 0
[pid=1546] vsize: 19008
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (Kb) 21136

[startup+410.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 2898 0 0 0 31700 3145 0 0 16 0 1 0 1723447863 19599360 2868 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4785 2868 413 48 0 4737 0
[pid=1546] vsize: 19140
Current children cumulated CPU time (s) 348.47
Current children cumulated vsize (Kb) 21268

[startup+420.038 s]
Raw data (loadavg): 1.01 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 3583 0 0 0 32554 3196 0 0 16 0 1 0 1723447863 19734528 3553 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4818 3553 413 48 0 4770 0
[pid=1546] vsize: 19272
Current children cumulated CPU time (s) 357.52
Current children cumulated vsize (Kb) 21400

[startup+430.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4198 0 0 0 33323 3273 0 0 16 0 1 0 1723447863 19734528 4168 4294967295 134512640 134702520 3221223968 3221222848 134553196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4818 4168 413 48 0 4770 0
[pid=1546] vsize: 19272
Current children cumulated CPU time (s) 365.98
Current children cumulated vsize (Kb) 21400

[startup+440.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4198 0 0 0 34087 3356 0 0 16 0 1 0 1723447863 19734528 4168 4294967295 134512640 134702520 3221223968 3221223368 134606961 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4818 4168 413 48 0 4770 0
[pid=1546] vsize: 19272
Current children cumulated CPU time (s) 374.45
Current children cumulated vsize (Kb) 21400

[startup+450.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4224 0 0 0 34906 3418 0 0 16 0 1 0 1723447863 19734528 4194 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4818 4194 413 48 0 4770 0
[pid=1546] vsize: 19272
Current children cumulated CPU time (s) 383.26
Current children cumulated vsize (Kb) 21400

[startup+460.04 s]
Raw data (loadavg): 1.00 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4233 0 0 0 35723 3478 0 0 16 0 1 0 1723447863 19869696 4203 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4851 4203 413 48 0 4803 0
[pid=1546] vsize: 19404
Current children cumulated CPU time (s) 392.03
Current children cumulated vsize (Kb) 21532

[startup+470.04 s]
Raw data (loadavg): 1.00 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4237 0 0 0 36541 3544 0 0 16 0 1 0 1723447863 19869696 4207 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4851 4207 413 48 0 4803 0
[pid=1546] vsize: 19404
Current children cumulated CPU time (s) 400.87
Current children cumulated vsize (Kb) 21532

[startup+480.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4249 0 0 0 37376 3595 0 0 17 0 1 0 1723447863 19869696 4219 4294967295 134512640 134702520 3221223968 3221223248 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4851 4219 413 48 0 4803 0
[pid=1546] vsize: 19404
Current children cumulated CPU time (s) 409.73
Current children cumulated vsize (Kb) 21532

[startup+490.042 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4272 0 0 0 38184 3659 0 0 16 0 1 0 1723447863 20004864 4242 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4884 4242 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 418.45
Current children cumulated vsize (Kb) 21664

[startup+500.042 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4272 0 0 0 38949 3740 0 0 15 0 1 0 1723447863 20004864 4242 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4884 4242 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 426.91
Current children cumulated vsize (Kb) 21664

[startup+510.043 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4276 0 0 0 39762 3803 0 0 16 0 1 0 1723447863 20004864 4246 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4884 4246 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 435.67
Current children cumulated vsize (Kb) 21664

[startup+520.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4290 0 0 0 40581 3866 0 0 16 0 1 0 1723447863 20004864 4260 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4884 4260 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (Kb) 21664

[startup+530.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4294 0 0 0 41401 3926 0 0 16 0 1 0 1723447863 20004864 4264 4294967295 134512640 134702520 3221223968 3221223368 134607261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4884 4264 413 48 0 4836 0
[pid=1546] vsize: 19536
Current children cumulated CPU time (s) 453.29
Current children cumulated vsize (Kb) 21664

[startup+540.044 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4304 0 0 0 42239 3979 0 0 17 0 1 0 1723447863 20140032 4274 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4917 4274 413 48 0 4869 0
[pid=1546] vsize: 19668
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (Kb) 21796

[startup+550.045 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4310 0 0 0 43049 4043 0 0 16 0 1 0 1723447863 20140032 4280 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4917 4280 413 48 0 4869 0
[pid=1546] vsize: 19668
Current children cumulated CPU time (s) 470.94
Current children cumulated vsize (Kb) 21796

[startup+560.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4310 0 0 0 43815 4120 0 0 16 0 1 0 1723447863 20140032 4280 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4917 4280 413 48 0 4869 0
[pid=1546] vsize: 19668
Current children cumulated CPU time (s) 479.37
Current children cumulated vsize (Kb) 21796

[startup+570.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4320 0 0 0 44616 4192 0 0 17 0 1 0 1723447863 20140032 4290 4294967295 134512640 134702520 3221223968 3221223248 134557267 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4917 4290 413 48 0 4869 0
[pid=1546] vsize: 19668
Current children cumulated CPU time (s) 488.1
Current children cumulated vsize (Kb) 21796

[startup+580.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4329 0 0 0 45454 4249 0 0 17 0 1 0 1723447863 20275200 4299 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4950 4299 413 48 0 4902 0
[pid=1546] vsize: 19800
Current children cumulated CPU time (s) 497.05
Current children cumulated vsize (Kb) 21928

[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4335 0 0 0 46299 4301 0 0 17 0 1 0 1723447863 20275200 4305 4294967295 134512640 134702520 3221223968 3221223088 134579045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4950 4305 413 48 0 4902 0
[pid=1546] vsize: 19800
Current children cumulated CPU time (s) 506.02
Current children cumulated vsize (Kb) 21928

[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4343 0 0 0 47130 4357 0 0 16 0 1 0 1723447863 20275200 4313 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4950 4313 413 48 0 4902 0
[pid=1546] vsize: 19800
Current children cumulated CPU time (s) 514.89
Current children cumulated vsize (Kb) 21928

[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4350 0 0 0 47952 4418 0 0 17 0 1 0 1723447863 20275200 4320 4294967295 134512640 134702520 3221223968 3221223248 134553142 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4950 4320 413 48 0 4902 0
[pid=1546] vsize: 19800
Current children cumulated CPU time (s) 523.72
Current children cumulated vsize (Kb) 21928

[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4385 0 0 0 48793 4472 0 0 16 0 1 0 1723447863 20410368 4355 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4983 4355 413 48 0 4935 0
[pid=1546] vsize: 19932
Current children cumulated CPU time (s) 532.67
Current children cumulated vsize (Kb) 22060

[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4385 0 0 0 49560 4550 0 0 16 0 1 0 1723447863 20410368 4355 4294967295 134512640 134702520 3221223968 3221223168 134617912 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 4983 4355 413 48 0 4935 0
[pid=1546] vsize: 19932
Current children cumulated CPU time (s) 541.12
Current children cumulated vsize (Kb) 22060

[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4390 0 0 0 50367 4617 0 0 17 0 1 0 1723447863 20410368 4360 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 4983 4360 413 48 0 4935 0
[pid=1546] vsize: 19932
Current children cumulated CPU time (s) 549.86
Current children cumulated vsize (Kb) 22060

[startup+650.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4402 0 0 0 51223 4665 0 0 17 0 1 0 1723447863 20549632 4372 4294967295 134512640 134702520 3221223968 3221223248 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5017 4372 413 48 0 4969 0
[pid=1546] vsize: 20068
Current children cumulated CPU time (s) 558.9
Current children cumulated vsize (Kb) 22196

[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4413 0 0 0 52077 4715 0 0 17 0 1 0 1723447863 20549632 4383 4294967295 134512640 134702520 3221223968 3221223248 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5017 4383 413 48 0 4969 0
[pid=1546] vsize: 20068
Current children cumulated CPU time (s) 567.94
Current children cumulated vsize (Kb) 22196

[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4431 0 0 0 52931 4765 0 0 17 0 1 0 1723447863 20684800 4401 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5050 4401 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 576.98
Current children cumulated vsize (Kb) 22328

[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4441 0 0 0 53758 4823 0 0 16 0 1 0 1723447863 20684800 4411 4294967295 134512640 134702520 3221223968 3221222864 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5050 4411 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 585.83
Current children cumulated vsize (Kb) 22328

[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4448 0 0 0 54581 4885 0 0 16 0 1 0 1723447863 20684800 4418 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5050 4418 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 594.68
Current children cumulated vsize (Kb) 22328

[startup+700.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4448 0 0 0 55346 4971 0 0 16 0 1 0 1723447863 20684800 4418 4294967295 134512640 134702520 3221223968 3221223100 1074652320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5050 4418 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 603.19
Current children cumulated vsize (Kb) 22328

[startup+710.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4451 0 0 0 56153 5038 0 0 17 0 1 0 1723447863 20684800 4421 4294967295 134512640 134702520 3221223968 3221223248 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5050 4421 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 611.93
Current children cumulated vsize (Kb) 22328

[startup+720.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4461 0 0 0 57007 5089 0 0 17 0 1 0 1723447863 20684800 4431 4294967295 134512640 134702520 3221223968 3221223248 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5050 4431 413 48 0 5002 0
[pid=1546] vsize: 20200
Current children cumulated CPU time (s) 620.98
Current children cumulated vsize (Kb) 22328

[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4478 0 0 0 57877 5134 0 0 17 0 1 0 1723447863 20824064 4448 4294967295 134512640 134702520 3221223968 3221223248 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5084 4448 413 48 0 5036 0
[pid=1546] vsize: 20336
Current children cumulated CPU time (s) 630.13
Current children cumulated vsize (Kb) 22464

[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4494 0 0 0 58722 5188 0 0 16 0 1 0 1723447863 20824064 4464 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5084 4464 413 48 0 5036 0
[pid=1546] vsize: 20336
Current children cumulated CPU time (s) 639.12
Current children cumulated vsize (Kb) 22464

[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4502 0 0 0 59571 5235 0 0 17 0 1 0 1723447863 20959232 4472 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5117 4472 413 48 0 5069 0
[pid=1546] vsize: 20468
Current children cumulated CPU time (s) 648.08
Current children cumulated vsize (Kb) 22596

[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4510 0 0 0 60421 5286 0 0 17 0 1 0 1723447863 20959232 4480 4294967295 134512640 134702520 3221223968 3221223248 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5117 4480 413 48 0 5069 0
[pid=1546] vsize: 20468
Current children cumulated CPU time (s) 657.09
Current children cumulated vsize (Kb) 22596

[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4514 0 0 0 61200 5365 0 0 16 0 1 0 1723447863 20959232 4484 4294967295 134512640 134702520 3221223968 3221222864 134553029 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5117 4484 413 48 0 5069 0
[pid=1546] vsize: 20468
Current children cumulated CPU time (s) 665.67
Current children cumulated vsize (Kb) 22596

[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4514 0 0 0 61958 5451 0 0 16 0 1 0 1723447863 20959232 4484 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5117 4484 413 48 0 5069 0
[pid=1546] vsize: 20468
Current children cumulated CPU time (s) 674.11
Current children cumulated vsize (Kb) 22596

[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4532 0 0 0 62826 5496 0 0 16 0 1 0 1723447863 21098496 4502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5151 4502 413 48 0 5103 0
[pid=1546] vsize: 20604
Current children cumulated CPU time (s) 683.24
Current children cumulated vsize (Kb) 22732

[startup+800.062 s]
Raw data (loadavg): 1.08 1.02 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4540 0 0 0 63673 5548 0 0 16 0 1 0 1723447863 21098496 4510 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5151 4510 413 48 0 5103 0
[pid=1546] vsize: 20604
Current children cumulated CPU time (s) 692.23
Current children cumulated vsize (Kb) 22732

[startup+810.062 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4554 0 0 0 64540 5593 0 0 16 0 1 0 1723447863 21098496 4524 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5151 4524 413 48 0 5103 0
[pid=1546] vsize: 20604
Current children cumulated CPU time (s) 701.35
Current children cumulated vsize (Kb) 22732

[startup+820.063 s]
Raw data (loadavg): 1.06 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4562 0 0 0 65385 5643 0 0 17 0 1 0 1723447863 21098496 4532 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5151 4532 413 48 0 5103 0
[pid=1546] vsize: 20604
Current children cumulated CPU time (s) 710.3
Current children cumulated vsize (Kb) 22732

[startup+830.064 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4577 0 0 0 66245 5690 0 0 16 0 1 0 1723447863 21233664 4547 4294967295 134512640 134702520 3221223968 3221223088 134588359 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5184 4547 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 719.37
Current children cumulated vsize (Kb) 22864

[startup+840.065 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4583 0 0 0 67098 5743 0 0 16 0 1 0 1723447863 21233664 4553 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5184 4553 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 728.43
Current children cumulated vsize (Kb) 22864

[startup+850.066 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4583 0 0 0 67860 5826 0 0 16 0 1 0 1723447863 21233664 4553 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5184 4553 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 736.88
Current children cumulated vsize (Kb) 22864

[startup+860.067 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4585 0 0 0 68664 5898 0 0 17 0 1 0 1723447863 21233664 4555 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5184 4555 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 745.64
Current children cumulated vsize (Kb) 22864

[startup+870.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4593 0 0 0 69508 5946 0 0 17 0 1 0 1723447863 21233664 4563 4294967295 134512640 134702520 3221223968 3221223088 134588537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5184 4563 413 48 0 5136 0
[pid=1546] vsize: 20736
Current children cumulated CPU time (s) 754.56
Current children cumulated vsize (Kb) 22864

[startup+880.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4600 0 0 0 70384 5986 0 0 16 0 1 0 1723447863 21372928 4570 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5218 4570 413 48 0 5170 0
[pid=1546] vsize: 20872
Current children cumulated CPU time (s) 763.72
Current children cumulated vsize (Kb) 23000

[startup+890.069 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4620 0 0 0 71269 6028 0 0 16 0 1 0 1723447863 21372928 4590 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5218 4590 413 48 0 5170 0
[pid=1546] vsize: 20872
Current children cumulated CPU time (s) 772.99
Current children cumulated vsize (Kb) 23000

[startup+900.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4628 0 0 0 72125 6075 0 0 16 0 1 0 1723447863 21372928 4598 4294967295 134512640 134702520 3221223968 3221223088 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5218 4598 413 48 0 5170 0
[pid=1546] vsize: 20872
Current children cumulated CPU time (s) 782.02
Current children cumulated vsize (Kb) 23000

[startup+910.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4637 0 0 0 72996 6117 0 0 16 0 1 0 1723447863 21508096 4607 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5251 4607 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 791.15
Current children cumulated vsize (Kb) 23132

[startup+920.071 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4647 0 0 0 73875 6158 0 0 16 0 1 0 1723447863 21508096 4617 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5251 4617 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 800.35
Current children cumulated vsize (Kb) 23132

[startup+930.072 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4647 0 0 0 74643 6237 0 0 16 0 1 0 1723447863 21508096 4617 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5251 4617 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 808.82
Current children cumulated vsize (Kb) 23132

[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4647 0 0 0 75419 6317 0 0 17 0 1 0 1723447863 21508096 4617 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5251 4617 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 817.38
Current children cumulated vsize (Kb) 23132

[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4658 0 0 0 76316 6354 0 0 16 0 1 0 1723447863 21508096 4628 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5251 4628 413 48 0 5203 0
[pid=1546] vsize: 21004
Current children cumulated CPU time (s) 826.72
Current children cumulated vsize (Kb) 23132

[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4666 0 0 0 77172 6400 0 0 16 0 1 0 1723447863 21647360 4636 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5285 4636 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 835.74
Current children cumulated vsize (Kb) 23268

[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4670 0 0 0 78051 6441 0 0 17 0 1 0 1723447863 21647360 4640 4294967295 134512640 134702520 3221223968 3221223296 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5285 4640 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 844.94
Current children cumulated vsize (Kb) 23268

[startup+980.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4678 0 0 0 78906 6491 0 0 17 0 1 0 1723447863 21647360 4648 4294967295 134512640 134702520 3221223968 3221223088 134573708 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5285 4648 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 853.99
Current children cumulated vsize (Kb) 23268

[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4686 0 0 0 79778 6533 0 0 17 0 1 0 1723447863 21647360 4656 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5285 4656 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 863.13
Current children cumulated vsize (Kb) 23268

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4692 0 0 0 80649 6578 0 0 17 0 1 0 1723447863 21647360 4662 4294967295 134512640 134702520 3221223968 3221223088 134573718 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5285 4662 413 48 0 5237 0
[pid=1546] vsize: 21140
Current children cumulated CPU time (s) 872.29
Current children cumulated vsize (Kb) 23268

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4711 0 0 0 81488 6636 0 0 16 0 1 0 1723447863 21782528 4681 4294967295 134512640 134702520 3221223968 3221222864 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5318 4681 413 48 0 5270 0
[pid=1546] vsize: 21272
Current children cumulated CPU time (s) 881.26
Current children cumulated vsize (Kb) 23400

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4711 0 0 0 82253 6722 0 0 16 0 1 0 1723447863 21782528 4681 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5318 4681 413 48 0 5270 0
[pid=1546] vsize: 21272
Current children cumulated CPU time (s) 889.77
Current children cumulated vsize (Kb) 23400

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4717 0 0 0 83097 6774 0 0 17 0 1 0 1723447863 21782528 4687 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5318 4687 413 48 0 5270 0
[pid=1546] vsize: 21272
Current children cumulated CPU time (s) 898.73
Current children cumulated vsize (Kb) 23400

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4725 0 0 0 83959 6820 0 0 17 0 1 0 1723447863 21782528 4695 4294967295 134512640 134702520 3221223968 3221223360 134605861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5318 4695 413 48 0 5270 0
[pid=1546] vsize: 21272
Current children cumulated CPU time (s) 907.81
Current children cumulated vsize (Kb) 23400

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4733 0 0 0 84824 6869 0 0 16 0 1 0 1723447863 21913600 4703 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5350 4703 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 916.95
Current children cumulated vsize (Kb) 23528

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4743 0 0 0 85686 6916 0 0 17 0 1 0 1723447863 21913600 4713 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5350 4713 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 926.04
Current children cumulated vsize (Kb) 23528

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4747 0 0 0 86558 6959 0 0 17 0 1 0 1723447863 21913600 4717 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5350 4717 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 935.19
Current children cumulated vsize (Kb) 23528

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4753 0 0 0 87438 6998 0 0 16 0 1 0 1723447863 21913600 4723 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5350 4723 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 944.38
Current children cumulated vsize (Kb) 23528

[startup+1090.08 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4761 0 0 0 88321 7037 0 0 16 0 1 0 1723447863 21913600 4731 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5350 4731 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 953.6
Current children cumulated vsize (Kb) 23528

[startup+1100.08 s]
Raw data (loadavg): 1.06 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4761 0 0 0 89083 7119 0 0 16 0 1 0 1723447863 21913600 4731 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5350 4731 413 48 0 5302 0
[pid=1546] vsize: 21400
Current children cumulated CPU time (s) 962.04
Current children cumulated vsize (Kb) 23528

[startup+1110.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4763 0 0 0 89868 7192 0 0 17 0 1 0 1723447863 22052864 4733 4294967295 134512640 134702520 3221223968 3221223248 134557252 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5384 4733 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 970.62
Current children cumulated vsize (Kb) 23664

[startup+1120.08 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4769 0 0 0 90755 7231 0 0 16 0 1 0 1723447863 22052864 4739 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5384 4739 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 979.88
Current children cumulated vsize (Kb) 23664

[startup+1130.09 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4777 0 0 0 91642 7269 0 0 17 0 1 0 1723447863 22052864 4747 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5384 4747 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 989.13
Current children cumulated vsize (Kb) 23664

[startup+1140.09 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4781 0 0 0 92511 7311 0 0 17 0 1 0 1723447863 22052864 4751 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5384 4751 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 998.24
Current children cumulated vsize (Kb) 23664

[startup+1150.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4785 0 0 0 93388 7352 0 0 16 0 1 0 1723447863 22052864 4755 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5384 4755 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 1007.42
Current children cumulated vsize (Kb) 23664

[startup+1160.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4793 0 0 0 94253 7398 0 0 17 0 1 0 1723447863 22052864 4763 4294967295 134512640 134702520 3221223968 3221223088 134588505 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5384 4763 413 48 0 5336 0
[pid=1546] vsize: 21536
Current children cumulated CPU time (s) 1016.53
Current children cumulated vsize (Kb) 23664

[startup+1170.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4797 0 0 0 95119 7444 0 0 17 0 1 0 1723447863 22192128 4767 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5418 4767 413 48 0 5370 0
[pid=1546] vsize: 21672
Current children cumulated CPU time (s) 1025.65
Current children cumulated vsize (Kb) 23800

[startup+1180.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4815 0 0 0 95997 7487 0 0 16 0 1 0 1723447863 22192128 4785 4294967295 134512640 134702520 3221223968 3221222864 134552530 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5418 4785 413 48 0 5370 0
[pid=1546] vsize: 21672
Current children cumulated CPU time (s) 1034.86
Current children cumulated vsize (Kb) 23800

[startup+1190.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4815 0 0 0 96764 7571 0 0 16 0 1 0 1723447863 22192128 4785 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5418 4785 413 48 0 5370 0
[pid=1546] vsize: 21672
Current children cumulated CPU time (s) 1043.37
Current children cumulated vsize (Kb) 23800

[startup+1200.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4819 0 0 0 97567 7641 0 0 16 0 1 0 1723447863 22192128 4789 4294967295 134512640 134702520 3221223968 3221223088 134588369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5418 4789 413 48 0 5370 0
[pid=1546] vsize: 21672
Current children cumulated CPU time (s) 1052.1
Current children cumulated vsize (Kb) 23800

[startup+1210.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4835 0 0 0 98434 7685 0 0 16 0 1 0 1723447863 22331392 4805 4294967295 134512640 134702520 3221223968 3221223248 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5452 4805 413 48 0 5404 0
[pid=1546] vsize: 21808
Current children cumulated CPU time (s) 1061.21
Current children cumulated vsize (Kb) 23936

[startup+1220.09 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4845 0 0 0 99311 7725 0 0 16 0 1 0 1723447863 22331392 4815 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5452 4815 413 48 0 5404 0
[pid=1546] vsize: 21808
Current children cumulated CPU time (s) 1070.38
Current children cumulated vsize (Kb) 23936

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4853 0 0 0 100204 7760 0 0 17 0 1 0 1723447863 22331392 4823 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5452 4823 413 48 0 5404 0
[pid=1546] vsize: 21808
Current children cumulated CPU time (s) 1079.66
Current children cumulated vsize (Kb) 23936

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4879 0 0 0 101079 7801 0 0 17 0 1 0 1723447863 22470656 4849 4294967295 134512640 134702520 3221223968 3221223248 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5486 4849 413 48 0 5438 0
[pid=1546] vsize: 21944
Current children cumulated CPU time (s) 1088.82
Current children cumulated vsize (Kb) 24072

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4887 0 0 0 101943 7848 0 0 16 0 1 0 1723447863 22470656 4857 4294967295 134512640 134702520 3221223968 3221223368 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5486 4857 413 48 0 5438 0
[pid=1546] vsize: 21944
Current children cumulated CPU time (s) 1097.93
Current children cumulated vsize (Kb) 24072

[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4900 0 0 0 102808 7892 0 0 17 0 1 0 1723447863 22605824 4870 4294967295 134512640 134702520 3221223968 3221223248 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5519 4870 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1107.02
Current children cumulated vsize (Kb) 24204

[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4912 0 0 0 103697 7930 0 0 16 0 1 0 1723447863 22605824 4882 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5519 4882 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1116.29
Current children cumulated vsize (Kb) 24204

[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4912 0 0 0 104462 8009 0 0 16 0 1 0 1723447863 22605824 4882 4294967295 134512640 134702520 3221223968 3221222864 134551086 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5519 4882 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1124.73
Current children cumulated vsize (Kb) 24204

[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4914 0 0 0 105262 8081 0 0 17 0 1 0 1723447863 22605824 4884 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5519 4884 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1133.45
Current children cumulated vsize (Kb) 24204

[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4920 0 0 0 106135 8123 0 0 16 0 1 0 1723447863 22605824 4890 4294967295 134512640 134702520 3221223968 3221223248 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5519 4890 413 48 0 5471 0
[pid=1546] vsize: 22076
Current children cumulated CPU time (s) 1142.6
Current children cumulated vsize (Kb) 24204

[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4938 0 0 0 107027 8157 0 0 16 0 1 0 1723447863 22745088 4908 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4908 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1151.86
Current children cumulated vsize (Kb) 24340

[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 107810 8230 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1160.42
Current children cumulated vsize (Kb) 24340

[startup+1330.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 108534 8324 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1168.6
Current children cumulated vsize (Kb) 24340

[startup+1340.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 109267 8413 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1176.82
Current children cumulated vsize (Kb) 24340

[startup+1350.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4940 0 0 0 110023 8499 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221222864 134553460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1185.24
Current children cumulated vsize (Kb) 24340

[startup+1360.1 s]
Raw data (loadavg): 1.08 1.02 1.01 2/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) R 1543 1543 20602 0 -1 0 4940 0 0 0 110768 8586 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223248 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1193.56
Current children cumulated vsize (Kb) 24340

[startup+1370.1 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 111497 8675 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1201.74
Current children cumulated vsize (Kb) 24340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1370.1 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1546
Raw data (/proc/1543/stat): 1543 (vallstSAT2005PB) S 1542 1543 20602 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1723447856 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1543/statm): 532 242 485 147 0 385 0
[pid=1543] vsize: 2128
Raw data (/proc/1546/stat): 1546 (vallst) T 1543 1543 20602 0 -1 0 4940 0 0 0 111497 8675 0 0 16 0 1 0 1723447863 22745088 4910 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1546/statm): 5553 4910 413 48 0 5505 0
[pid=1546] vsize: 22212
Current children cumulated CPU time (s) 1201.74
Current children cumulated vsize (Kb) 24340

Sending SIGTERM to -1543
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=1548
New process pid=1549
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/status
open syscall for file /proc/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/23373/stat
open syscall for file /proc/23373/status
open syscall for file /proc/23373/cmdline
open syscall for file /proc/23373/environ
open syscall for file /proc/23400/stat
open syscall for file /proc/23400/status
open syscall for file /proc/23400/cmdline
open syscall for file /proc/23400/environ
open syscall for file /proc/23424/stat
open syscall for file /proc/23424/status
open syscall for file /proc/23424/cmdline
open syscall for file /proc/23424/environ
open syscall for file /proc/6632/stat
open syscall for file /proc/6632/status
open syscall for file /proc/6632/cmdline
open syscall for file /proc/6632/environ
open syscall for file /proc/7718/stat
open syscall for file /proc/7718/status
open syscall for file /proc/7718/cmdline
open syscall for file /proc/7718/environ
open syscall for file /proc/20012/stat
open syscall for file /proc/20012/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/20012/cmdline
open syscall for file /proc/20012/environ
open syscall for file /proc/20048/stat
open syscall for file /proc/20048/status
open syscall for file /proc/20048/cmdline
open syscall for file /proc/20048/environ
open syscall for file /proc/20602/stat
open syscall for file /proc/20602/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20602/cmdline
open syscall for file /proc/20602/environ
open syscall for file /proc/20603/stat
open syscall for file /proc/20603/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20603/cmdline
open syscall for file /proc/20603/environ
open syscall for file /proc/20612/stat
open syscall for file /proc/20612/status
open syscall for file /proc/20612/cmdline
open syscall for file /proc/20612/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/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1543/stat
open syscall for file /proc/1543/status
open syscall for file /proc/1543/cmdline
open syscall for file /proc/1543/environ
open syscall for file /proc/1546/stat
open syscall for file /proc/1546/status
open syscall for file /proc/1546/cmdline
open syscall for file /proc/1546/environ
open syscall for file /proc/1548/stat
open syscall for file /proc/1548/status
open syscall for file /proc/1548/cmdline
open syscall for file /proc/1548/environ
open syscall for file /proc/1549/stat
open syscall for file /proc/1549/status
open syscall for file /proc/1549/cmdline
open syscall for file /proc/1549/environ
One traced child (pid=1548) exited with status: 0
One traced child (pid=1549) exited with status: 0
New process pid=1550
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=1550) exited with status: 0
New process pid=1551
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=1551) exited with status: 0
New process pid=1552
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
One traced child (pid=1552) exited with status: 1
New process pid=1553
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=1553) exited with status: 0
One traced child (pid=1543) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=1546) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1370.76
CPU time (s): 1202.35
CPU user time (s): 1115.53
CPU system time (s): 86.8218
CPU usage (%): 87.7144
Max. virtual memory (cumulated for all children) (Kb): 24340

Verifier Data

ERROR: no interpretation found !