Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb
MD5SUMf8a5d8e99e0f063cb10208b1e5f7bf38
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1626735
Optimality of the best value was proved NO
Number of terms in the objective function 5460
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1567797422
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1567797422
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1237.18
Number of variables5460
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint21
Maximum length of a constraint520

Trace number 9380

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-23 13:06:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8112 boxname=wulflinc20 idbench=1080 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f8a5d8e99e0f063cb10208b1e5f7bf38  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-ran10x26.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-ran10x26.opb 0
IDLAUNCH: 8112
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        943480 kB
Buffers:         10364 kB
Cached:          63756 kB
SwapCached:          0 kB
Active:          43944 kB
Inactive:        33128 kB
HighTotal:      131008 kB
HighFree:        62748 kB
LowTotal:       903652 kB
LowFree:        880732 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8500 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:31:04 (client local time) WITH STATUS 0 IN 1202.02 SECONDS
stats: 8112 7 1202.02 0

Solver Data

1:
seed: 0
Nr of vars set: 2410  (#equs: 0)
Nr of vars set: 2410  (#equs: 0)
#decisions: 21606;  #end-nodes: 655;
#proof improvement attempts: 0;  #restarts: 8
Current batch, end-nodes: 8 / 82 (82)
#axs: 333, #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:  1562616411 (5181010:>=*);
#decisions: 2595;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 333, #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:  1562616429 (5180992:>=*);
#decisions: 64760;  #end-nodes: 2104;
#proof improvement attempts: 0;  #restarts: 25
Current batch, end-nodes: 28 / 86 (86)
#axs: 333, #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:  1562731425 (5065996:>=*);
#decisions: 2652;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 333, #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:  1562731617 (5065804:>=*);
#decisions: 2651;  #end-nodes: 57;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 57 / 80 (80)
#axs: 333, #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:  1562731629 (5065792:>=*);
#decisions: 2623;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 333, #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:  1562731637 (5065784:>=*);
#decisions: 2594;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 333, #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:  1562731653 (5065768:>=*);
#decisions: 175743;  #end-nodes: 6493;
#proof improvement attempts: 0;  #restarts: 72
Current batch, end-nodes: 83 / 98 (98)
#axs: 333, #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:  1562745327 (5052094:>=*);
#decisions: 2774;  #end-nodes: 52;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 52 / 80 (80)
#axs: 333, #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:  1562745357 (5052064:>=*);
#decisions: 2617;  #end-nodes: 40;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 40 / 80 (80)
#axs: 333, #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:  1562745363 (5052058:>=*);
#decisions: 2532;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 333, #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:  1562745365 (5052056:>=*);
#decisions: 52752;  #end-nodes: 1817;
#proof improvement attempts: 0;  #restarts: 21
Current batch, end-nodes: 83 / 85 (85)
#axs: 333, #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:  1562770134 (5027287:>=*);
#decisions: 2491;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 333, #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:  1562770162 (5027259:>=*);
#decisions: 2490;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 333, #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:  1562770174 (5027247:>=*);
#decisions: 2498;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 333, #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:  1562770186 (5027235:>=*);
#decisions: 2486;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 333, #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:  1562770198 (5027223:>=*);
#decisions: 702708;  #end-nodes: 33827;
#proof improvement attempts: 0;  #restarts: 290
Current batch, end-nodes: 59 / 152 (152)
#axs: 333, #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:  1562923905 (4873516:>=*);
#decisions: 2253;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 333, #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:  1562923909 (4873512:>=*);
#decisions: 2259;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 333, #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:  1562923910 (4873511:>=*);
#decisions: 432836;  #end-nodes: 19982;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 333, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 1562923910 (4873511:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2410  (#equs: 0)
Time taken: 5 min, 34 sec

2:
seed: 0
Nr of vars set: 2410  (#equs: 0)
Nr of vars set: 2410  (#equs: 0)
#decisions: 1377656;  #end-nodes: 109150;
#proof improvement attempts: 0;  #restarts: 570
Current batch, end-nodes: 82 / 262 (262)
#axs: 333, #non-axs: 18
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:  3899561 (4811780:>=*);
#decisions: 2346;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 333, #non-axs: 18
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:  3899585 (4811756:>=*);
#decisions: 2369;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 120 (120)
#axs: 333, #non-axs: 18
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:  3899589 (4811752:>=*);
#decisions: 2362;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 120 (120)
#axs: 333, #non-axs: 18
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:  3899633 (4811708:>=*);
Interupt request received.
#decisions: 3006956;  #end-nodes: 321798;
#proof improvement attempts: 0;  #restarts: 1194
Current batch, end-nodes: 230 / 418 (418)
#axs: 333, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 3899633 (4811708:>=*)

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: 4471  (#equs: 0)
Time taken: 14 min, 27 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/5715/stat): 5715 (vallstSAT2005PB) R 5714 5715 4059 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20416165 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5715/statm): 174 3 169 147 0 27 0
[pid=5715] 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=5716
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=5716) exited with status: 0
New process pid=5717
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=5717) exited with status: 0
New process pid=5718
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/wulflinc20/normalized-mps-v2-13-7-ran10x26.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0028 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 581 0 0 0 581 133 0 0 17 0 1 0 20416174 3715072 551 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 907 551 413 48 0 859 0
[pid=5718] vsize: 3628
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (Kb) 5756

[startup+20.0045 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 581 0 0 0 1099 291 0 0 17 0 1 0 20416174 3715072 551 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 907 551 413 48 0 859 0
[pid=5718] vsize: 3628
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (Kb) 5756

[startup+30.0053 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 917 0 0 0 1759 405 0 0 20 0 1 0 20416174 5242880 887 4294967295 134512640 134702520 3221223952 3221203868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1280 887 413 48 0 1232 0
[pid=5718] vsize: 5120
Current children cumulated CPU time (s) 21.66
Current children cumulated vsize (Kb) 7248

[startup+40.005 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 958 0 0 0 2548 476 0 0 20 0 1 0 20416174 5242880 928 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1280 928 413 48 0 1232 0
[pid=5718] vsize: 5120
Current children cumulated CPU time (s) 30.26
Current children cumulated vsize (Kb) 7248

[startup+50.0057 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 987 0 0 0 3314 551 0 0 21 0 1 0 20416174 5242880 957 4294967295 134512640 134702520 3221223952 3221208348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1280 957 413 48 0 1232 0
[pid=5718] vsize: 5120
Current children cumulated CPU time (s) 38.67
Current children cumulated vsize (Kb) 7248

[startup+60.0065 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 990 0 0 0 4147 604 0 0 22 0 1 0 20416174 5242880 960 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1280 960 413 48 0 1232 0
[pid=5718] vsize: 5120
Current children cumulated CPU time (s) 47.53
Current children cumulated vsize (Kb) 7248

[startup+70.0082 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 991 0 0 0 4927 678 0 0 23 0 1 0 20416174 5242880 961 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1280 961 413 48 0 1232 0
[pid=5718] vsize: 5120
Current children cumulated CPU time (s) 56.07
Current children cumulated vsize (Kb) 7248

[startup+80.0089 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 996 0 0 0 5731 744 0 0 22 0 1 0 20416174 5365760 966 4294967295 134512640 134702520 3221223952 3221223468 1074652344 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1310 966 413 48 0 1262 0
[pid=5718] vsize: 5240
Current children cumulated CPU time (s) 64.77
Current children cumulated vsize (Kb) 7368

[startup+90.0086 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 999 0 0 0 6501 814 0 0 25 0 1 0 20416174 5365760 969 4294967295 134512640 134702520 3221223952 3221043868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1310 969 413 48 0 1262 0
[pid=5718] vsize: 5240
Current children cumulated CPU time (s) 73.17
Current children cumulated vsize (Kb) 7368

[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1005 0 0 0 7292 878 0 0 20 0 1 0 20416174 5365760 975 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1310 975 413 48 0 1262 0
[pid=5718] vsize: 5240
Current children cumulated CPU time (s) 81.72
Current children cumulated vsize (Kb) 7368

[startup+110.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1009 0 0 0 8065 954 0 0 22 0 1 0 20416174 5365760 979 4294967295 134512640 134702520 3221223952 3221202108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1310 979 413 48 0 1262 0
[pid=5718] vsize: 5240
Current children cumulated CPU time (s) 90.21
Current children cumulated vsize (Kb) 7368

[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1015 0 0 0 8902 1004 0 0 22 0 1 0 20416174 5365760 985 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1310 985 413 48 0 1262 0
[pid=5718] vsize: 5240
Current children cumulated CPU time (s) 99.08
Current children cumulated vsize (Kb) 7368

[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1019 0 0 0 9755 1053 0 0 25 0 1 0 20416174 5365760 989 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1310 989 413 48 0 1262 0
[pid=5718] vsize: 5240
Current children cumulated CPU time (s) 108.1
Current children cumulated vsize (Kb) 7368

[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1019 0 0 0 10701 1071 0 0 25 0 1 0 20416174 5365760 989 4294967295 134512640 134702520 3221223952 3221222848 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1310 989 413 48 0 1262 0
[pid=5718] vsize: 5240
Current children cumulated CPU time (s) 117.74
Current children cumulated vsize (Kb) 7368

[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1022 0 0 0 11512 1134 0 0 21 0 1 0 20416174 5365760 992 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1310 992 413 48 0 1262 0
[pid=5718] vsize: 5240
Current children cumulated CPU time (s) 126.48
Current children cumulated vsize (Kb) 7368

[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1026 0 0 0 12294 1204 0 0 20 0 1 0 20416174 5365760 996 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1310 996 413 48 0 1262 0
[pid=5718] vsize: 5240
Current children cumulated CPU time (s) 135
Current children cumulated vsize (Kb) 7368

[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1030 0 0 0 13100 1269 0 0 25 0 1 0 20416174 5496832 1000 4294967295 134512640 134702520 3221223952 3221163228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1342 1000 413 48 0 1294 0
[pid=5718] vsize: 5368
Current children cumulated CPU time (s) 143.71
Current children cumulated vsize (Kb) 7496

[startup+180.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1035 0 0 0 13934 1318 0 0 22 0 1 0 20416174 5496832 1005 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1342 1005 413 48 0 1294 0
[pid=5718] vsize: 5368
Current children cumulated CPU time (s) 152.54
Current children cumulated vsize (Kb) 7496

[startup+190.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1039 0 0 0 14789 1365 0 0 25 0 1 0 20416174 5496832 1009 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1342 1009 413 48 0 1294 0
[pid=5718] vsize: 5368
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (Kb) 7496

[startup+200.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1039 0 0 0 15734 1383 0 0 25 0 1 0 20416174 5496832 1009 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1342 1009 413 48 0 1294 0
[pid=5718] vsize: 5368
Current children cumulated CPU time (s) 171.19
Current children cumulated vsize (Kb) 7496

[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1042 0 0 0 16566 1433 0 0 25 0 1 0 20416174 5496832 1012 4294967295 134512640 134702520 3221223952 3221013008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1342 1012 413 48 0 1294 0
[pid=5718] vsize: 5368
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 7496

[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1046 0 0 0 17381 1496 0 0 19 0 1 0 20416174 5496832 1016 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1342 1016 413 48 0 1294 0
[pid=5718] vsize: 5368
Current children cumulated CPU time (s) 188.79
Current children cumulated vsize (Kb) 7496

[startup+230.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1050 0 0 0 18187 1560 0 0 21 0 1 0 20416174 5496832 1020 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1342 1020 413 48 0 1294 0
[pid=5718] vsize: 5368
Current children cumulated CPU time (s) 197.49
Current children cumulated vsize (Kb) 7496

[startup+240.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1055 0 0 0 18979 1626 0 0 20 0 1 0 20416174 5496832 1025 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1342 1025 413 48 0 1294 0
[pid=5718] vsize: 5368
Current children cumulated CPU time (s) 206.07
Current children cumulated vsize (Kb) 7496

[startup+250.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1058 0 0 0 19811 1680 0 0 25 0 1 0 20416174 5496832 1028 4294967295 134512640 134702520 3221223952 3221156832 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1342 1028 413 48 0 1294 0
[pid=5718] vsize: 5368
Current children cumulated CPU time (s) 214.93
Current children cumulated vsize (Kb) 7496

[startup+260.021 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1060 0 0 0 20758 1696 0 0 25 0 1 0 20416174 5636096 1030 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1376 1030 413 48 0 1328 0
[pid=5718] vsize: 5504
Current children cumulated CPU time (s) 224.56
Current children cumulated vsize (Kb) 7632

[startup+270.022 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1061 0 0 0 21617 1745 0 0 20 0 1 0 20416174 5623808 1031 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1373 1031 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 233.64
Current children cumulated vsize (Kb) 7620

[startup+280.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1063 0 0 0 22398 1815 0 0 25 0 1 0 20416174 5623808 1033 4294967295 134512640 134702520 3221223952 3221157488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1373 1033 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 242.15
Current children cumulated vsize (Kb) 7620

[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1065 0 0 0 23210 1876 0 0 20 0 1 0 20416174 5623808 1035 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1373 1035 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 250.88
Current children cumulated vsize (Kb) 7620

[startup+300.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1066 0 0 0 23985 1953 0 0 19 0 1 0 20416174 5623808 1036 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1373 1036 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 259.4
Current children cumulated vsize (Kb) 7620

[startup+310.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1068 0 0 0 24839 1998 0 0 25 0 1 0 20416174 5623808 1038 4294967295 134512640 134702520 3221223952 3221222976 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1373 1038 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 268.39
Current children cumulated vsize (Kb) 7620

[startup+320.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1069 0 0 0 25781 2017 0 0 25 0 1 0 20416174 5623808 1039 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1373 1039 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 278
Current children cumulated vsize (Kb) 7620

[startup+330.026 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1069 0 0 0 26621 2070 0 0 25 0 1 0 20416174 5623808 1039 4294967295 134512640 134702520 3221223952 3221121468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5718/statm): 1373 1039 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 286.93
Current children cumulated vsize (Kb) 7620

[startup+340.026 s]
Raw data (loadavg): 1.06 1.00 1.00 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1071 0 0 0 27444 2129 0 0 21 0 1 0 20416174 5623808 1041 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1373 1041 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 295.75
Current children cumulated vsize (Kb) 7620

[startup+350.026 s]
Raw data (loadavg): 1.05 1.00 1.00 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1071 0 0 0 28232 2198 0 0 20 0 1 0 20416174 5623808 1041 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1373 1041 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 304.32
Current children cumulated vsize (Kb) 7620

[startup+360.027 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) R 5715 5715 4059 0 -1 0 1072 0 0 0 29060 2253 0 0 25 0 1 0 20416174 5623808 1042 4294967295 134512640 134702520 3221223952 3221078428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1373 1042 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 313.15
Current children cumulated vsize (Kb) 7620

[startup+370.028 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1074 0 0 0 29903 2301 0 0 25 0 1 0 20416174 5623808 1044 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1373 1044 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 322.06
Current children cumulated vsize (Kb) 7620

[startup+380.029 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5718
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20416165 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 242 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5718/stat): 5718 (vallst) T 5715 5715 4059 0 -1 0 1075 0 0 0 30850 2319 0 0 25 0 1 0 20416174 5623808 1045 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5718/statm): 1373 1045 413 48 0 1325 0
[pid=5718] vsize: 5492
Current children cumulated CPU time (s) 331.71
Current children cumulated vsize (Kb) 7620
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5718) exited with status: 2
New process pid=5719
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5719) exited with status: 0
New process pid=5720
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+390.028 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 521 0 0 0 460 78 0 0 17 0 1 0 20454474 3416064 492 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 834 492 413 48 0 786 0
[pid=5720] vsize: 3336
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (Kb) 5464

[startup+400.029 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 522 0 0 0 977 242 0 0 17 0 1 0 20454474 3416064 493 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 834 493 413 48 0 786 0
[pid=5720] vsize: 3336
Current children cumulated CPU time (s) 346.79
Current children cumulated vsize (Kb) 5464

[startup+410.029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 862 0 0 0 1579 372 0 0 25 0 1 0 20454474 4620288 833 4294967295 134512640 134702520 3221223712 3220989068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1128 833 413 48 0 1080 0
[pid=5720] vsize: 4512
Current children cumulated CPU time (s) 354.11
Current children cumulated vsize (Kb) 6640

[startup+420.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 873 0 0 0 2289 465 0 0 25 0 1 0 20454474 4755456 844 4294967295 134512640 134702520 3221223712 3221143808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1161 844 413 48 0 1113 0
[pid=5720] vsize: 4644
Current children cumulated CPU time (s) 362.14
Current children cumulated vsize (Kb) 6772

[startup+430.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 882 0 0 0 3021 554 0 0 18 0 1 0 20454474 4755456 853 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1161 853 413 48 0 1113 0
[pid=5720] vsize: 4644
Current children cumulated CPU time (s) 370.35
Current children cumulated vsize (Kb) 6772

[startup+440.031 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 888 0 0 0 3777 632 0 0 17 0 1 0 20454474 4755456 859 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1161 859 413 48 0 1113 0
[pid=5720] vsize: 4644
Current children cumulated CPU time (s) 378.69
Current children cumulated vsize (Kb) 6772

[startup+450.032 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 888 0 0 0 4206 819 0 0 17 0 1 0 20454474 4755456 859 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1161 859 413 48 0 1113 0
[pid=5720] vsize: 4644
Current children cumulated CPU time (s) 384.85
Current children cumulated vsize (Kb) 6772

[startup+460.032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 893 0 0 0 4774 956 0 0 25 0 1 0 20454474 4755456 864 4294967295 134512640 134702520 3221223712 3220913888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1161 864 413 48 0 1113 0
[pid=5720] vsize: 4644
Current children cumulated CPU time (s) 391.9
Current children cumulated vsize (Kb) 6772

[startup+470.033 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 898 0 0 0 5488 1049 0 0 24 0 1 0 20454474 4755456 869 4294967295 134512640 134702520 3221223712 3221147808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1161 869 413 48 0 1113 0
[pid=5720] vsize: 4644
Current children cumulated CPU time (s) 399.97
Current children cumulated vsize (Kb) 6772

[startup+480.034 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 905 0 0 0 6246 1123 0 0 18 0 1 0 20454474 4882432 876 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1192 876 413 48 0 1144 0
[pid=5720] vsize: 4768
Current children cumulated CPU time (s) 408.29
Current children cumulated vsize (Kb) 6896

[startup+490.035 s]
Raw data (loadavg): 1.12 1.03 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 909 0 0 0 7044 1188 0 0 25 0 1 0 20454474 4882432 880 4294967295 134512640 134702520 3221223712 3220918528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1192 880 413 48 0 1144 0
[pid=5720] vsize: 4768
Current children cumulated CPU time (s) 416.92
Current children cumulated vsize (Kb) 6896

[startup+500.035 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 911 0 0 0 7503 1365 0 0 17 0 1 0 20454474 4882432 882 4294967295 134512640 134702520 3221223712 3221222548 134550224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1192 882 413 48 0 1144 0
[pid=5720] vsize: 4768
Current children cumulated CPU time (s) 423.28
Current children cumulated vsize (Kb) 6896

[startup+510.036 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 915 0 0 0 7967 1541 0 0 18 0 1 0 20454474 4882432 886 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1192 886 413 48 0 1144 0
[pid=5720] vsize: 4768
Current children cumulated CPU time (s) 429.68
Current children cumulated vsize (Kb) 6896

[startup+520.038 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 919 0 0 0 8747 1612 0 0 17 0 1 0 20454474 4882432 890 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1192 890 413 48 0 1144 0
[pid=5720] vsize: 4768
Current children cumulated CPU time (s) 438.19
Current children cumulated vsize (Kb) 6896

[startup+530.038 s]
Raw data (loadavg): 1.14 1.04 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 950 0 0 0 9511 1691 0 0 25 0 1 0 20454474 5099520 921 4294967295 134512640 134702520 3221223712 3221089408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1245 921 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 446.62
Current children cumulated vsize (Kb) 7108

[startup+540.038 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 950 0 0 0 10266 1767 0 0 18 0 1 0 20454474 5099520 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 921 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 454.93
Current children cumulated vsize (Kb) 7108

[startup+550.04 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 950 0 0 0 10880 1887 0 0 17 0 1 0 20454474 5099520 921 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 921 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (Kb) 7108

[startup+560.041 s]
Raw data (loadavg): 1.16 1.05 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 950 0 0 0 11278 2078 0 0 17 0 1 0 20454474 5099520 921 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 921 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 468.16
Current children cumulated vsize (Kb) 7108

[startup+570.041 s]
Raw data (loadavg): 1.14 1.05 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 950 0 0 0 11996 2165 0 0 19 0 1 0 20454474 5099520 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1245 921 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 476.21
Current children cumulated vsize (Kb) 7108

[startup+580.042 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 950 0 0 0 12804 2229 0 0 18 0 1 0 20454474 5099520 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 921 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 484.93
Current children cumulated vsize (Kb) 7108

[startup+590.043 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 950 0 0 0 13532 2317 0 0 18 0 1 0 20454474 5099520 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1245 921 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 493.09
Current children cumulated vsize (Kb) 7108

[startup+600.044 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 952 0 0 0 14337 2380 0 0 20 0 1 0 20454474 5099520 923 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 923 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 501.77
Current children cumulated vsize (Kb) 7108

[startup+610.044 s]
Raw data (loadavg): 1.15 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 952 0 0 0 14786 2559 0 0 17 0 1 0 20454474 5099520 923 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 923 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 508.05
Current children cumulated vsize (Kb) 7108

[startup+620.046 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 955 0 0 0 15268 2726 0 0 20 0 1 0 20454474 5099520 926 4294967295 134512640 134702520 3221223712 3221222992 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1245 926 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 514.54
Current children cumulated vsize (Kb) 7108

[startup+630.047 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 958 0 0 0 16076 2787 0 0 19 0 1 0 20454474 5099520 929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 929 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 523.23
Current children cumulated vsize (Kb) 7108

[startup+640.047 s]
Raw data (loadavg): 1.17 1.07 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 961 0 0 0 16829 2868 0 0 19 0 1 0 20454474 5099520 932 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 932 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 531.57
Current children cumulated vsize (Kb) 7108

[startup+650.047 s]
Raw data (loadavg): 1.14 1.07 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 964 0 0 0 17644 2928 0 0 22 0 1 0 20454474 5099520 935 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1245 935 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 540.32
Current children cumulated vsize (Kb) 7108

[startup+660.048 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 968 0 0 0 18351 3022 0 0 18 0 1 0 20454474 5099520 939 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1245 939 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 548.33
Current children cumulated vsize (Kb) 7108

[startup+670.05 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 968 0 0 0 18838 3186 0 0 17 0 1 0 20454474 5099520 939 4294967295 134512640 134702520 3221223712 3221222608 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1245 939 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 554.84
Current children cumulated vsize (Kb) 7108

[startup+680.05 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 971 0 0 0 19390 3328 0 0 22 0 1 0 20454474 5099520 942 4294967295 134512640 134702520 3221223712 3221191968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1245 942 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 561.78
Current children cumulated vsize (Kb) 7108

[startup+690.051 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 974 0 0 0 20205 3385 0 0 21 0 1 0 20454474 5099520 945 4294967295 134512640 134702520 3221223712 3221222832 134584554 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1245 945 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 570.5
Current children cumulated vsize (Kb) 7108

[startup+700.052 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 977 0 0 0 20968 3461 0 0 20 0 1 0 20454474 5099520 948 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 948 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 578.89
Current children cumulated vsize (Kb) 7108

[startup+710.053 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 979 0 0 0 21761 3527 0 0 25 0 1 0 20454474 5099520 950 4294967295 134512640 134702520 3221223712 3221133408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1245 950 413 48 0 1197 0
[pid=5720] vsize: 4980
Current children cumulated CPU time (s) 587.48
Current children cumulated vsize (Kb) 7108

[startup+720.053 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 985 0 0 0 22483 3618 0 0 25 0 1 0 20454474 5238784 956 4294967295 134512640 134702520 3221223712 3221127488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 956 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 595.61
Current children cumulated vsize (Kb) 7244

[startup+730.055 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 987 0 0 0 23212 3705 0 0 17 0 1 0 20454474 5238784 958 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 958 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 603.77
Current children cumulated vsize (Kb) 7244

[startup+740.056 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 989 0 0 0 23990 3777 0 0 18 0 1 0 20454474 5238784 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1279 960 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 612.27
Current children cumulated vsize (Kb) 7244

[startup+750.056 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 990 0 0 0 24768 3848 0 0 24 0 1 0 20454474 5238784 961 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 961 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 620.76
Current children cumulated vsize (Kb) 7244

[startup+760.057 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 991 0 0 0 25231 4019 0 0 16 0 1 0 20454474 5238784 962 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1279 962 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 627.1
Current children cumulated vsize (Kb) 7244

[startup+770.058 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 993 0 0 0 25698 4192 0 0 18 0 1 0 20454474 5238784 964 4294967295 134512640 134702520 3221223712 3221222832 134573853 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 964 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 633.5
Current children cumulated vsize (Kb) 7244

[startup+780.059 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 994 0 0 0 26492 4259 0 0 19 0 1 0 20454474 5238784 965 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 965 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (Kb) 7244

[startup+790.059 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 995 0 0 0 27279 4329 0 0 25 0 1 0 20454474 5238784 966 4294967295 134512640 134702520 3221223712 3220932928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 966 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 650.68
Current children cumulated vsize (Kb) 7244

[startup+800.06 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 995 0 0 0 27994 4419 0 0 19 0 1 0 20454474 5238784 966 4294967295 134512640 134702520 3221223712 3221204272 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1279 966 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 658.73
Current children cumulated vsize (Kb) 7244

[startup+810.061 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 997 0 0 0 28571 4556 0 0 17 0 1 0 20454474 5238784 968 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 968 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 665.87
Current children cumulated vsize (Kb) 7244

[startup+820.062 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 999 0 0 0 28990 4749 0 0 19 0 1 0 20454474 5238784 970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 970 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 671.99
Current children cumulated vsize (Kb) 7244

[startup+830.062 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 999 0 0 0 29761 4822 0 0 25 0 1 0 20454474 5238784 970 4294967295 134512640 134702520 3221223712 3221129388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1279 970 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 680.43
Current children cumulated vsize (Kb) 7244

[startup+840.062 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1000 0 0 0 30521 4900 0 0 18 0 1 0 20454474 5238784 971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 971 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 688.81
Current children cumulated vsize (Kb) 7244

[startup+850.063 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1000 0 0 0 31315 4966 0 0 22 0 1 0 20454474 5238784 971 4294967295 134512640 134702520 3221223712 3221222992 134550674 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 971 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 697.41
Current children cumulated vsize (Kb) 7244

[startup+860.063 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1002 0 0 0 31998 5073 0 0 17 0 1 0 20454474 5238784 973 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 973 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 705.31
Current children cumulated vsize (Kb) 7244

[startup+870.064 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1003 0 0 0 32444 5258 0 0 17 0 1 0 20454474 5238784 974 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 974 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 711.62
Current children cumulated vsize (Kb) 7244

[startup+880.065 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1004 0 0 0 33060 5379 0 0 21 0 1 0 20454474 5238784 975 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 975 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 718.99
Current children cumulated vsize (Kb) 7244

[startup+890.066 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1004 0 0 0 33791 5467 0 0 19 0 1 0 20454474 5238784 975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1279 975 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 727.18
Current children cumulated vsize (Kb) 7244

[startup+900.067 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1004 0 0 0 34600 5529 0 0 16 0 1 0 20454474 5238784 975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 975 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 735.89
Current children cumulated vsize (Kb) 7244

[startup+910.068 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1005 0 0 0 35343 5611 0 0 16 0 1 0 20454474 5238784 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1279 976 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 744.14
Current children cumulated vsize (Kb) 7244

[startup+920.069 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1007 0 0 0 35947 5740 0 0 16 0 1 0 20454474 5238784 978 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1279 978 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 751.47
Current children cumulated vsize (Kb) 7244

[startup+930.069 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1009 0 0 0 36373 5932 0 0 18 0 1 0 20454474 5238784 980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 980 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 757.65
Current children cumulated vsize (Kb) 7244

[startup+940.069 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1010 0 0 0 37107 6019 0 0 18 0 1 0 20454474 5238784 981 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 981 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 765.86
Current children cumulated vsize (Kb) 7244

[startup+950.07 s]
Raw data (loadavg): 1.18 1.08 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1010 0 0 0 37923 6079 0 0 25 0 1 0 20454474 5238784 981 4294967295 134512640 134702520 3221223712 3220995788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 981 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 774.62
Current children cumulated vsize (Kb) 7244

[startup+960.071 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1011 0 0 0 38672 6159 0 0 19 0 1 0 20454474 5238784 982 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1279 982 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 782.91
Current children cumulated vsize (Kb) 7244

[startup+970.072 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1013 0 0 0 39463 6228 0 0 25 0 1 0 20454474 5238784 984 4294967295 134512640 134702520 3221223712 3221116608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1279 984 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 791.51
Current children cumulated vsize (Kb) 7244

[startup+980.073 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1015 0 0 0 39998 6380 0 0 17 0 1 0 20454474 5238784 986 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1279 986 413 48 0 1231 0
[pid=5720] vsize: 5116
Current children cumulated CPU time (s) 798.38
Current children cumulated vsize (Kb) 7244

[startup+990.073 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1017 0 0 0 40451 6561 0 0 20 0 1 0 20454474 5345280 988 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1305 988 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 804.72
Current children cumulated vsize (Kb) 7348

[startup+1000.07 s]
Raw data (loadavg): 1.08 1.07 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1018 0 0 0 41215 6636 0 0 20 0 1 0 20454474 5345280 989 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1305 989 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 813.11
Current children cumulated vsize (Kb) 7348

[startup+1010.08 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1019 0 0 0 42033 6695 0 0 25 0 1 0 20454474 5345280 990 4294967295 134512640 134702520 3221223712 3220922188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1305 990 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (Kb) 7348

[startup+1020.08 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1020 0 0 0 42792 6773 0 0 18 0 1 0 20454474 5345280 991 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1305 991 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 830.25
Current children cumulated vsize (Kb) 7348

[startup+1030.08 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1022 0 0 0 43574 6843 0 0 25 0 1 0 20454474 5345280 993 4294967295 134512640 134702520 3221223712 3221163328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1305 993 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 838.77
Current children cumulated vsize (Kb) 7348

[startup+1040.08 s]
Raw data (loadavg): 1.04 1.06 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1023 0 0 0 44137 6982 0 0 17 0 1 0 20454474 5345280 994 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1305 994 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 845.79
Current children cumulated vsize (Kb) 7348

[startup+1050.08 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1025 0 0 0 44575 7166 0 0 21 0 1 0 20454474 5345280 996 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1305 996 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 852.01
Current children cumulated vsize (Kb) 7348

[startup+1060.08 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1027 0 0 0 45343 7240 0 0 20 0 1 0 20454474 5345280 998 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1305 998 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 860.43
Current children cumulated vsize (Kb) 7348

[startup+1070.08 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1028 0 0 0 46160 7301 0 0 25 0 1 0 20454474 5345280 999 4294967295 134512640 134702520 3221223712 3221131008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1305 999 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 869.21
Current children cumulated vsize (Kb) 7348

[startup+1080.08 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1030 0 0 0 46996 7354 0 0 22 0 1 0 20454474 5345280 1001 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1305 1001 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 878.1
Current children cumulated vsize (Kb) 7348

[startup+1090.08 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1032 0 0 0 47779 7425 0 0 21 0 1 0 20454474 5345280 1003 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1305 1003 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 886.64
Current children cumulated vsize (Kb) 7348

[startup+1100.08 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1034 0 0 0 48484 7519 0 0 17 0 1 0 20454474 5345280 1005 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1305 1005 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 894.63
Current children cumulated vsize (Kb) 7348

[startup+1110.08 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1034 0 0 0 49048 7663 0 0 18 0 1 0 20454474 5345280 1005 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1305 1005 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 901.71
Current children cumulated vsize (Kb) 7348

[startup+1120.08 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1039 0 0 0 49588 7812 0 0 19 0 1 0 20454474 5345280 1010 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1305 1010 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 908.6
Current children cumulated vsize (Kb) 7348

[startup+1130.08 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1039 0 0 0 50417 7868 0 0 25 0 1 0 20454474 5345280 1010 4294967295 134512640 134702520 3221223712 3220919148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1305 1010 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 917.45
Current children cumulated vsize (Kb) 7348

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.04 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1042 0 0 0 51204 7942 0 0 19 0 1 0 20454474 5345280 1013 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1305 1013 413 48 0 1257 0
[pid=5720] vsize: 5220
Current children cumulated CPU time (s) 926.06
Current children cumulated vsize (Kb) 7348

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1046 0 0 0 51995 8011 0 0 20 0 1 0 20454474 5480448 1017 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1338 1017 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 934.66
Current children cumulated vsize (Kb) 7480

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1049 0 0 0 52798 8075 0 0 23 0 1 0 20454474 5480448 1020 4294967295 134512640 134702520 3221223712 3221191628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1338 1020 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 943.33
Current children cumulated vsize (Kb) 7480

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1051 0 0 0 53377 8220 0 0 17 0 1 0 20454474 5480448 1022 4294967295 134512640 134702520 3221223712 3221222608 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1338 1022 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 950.57
Current children cumulated vsize (Kb) 7480

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1053 0 0 0 53796 8415 0 0 19 0 1 0 20454474 5480448 1024 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1338 1024 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 956.71
Current children cumulated vsize (Kb) 7480

[startup+1190.09 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1057 0 0 0 54568 8488 0 0 21 0 1 0 20454474 5480448 1028 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1338 1028 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 965.16
Current children cumulated vsize (Kb) 7480

[startup+1200.09 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1060 0 0 0 55353 8560 0 0 19 0 1 0 20454474 5480448 1031 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1338 1031 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 973.73
Current children cumulated vsize (Kb) 7480

[startup+1210.09 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1062 0 0 0 56172 8613 0 0 25 0 1 0 20454474 5480448 1033 4294967295 134512640 134702520 3221223712 3221060428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1338 1033 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 982.45
Current children cumulated vsize (Kb) 7480

[startup+1220.09 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1065 0 0 0 56995 8669 0 0 24 0 1 0 20454474 5480448 1036 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1338 1036 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 991.24
Current children cumulated vsize (Kb) 7480

[startup+1230.09 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1068 0 0 0 57800 8732 0 0 18 0 1 0 20454474 5480448 1039 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1338 1039 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 999.92
Current children cumulated vsize (Kb) 7480

[startup+1240.09 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1068 0 0 0 58242 8915 0 0 17 0 1 0 20454474 5480448 1039 4294967295 134512640 134702520 3221223712 3221222608 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1338 1039 413 48 0 1290 0
[pid=5720] vsize: 5352
Current children cumulated CPU time (s) 1006.17
Current children cumulated vsize (Kb) 7480

[startup+1250.09 s]
Raw data (loadavg): 1.10 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1072 0 0 0 58775 9067 0 0 21 0 1 0 20454474 5570560 1043 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1360 1043 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1013.02
Current children cumulated vsize (Kb) 7568

[startup+1260.09 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1074 0 0 0 59572 9133 0 0 21 0 1 0 20454474 5570560 1045 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1360 1045 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1021.65
Current children cumulated vsize (Kb) 7568

[startup+1270.1 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1076 0 0 0 60406 9188 0 0 25 0 1 0 20454474 5570560 1047 4294967295 134512640 134702520 3221223712 3221109708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1360 1047 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1030.54
Current children cumulated vsize (Kb) 7568

[startup+1280.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1077 0 0 0 61223 9247 0 0 21 0 1 0 20454474 5570560 1048 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1360 1048 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1039.3
Current children cumulated vsize (Kb) 7568

[startup+1290.1 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1079 0 0 0 62009 9315 0 0 18 0 1 0 20454474 5570560 1050 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1360 1050 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1047.84
Current children cumulated vsize (Kb) 7568

[startup+1300.1 s]
Raw data (loadavg): 1.18 1.07 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1083 0 0 0 62745 9404 0 0 17 0 1 0 20454474 5570560 1054 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1360 1054 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1056.09
Current children cumulated vsize (Kb) 7568

[startup+1310.1 s]
Raw data (loadavg): 1.15 1.07 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1085 0 0 0 63167 9591 0 0 17 0 1 0 20454474 5570560 1056 4294967295 134512640 134702520 3221223712 3221222480 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1360 1056 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1062.18
Current children cumulated vsize (Kb) 7568

[startup+1320.1 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1088 0 0 0 63780 9716 0 0 20 0 1 0 20454474 5570560 1059 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1360 1059 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1069.56
Current children cumulated vsize (Kb) 7568

[startup+1330.1 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1089 0 0 0 64605 9768 0 0 25 0 1 0 20454474 5570560 1060 4294967295 134512640 134702520 3221223712 3221089548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1360 1060 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1078.33
Current children cumulated vsize (Kb) 7568

[startup+1340.1 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1091 0 0 0 65426 9825 0 0 21 0 1 0 20454474 5570560 1062 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1360 1062 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1087.11
Current children cumulated vsize (Kb) 7568

[startup+1350.1 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1094 0 0 0 66229 9888 0 0 21 0 1 0 20454474 5570560 1065 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1360 1065 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1095.77
Current children cumulated vsize (Kb) 7568

[startup+1360.1 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1097 0 0 0 67027 9951 0 0 20 0 1 0 20454474 5570560 1068 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1360 1068 413 48 0 1312 0
[pid=5720] vsize: 5440
Current children cumulated CPU time (s) 1104.38
Current children cumulated vsize (Kb) 7568

[startup+1370.1 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1100 0 0 0 67739 10041 0 0 17 0 1 0 20454474 5713920 1071 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1395 1071 413 48 0 1347 0
[pid=5720] vsize: 5580
Current children cumulated CPU time (s) 1112.4
Current children cumulated vsize (Kb) 7708

[startup+1380.1 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1101 0 0 0 68149 10232 0 0 16 0 1 0 20454474 5713920 1072 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1395 1072 413 48 0 1347 0
[pid=5720] vsize: 5580
Current children cumulated CPU time (s) 1118.41
Current children cumulated vsize (Kb) 7708

[startup+1390.1 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1103 0 0 0 68843 10331 0 0 25 0 1 0 20454474 5701632 1074 4294967295 134512640 134702520 3221223712 3221130668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1392 1074 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1126.34
Current children cumulated vsize (Kb) 7696

[startup+1400.11 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1105 0 0 0 69679 10385 0 0 25 0 1 0 20454474 5701632 1076 4294967295 134512640 134702520 3221223712 3220960768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1392 1076 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1135.24
Current children cumulated vsize (Kb) 7696

[startup+1410.11 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1107 0 0 0 70500 10445 0 0 21 0 1 0 20454474 5701632 1078 4294967295 134512640 134702520 3221223712 3221222784 134608539 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1392 1078 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1144.05
Current children cumulated vsize (Kb) 7696

[startup+1420.11 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1109 0 0 0 71298 10515 0 0 20 0 1 0 20454474 5701632 1080 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1392 1080 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1152.73
Current children cumulated vsize (Kb) 7696

[startup+1430.11 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1111 0 0 0 72102 10581 0 0 22 0 1 0 20454474 5701632 1082 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5720/statm): 1392 1082 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1161.43
Current children cumulated vsize (Kb) 7696

[startup+1440.11 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1114 0 0 0 72865 10656 0 0 18 0 1 0 20454474 5701632 1085 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1392 1085 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1169.81
Current children cumulated vsize (Kb) 7696

[startup+1450.11 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1114 0 0 0 73456 10794 0 0 18 0 1 0 20454474 5701632 1085 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1392 1085 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1177.1
Current children cumulated vsize (Kb) 7696

[startup+1460.11 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1115 0 0 0 74045 10930 0 0 23 0 1 0 20454474 5701632 1086 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1392 1086 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1184.35
Current children cumulated vsize (Kb) 7696

[startup+1470.11 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1117 0 0 0 74853 10993 0 0 21 0 1 0 20454474 5701632 1088 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1392 1088 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1193.06
Current children cumulated vsize (Kb) 7696

[startup+1480.11 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) R 5715 5715 4059 0 -1 0 1118 0 0 0 75673 11052 0 0 22 0 1 0 20454474 5701632 1089 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1392 1089 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1201.85
Current children cumulated vsize (Kb) 7696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1480.11 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5720
Raw data (/proc/5715/stat): 5715 (vallstSAT2005PB) S 5714 5715 4059 0 -1 0 378 1450 0 0 1 1 31130 2328 19 0 1 0 20416165 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5715/statm): 532 248 485 147 0 385 0
[pid=5715] vsize: 2128
Raw data (/proc/5720/stat): 5720 (vallst) T 5715 5715 4059 0 -1 0 1118 0 0 0 75673 11052 0 0 22 0 1 0 20454474 5701632 1089 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5720/statm): 1392 1089 413 48 0 1344 0
[pid=5720] vsize: 5568
Current children cumulated CPU time (s) 1201.85
Current children cumulated vsize (Kb) 7696

Sending SIGTERM to -5715
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5722
New process pid=5723
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
One traced child (pid=5720) exited with status: 3
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4041/stat
open syscall for file /proc/4041/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/4041/cmdline
open syscall for file /proc/4041/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/5676/stat
open syscall for file /proc/5676/status
open syscall for file /proc/5676/cmdline
open syscall for file /proc/5676/environ
open syscall for file /proc/5714/stat
open syscall for file /proc/5714/status
open syscall for file /proc/5714/cmdline
open syscall for file /proc/5714/environ
open syscall for file /proc/5715/stat
open syscall for file /proc/5715/status
open syscall for file /proc/5715/cmdline
open syscall for file /proc/5715/environ
open syscall for file /proc/5722/stat
open syscall for file /proc/5722/status
open syscall for file /proc/5722/cmdline
open syscall for file /proc/5722/environ
open syscall for file /proc/5723/stat
open syscall for file /proc/5723/status
open syscall for file /proc/5723/cmdline
open syscall for file /proc/5723/environ
One traced child (pid=5722) exited with status: 0
One traced child (pid=5723) exited with status: 0
New process pid=5724
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=5724) exited with status: 0
New process pid=5725
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=5725) exited with status: 0
One traced child (pid=5715) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1480.6
CPU time (s): 1202.02
CPU user time (s): 1068.13
CPU system time (s): 133.895
CPU usage (%): 81.185
Max. virtual memory (cumulated for all children) (Kb): 7708

Verifier Data

ERROR: no interpretation found !