Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb
MD5SUM9cc94d1db4d494288ef67a8d5ad5d77e
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1408128
Optimality of the best value was proved NO
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 11486079
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables280
Total number of constraints471
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint1
Maximum length of a constraint253

Trace number 9227

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        945756 kB
Buffers:          9640 kB
Cached:          62576 kB
SwapCached:          0 kB
Active:          42604 kB
Inactive:        32512 kB
HighTotal:      131008 kB
HighFree:        64176 kB
LowTotal:       903652 kB
LowFree:        881580 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              68 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:             8276 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:57:14 (client local time) WITH STATUS 0 IN 1206.18 SECONDS
stats: 7939 7 1206.18 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 22  (#equs: 0)
#decisions: 646;  #end-nodes: 138;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 51 / 92 (80)
#axs: 248, #non-axs: 93
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:  541822 (1555328:>=*);
#decisions: 21;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 93
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:  551422 (1545728:>=*);
#decisions: 35;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 94
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:  561022 (1536128:>=*);
#decisions: 65;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 248, #non-axs: 94
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:  570622 (1526528:>=*);
#decisions: 30;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 94
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:  580222 (1516928:>=*);
#decisions: 426;  #end-nodes: 228;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 64 / 83 (80)
#axs: 248, #non-axs: 159
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:  588542 (1508608:>=*);
#decisions: 913;  #end-nodes: 423;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 100 / 268 (80)
#axs: 248, #non-axs: 378
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:  599422 (1497728:>=*);
#decisions: 79;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 106 (80)
#axs: 248, #non-axs: 403
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:  600062 (1497088:>=*);
#decisions: 18;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 248, #non-axs: 405
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:  649342 (1447808:>=*);
#decisions: 134;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 115 (80)
#axs: 248, #non-axs: 441
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:  653822 (1443328:>=*);
#decisions: 53;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 248, #non-axs: 455
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:  675582 (1421568:>=*);
#decisions: 3463;  #end-nodes: 2273;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 79 / 96 (81)
#axs: 248, #non-axs: 1322
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:  680702 (1416448:>=*);
#decisions: 5001;  #end-nodes: 2533;
#proof improvement attempts: 0;  #restarts: 13
Current batch, end-nodes: 412 / 727 (83)
#axs: 248, #non-axs: 2751
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:  689022 (1408128:>=*);
#decisions: 3287890;  #end-nodes: 2425602;
#proof improvement attempts: 0;  #restarts: 1056
Current batch, end-nodes: 0 / 2445 (343)
#axs: 248, #non-axs: 3257
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 29, end (keep): 47
Model found with constant:
  (pushed:) 689022 (1408128:>=*)

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: 32  (#equs: 0)
Time taken: 15 min, 24 sec

2:
seed: 0
Nr of vars set: 32  (#equs: 0)
Nr of vars set: 32  (#equs: 0)
Interupt request received.
#decisions: 930751;  #end-nodes: 691295;
#proof improvement attempts: 0;  #restarts: 474
Current batch, end-nodes: 2109 / 3513 (238)
#axs: 248, #non-axs: 3708
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 29, end (keep): 47
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 207  (#equs: 0)
Time taken: 4 min, 41 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/5441/stat): 5441 (vallstSAT2005PB) R 5440 5441 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19823683 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5441/statm): 174 3 169 147 0 27 0
[pid=5441] 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=5442
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=5442) exited with status: 0
New process pid=5443
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=5443) exited with status: 0
New process pid=5444
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/wulflinc28/normalized-mps-v2-13-7-misc07.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0037 s]
Raw data (loadavg): 0.83 0.95 0.93 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 396 0 0 0 573 135 0 0 21 0 1 0 19823691 2719744 366 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 664 366 413 48 0 616 0
[pid=5444] vsize: 2656
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (Kb) 4784

[startup+20.0044 s]
Raw data (loadavg): 0.86 0.95 0.93 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 493 0 0 0 1256 238 0 0 20 0 1 0 19823691 3133440 463 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 463 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 14.96
Current children cumulated vsize (Kb) 5188

[startup+30.0061 s]
Raw data (loadavg): 0.88 0.95 0.93 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 506 0 0 0 1961 331 0 0 19 0 1 0 19823691 3133440 476 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 476 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 22.94
Current children cumulated vsize (Kb) 5188

[startup+40.0067 s]
Raw data (loadavg): 0.90 0.95 0.93 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 507 0 0 0 2573 454 0 0 19 0 1 0 19823691 3133440 477 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 477 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (Kb) 5188

[startup+50.0074 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 514 0 0 0 3270 553 0 0 20 0 1 0 19823691 3133440 484 4294967295 134512640 134702520 3221223952 3221222848 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 484 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 38.25
Current children cumulated vsize (Kb) 5188

[startup+60.0081 s]
Raw data (loadavg): 0.99 0.97 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 521 0 0 0 3983 652 0 0 20 0 1 0 19823691 3133440 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 491 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 46.37
Current children cumulated vsize (Kb) 5188

[startup+70.0088 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 522 0 0 0 4590 775 0 0 19 0 1 0 19823691 3133440 492 4294967295 134512640 134702520 3221223952 3221222848 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 492 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 53.67
Current children cumulated vsize (Kb) 5188

[startup+80.0105 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 522 0 0 0 5313 863 0 0 20 0 1 0 19823691 3133440 492 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 492 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 61.78
Current children cumulated vsize (Kb) 5188

[startup+90.0111 s]
Raw data (loadavg): 1.06 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 528 0 0 0 6030 957 0 0 21 0 1 0 19823691 3133440 498 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 765 498 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (Kb) 5188

[startup+100.012 s]
Raw data (loadavg): 1.05 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 540 0 0 0 6778 1040 0 0 20 0 1 0 19823691 3268608 510 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 510 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 78.2
Current children cumulated vsize (Kb) 5320

[startup+110.012 s]
Raw data (loadavg): 1.05 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 541 0 0 0 7381 1167 0 0 21 0 1 0 19823691 3268608 511 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 798 511 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 85.5
Current children cumulated vsize (Kb) 5320

[startup+120.013 s]
Raw data (loadavg): 1.04 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 544 0 0 0 8115 1257 0 0 20 0 1 0 19823691 3268608 514 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 514 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 93.74
Current children cumulated vsize (Kb) 5320

[startup+130.015 s]
Raw data (loadavg): 1.03 0.99 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 547 0 0 0 8857 1339 0 0 21 0 1 0 19823691 3268608 517 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 517 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (Kb) 5320

[startup+140.016 s]
Raw data (loadavg): 1.03 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 556 0 0 0 9606 1422 0 0 20 0 1 0 19823691 3268608 526 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 526 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 110.3
Current children cumulated vsize (Kb) 5320

[startup+150.016 s]
Raw data (loadavg): 1.02 0.99 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 557 0 0 0 10222 1544 0 0 21 0 1 0 19823691 3268608 527 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 527 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 117.68
Current children cumulated vsize (Kb) 5320

[startup+160.017 s]
Raw data (loadavg): 1.02 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 564 0 0 0 10981 1628 0 0 22 0 1 0 19823691 3403776 534 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 831 534 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 126.11
Current children cumulated vsize (Kb) 5452

[startup+170.018 s]
Raw data (loadavg): 1.02 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 573 0 0 0 11745 1710 0 0 21 0 1 0 19823691 3403776 543 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 831 543 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 134.57
Current children cumulated vsize (Kb) 5452

[startup+180.018 s]
Raw data (loadavg): 1.01 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 578 0 0 0 12469 1806 0 0 19 0 1 0 19823691 3403776 548 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 831 548 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 142.77
Current children cumulated vsize (Kb) 5452

[startup+190.02 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 582 0 0 0 13227 1883 0 0 22 0 1 0 19823691 3403776 552 4294967295 134512640 134702520 3221223952 3221223072 134584454 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 831 552 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 151.12
Current children cumulated vsize (Kb) 5452

[startup+200.021 s]
Raw data (loadavg): 1.01 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 591 0 0 0 13972 1970 0 0 17 0 1 0 19823691 3403776 561 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 831 561 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 159.44
Current children cumulated vsize (Kb) 5452

[startup+210.021 s]
Raw data (loadavg): 1.01 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 594 0 0 0 14645 2078 0 0 23 0 1 0 19823691 3403776 564 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 831 564 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 167.25
Current children cumulated vsize (Kb) 5452

[startup+220.022 s]
Raw data (loadavg): 1.08 1.00 0.95 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 598 0 0 0 15395 2162 0 0 20 0 1 0 19823691 3538944 568 4294967295 134512640 134702520 3221223952 3221223280 134612940 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 864 568 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 175.59
Current children cumulated vsize (Kb) 5584

[startup+230.023 s]
Raw data (loadavg): 1.07 1.00 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 600 0 0 0 16129 2255 0 0 22 0 1 0 19823691 3538944 570 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 864 570 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 183.86
Current children cumulated vsize (Kb) 5584

[startup+240.023 s]
Raw data (loadavg): 1.13 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 611 0 0 0 16909 2329 0 0 21 0 1 0 19823691 3538944 581 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 864 581 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 192.4
Current children cumulated vsize (Kb) 5584

[startup+250.024 s]
Raw data (loadavg): 1.11 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 618 0 0 0 17681 2404 0 0 22 0 1 0 19823691 3538944 588 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 864 588 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 200.87
Current children cumulated vsize (Kb) 5584

[startup+260.026 s]
Raw data (loadavg): 1.09 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 622 0 0 0 18485 2470 0 0 20 0 1 0 19823691 3538944 592 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 864 592 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 209.57
Current children cumulated vsize (Kb) 5584

[startup+270.026 s]
Raw data (loadavg): 1.08 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 625 0 0 0 19271 2537 0 0 22 0 1 0 19823691 3538944 595 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 864 595 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 218.1
Current children cumulated vsize (Kb) 5584

[startup+280.027 s]
Raw data (loadavg): 1.06 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 626 0 0 0 19935 2643 0 0 17 0 1 0 19823691 3538944 596 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 864 596 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 225.8
Current children cumulated vsize (Kb) 5584

[startup+290.028 s]
Raw data (loadavg): 1.05 1.01 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 630 0 0 0 20667 2730 0 0 23 0 1 0 19823691 3674112 600 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 897 600 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 233.99
Current children cumulated vsize (Kb) 5716

[startup+300.027 s]
Raw data (loadavg): 1.05 1.01 0.95 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 634 0 0 0 21431 2811 0 0 20 0 1 0 19823691 3674112 604 4294967295 134512640 134702520 3221223952 3221223524 134561735 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 604 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 242.44
Current children cumulated vsize (Kb) 5716

[startup+310.029 s]
Raw data (loadavg): 1.04 1.01 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 639 0 0 0 22216 2883 0 0 21 0 1 0 19823691 3674112 609 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 609 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 251.01
Current children cumulated vsize (Kb) 5716

[startup+320.03 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 642 0 0 0 22982 2963 0 0 21 0 1 0 19823691 3674112 612 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 612 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 259.47
Current children cumulated vsize (Kb) 5716

[startup+330.031 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 649 0 0 0 23756 3040 0 0 18 0 1 0 19823691 3674112 619 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 897 619 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 267.98
Current children cumulated vsize (Kb) 5716

[startup+340.032 s]
Raw data (loadavg): 1.10 1.03 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 653 0 0 0 24529 3116 0 0 24 0 1 0 19823691 3674112 623 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 623 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 276.47
Current children cumulated vsize (Kb) 5716

[startup+350.033 s]
Raw data (loadavg): 1.09 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 655 0 0 0 25317 3186 0 0 21 0 1 0 19823691 3674112 625 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 897 625 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 285.05
Current children cumulated vsize (Kb) 5716

[startup+360.034 s]
Raw data (loadavg): 1.07 1.02 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 658 0 0 0 26074 3263 0 0 20 0 1 0 19823691 3674112 628 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 628 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 293.39
Current children cumulated vsize (Kb) 5716

[startup+370.035 s]
Raw data (loadavg): 1.06 1.02 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 658 0 0 0 26703 3380 0 0 17 0 1 0 19823691 3674112 628 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 628 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 300.85
Current children cumulated vsize (Kb) 5716

[startup+380.036 s]
Raw data (loadavg): 1.12 1.04 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 662 0 0 0 27456 3462 0 0 17 0 1 0 19823691 3809280 632 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 930 632 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 309.2
Current children cumulated vsize (Kb) 5848

[startup+390.036 s]
Raw data (loadavg): 1.10 1.04 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 666 0 0 0 28248 3529 0 0 19 0 1 0 19823691 3809280 636 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 636 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 317.79
Current children cumulated vsize (Kb) 5848

[startup+400.037 s]
Raw data (loadavg): 1.09 1.03 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 668 0 0 0 28997 3611 0 0 23 0 1 0 19823691 3809280 638 4294967295 134512640 134702520 3221223952 3221223232 134557208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 638 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 326.1
Current children cumulated vsize (Kb) 5848

[startup+410.038 s]
Raw data (loadavg): 1.07 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 668 0 0 0 29812 3672 0 0 22 0 1 0 19823691 3809280 638 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 930 638 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 334.86
Current children cumulated vsize (Kb) 5848

[startup+420.039 s]
Raw data (loadavg): 1.06 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 670 0 0 0 30577 3750 0 0 22 0 1 0 19823691 3809280 640 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 640 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 343.29
Current children cumulated vsize (Kb) 5848

[startup+430.039 s]
Raw data (loadavg): 1.05 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 675 0 0 0 31365 3824 0 0 17 0 1 0 19823691 3809280 645 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 645 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 351.91
Current children cumulated vsize (Kb) 5848

[startup+440.04 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 676 0 0 0 32143 3897 0 0 24 0 1 0 19823691 3809280 646 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 930 646 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 360.42
Current children cumulated vsize (Kb) 5848

[startup+450.04 s]
Raw data (loadavg): 1.04 1.03 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 680 0 0 0 32953 3960 0 0 23 0 1 0 19823691 3809280 650 4294967295 134512640 134702520 3221223952 3221223200 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 650 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 369.15
Current children cumulated vsize (Kb) 5848

[startup+460.04 s]
Raw data (loadavg): 1.03 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 925 0 0 0 33733 4039 0 0 23 0 1 0 19823691 4841472 895 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 1182 895 413 48 0 1134 0
[pid=5444] vsize: 4728
Current children cumulated CPU time (s) 377.74
Current children cumulated vsize (Kb) 6856

[startup+470.041 s]
Raw data (loadavg): 1.03 1.02 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 1314 0 0 0 34574 4094 0 0 25 0 1 0 19823691 6397952 1284 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 1562 1284 413 48 0 1514 0
[pid=5444] vsize: 6248
Current children cumulated CPU time (s) 386.7
Current children cumulated vsize (Kb) 8376

[startup+480.041 s]
Raw data (loadavg): 1.02 1.02 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 1591 0 0 0 35455 4136 0 0 25 0 1 0 19823691 7573504 1561 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 1849 1561 413 48 0 1801 0
[pid=5444] vsize: 7396
Current children cumulated CPU time (s) 395.93
Current children cumulated vsize (Kb) 9524

[startup+490.041 s]
Raw data (loadavg): 1.02 1.02 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 1854 0 0 0 36338 4178 0 0 25 0 1 0 19823691 8757248 1824 4294967295 134512640 134702520 3221223952 3221223232 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2138 1824 413 48 0 2090 0
[pid=5444] vsize: 8552
Current children cumulated CPU time (s) 405.18
Current children cumulated vsize (Kb) 10680

[startup+500.042 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2090 0 0 0 37232 4215 0 0 25 0 1 0 19823691 9551872 2060 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2332 2060 413 48 0 2284 0
[pid=5444] vsize: 9328
Current children cumulated CPU time (s) 414.49
Current children cumulated vsize (Kb) 11456

[startup+510.043 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2314 0 0 0 38139 4247 0 0 25 0 1 0 19823691 10596352 2284 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2587 2284 413 48 0 2539 0
[pid=5444] vsize: 10348
Current children cumulated CPU time (s) 423.88
Current children cumulated vsize (Kb) 12476

[startup+520.043 s]
Raw data (loadavg): 1.09 1.04 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 38875 4335 0 0 17 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221222956 1074652326 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 432.12
Current children cumulated vsize (Kb) 12760

[startup+530.043 s]
Raw data (loadavg): 1.08 1.03 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2402 0 0 0 39616 4417 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 440.35
Current children cumulated vsize (Kb) 12760

[startup+540.044 s]
Raw data (loadavg): 1.06 1.03 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2402 0 0 0 40496 4457 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 449.55
Current children cumulated vsize (Kb) 12760

[startup+550.044 s]
Raw data (loadavg): 1.05 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 41378 4499 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223072 134584634 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 458.79
Current children cumulated vsize (Kb) 12760

[startup+560.045 s]
Raw data (loadavg): 1.04 1.03 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2402 0 0 0 42273 4535 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 468.1
Current children cumulated vsize (Kb) 12760

[startup+570.046 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 43160 4574 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 477.36
Current children cumulated vsize (Kb) 12760

[startup+580.045 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 44066 4608 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 486.76
Current children cumulated vsize (Kb) 12760

[startup+590.046 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 44977 4640 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223172 134550184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 496.19
Current children cumulated vsize (Kb) 12760

[startup+600.047 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2501 0 0 0 45895 4666 0 0 25 0 1 0 19823691 11407360 2471 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2785 2471 413 48 0 2737 0
[pid=5444] vsize: 11140
Current children cumulated CPU time (s) 505.63
Current children cumulated vsize (Kb) 13268

[startup+610.048 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2676 0 0 0 46816 4694 0 0 25 0 1 0 19823691 12017664 2646 4294967295 134512640 134702520 3221223952 3221223232 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2934 2646 413 48 0 2886 0
[pid=5444] vsize: 11736
Current children cumulated CPU time (s) 515.12
Current children cumulated vsize (Kb) 13864

[startup+620.049 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2835 0 0 0 47743 4719 0 0 25 0 1 0 19823691 12664832 2805 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 3092 2805 413 48 0 3044 0
[pid=5444] vsize: 12368
Current children cumulated CPU time (s) 524.64
Current children cumulated vsize (Kb) 14496

[startup+630.049 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3002 0 0 0 48665 4748 0 0 25 0 1 0 19823691 13451264 2972 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3284 2972 413 48 0 3236 0
[pid=5444] vsize: 13136
Current children cumulated CPU time (s) 534.15
Current children cumulated vsize (Kb) 15264

[startup+640.049 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3134 0 0 0 49592 4772 0 0 25 0 1 0 19823691 13926400 3104 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3400 3104 413 48 0 3352 0
[pid=5444] vsize: 13600
Current children cumulated CPU time (s) 543.66
Current children cumulated vsize (Kb) 15728

[startup+650.05 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3269 0 0 0 50527 4796 0 0 25 0 1 0 19823691 14577664 3239 4294967295 134512640 134702520 3221223952 3221223232 134557715 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3559 3239 413 48 0 3511 0
[pid=5444] vsize: 14236
Current children cumulated CPU time (s) 553.25
Current children cumulated vsize (Kb) 16364

[startup+660.051 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3373 0 0 0 51473 4815 0 0 25 0 1 0 19823691 14897152 3343 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3637 3343 413 48 0 3589 0
[pid=5444] vsize: 14548
Current children cumulated CPU time (s) 562.9
Current children cumulated vsize (Kb) 16676

[startup+670.052 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3484 0 0 0 52409 4839 0 0 25 0 1 0 19823691 15388672 3454 4294967295 134512640 134702520 3221223952 3221223232 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3757 3454 413 48 0 3709 0
[pid=5444] vsize: 15028
Current children cumulated CPU time (s) 572.5
Current children cumulated vsize (Kb) 17156

[startup+680.052 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3630 0 0 0 53347 4861 0 0 25 0 1 0 19823691 16011264 3600 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 3909 3600 413 48 0 3861 0
[pid=5444] vsize: 15636
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (Kb) 17764

[startup+690.053 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3762 0 0 0 54287 4883 0 0 25 0 1 0 19823691 16592896 3732 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4051 3732 413 48 0 4003 0
[pid=5444] vsize: 16204
Current children cumulated CPU time (s) 591.72
Current children cumulated vsize (Kb) 18332

[startup+700.053 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 55098 4947 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552889 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 600.47
Current children cumulated vsize (Kb) 18172

[startup+710.055 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 55918 5008 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 609.28
Current children cumulated vsize (Kb) 18172

[startup+720.056 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 56724 5075 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 618.01
Current children cumulated vsize (Kb) 18172

[startup+730.057 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 57499 5151 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 626.52
Current children cumulated vsize (Kb) 18172

[startup+740.057 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 58307 5217 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 635.26
Current children cumulated vsize (Kb) 18172

[startup+750.058 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 59097 5283 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 643.82
Current children cumulated vsize (Kb) 18172

[startup+760.059 s]
Raw data (loadavg): 1.07 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 59878 5359 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 652.39
Current children cumulated vsize (Kb) 18172

[startup+770.059 s]
Raw data (loadavg): 1.06 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 60698 5422 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 661.22
Current children cumulated vsize (Kb) 18172

[startup+780.06 s]
Raw data (loadavg): 1.05 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 61526 5478 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 670.06
Current children cumulated vsize (Kb) 18172

[startup+790.062 s]
Raw data (loadavg): 1.04 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 62200 5583 0 0 17 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 677.85
Current children cumulated vsize (Kb) 18172

[startup+800.062 s]
Raw data (loadavg): 1.04 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 62951 5663 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 686.16
Current children cumulated vsize (Kb) 18172

[startup+810.063 s]
Raw data (loadavg): 1.03 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 63734 5735 0 0 19 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 694.71
Current children cumulated vsize (Kb) 18172

[startup+820.064 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 64508 5813 0 0 20 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 703.23
Current children cumulated vsize (Kb) 18172

[startup+830.063 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 65307 5884 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 711.93
Current children cumulated vsize (Kb) 18172

[startup+840.064 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 66094 5958 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 720.54
Current children cumulated vsize (Kb) 18172

[startup+850.065 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 66906 6026 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 729.34
Current children cumulated vsize (Kb) 18172

[startup+860.065 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 67693 6099 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 737.94
Current children cumulated vsize (Kb) 18172

[startup+870.066 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 68513 6159 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 746.74
Current children cumulated vsize (Kb) 18172

[startup+880.067 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 69318 6224 0 0 19 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 755.44
Current children cumulated vsize (Kb) 18172

[startup+890.067 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 70134 6288 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 764.24
Current children cumulated vsize (Kb) 18172

[startup+900.068 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 70814 6395 0 0 17 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 772.11
Current children cumulated vsize (Kb) 18172

[startup+910.069 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 71558 6481 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 780.41
Current children cumulated vsize (Kb) 18172

[startup+920.069 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 72372 6547 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552141 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 789.21
Current children cumulated vsize (Kb) 18172

[startup+930.069 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 73177 6615 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 797.94
Current children cumulated vsize (Kb) 18172

[startup+940.07 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 73958 6687 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 806.47
Current children cumulated vsize (Kb) 18172

[startup+950.071 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 74775 6746 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 815.23
Current children cumulated vsize (Kb) 18172

[startup+960.071 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 75560 6820 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 823.82
Current children cumulated vsize (Kb) 18172

[startup+970.072 s]
Raw data (loadavg): 1.08 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 76369 6884 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 832.55
Current children cumulated vsize (Kb) 18172

[startup+980.072 s]
Raw data (loadavg): 1.07 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 77142 6960 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 841.04
Current children cumulated vsize (Kb) 18172

[startup+990.073 s]
Raw data (loadavg): 1.06 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 77949 7026 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 849.77
Current children cumulated vsize (Kb) 18172

[startup+1000.07 s]
Raw data (loadavg): 1.05 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 78741 7095 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 858.38
Current children cumulated vsize (Kb) 18172

[startup+1010.07 s]
Raw data (loadavg): 1.04 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 79570 7155 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 867.27
Current children cumulated vsize (Kb) 18172

[startup+1020.08 s]
Raw data (loadavg): 1.03 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 80388 7217 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 876.07
Current children cumulated vsize (Kb) 18172

[startup+1030.08 s]
Raw data (loadavg): 1.03 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 81213 7277 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 884.92
Current children cumulated vsize (Kb) 18172

[startup+1040.08 s]
Raw data (loadavg): 1.02 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 82023 7343 0 0 25 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 893.68
Current children cumulated vsize (Kb) 18172

[startup+1050.08 s]
Raw data (loadavg): 1.02 1.01 0.98 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 82848 7404 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552903 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 902.54
Current children cumulated vsize (Kb) 18172

[startup+1060.08 s]
Raw data (loadavg): 1.02 1.01 0.98 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 83652 7470 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223344 134603380 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 911.24
Current children cumulated vsize (Kb) 18172

[startup+1070.08 s]
Raw data (loadavg): 1.01 1.01 0.98 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 84453 7537 0 0 20 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221222848 134552319 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 919.92
Current children cumulated vsize (Kb) 18172
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=5444) exited with status: 2
New process pid=5445
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=5445) exited with status: 0
New process pid=5446
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+1080.08 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 263 0 0 0 242 32 0 0 20 0 1 0 19931368 2179072 233 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 532 233 413 48 0 484 0
[pid=5446] vsize: 2128
Current children cumulated CPU time (s) 927.22
Current children cumulated vsize (Kb) 4256

[startup+1090.08 s]
Raw data (loadavg): 1.01 1.01 0.98 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 265 0 0 0 938 130 0 0 19 0 1 0 19931368 2179072 235 4294967295 134512640 134702520 3221223712 3221222720 134552441 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 532 235 413 48 0 484 0
[pid=5446] vsize: 2128
Current children cumulated CPU time (s) 935.16
Current children cumulated vsize (Kb) 4256

[startup+1100.08 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 482 0 0 0 1664 221 0 0 21 0 1 0 19931368 3035136 452 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 741 452 413 48 0 693 0
[pid=5446] vsize: 2964
Current children cumulated CPU time (s) 943.33
Current children cumulated vsize (Kb) 5092

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 503 0 0 0 2424 303 0 0 20 0 1 0 19931368 3166208 473 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 773 473 413 48 0 725 0
[pid=5446] vsize: 3092
Current children cumulated CPU time (s) 951.75
Current children cumulated vsize (Kb) 5220

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 517 0 0 0 3200 378 0 0 22 0 1 0 19931368 3166208 487 4294967295 134512640 134702520 3221223712 3221223208 134603229 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 773 487 413 48 0 725 0
[pid=5446] vsize: 3092
Current children cumulated CPU time (s) 960.26
Current children cumulated vsize (Kb) 5220

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 519 0 0 0 3918 475 0 0 20 0 1 0 19931368 3166208 489 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 773 489 413 48 0 725 0
[pid=5446] vsize: 3092
Current children cumulated CPU time (s) 968.41
Current children cumulated vsize (Kb) 5220

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 528 0 0 0 4659 566 0 0 23 0 1 0 19931368 3301376 498 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 806 498 413 48 0 758 0
[pid=5446] vsize: 3224
Current children cumulated CPU time (s) 976.73
Current children cumulated vsize (Kb) 5352

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 541 0 0 0 5428 641 0 0 22 0 1 0 19931368 3301376 511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 806 511 413 48 0 758 0
[pid=5446] vsize: 3224
Current children cumulated CPU time (s) 985.17
Current children cumulated vsize (Kb) 5352

[startup+1160.08 s]
Raw data (loadavg): 1.08 1.02 0.98 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 550 0 0 0 6182 723 0 0 20 0 1 0 19931368 3301376 520 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 806 520 413 48 0 758 0
[pid=5446] vsize: 3224
Current children cumulated CPU time (s) 993.53
Current children cumulated vsize (Kb) 5352

[startup+1170.08 s]
Raw data (loadavg): 1.07 1.02 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 556 0 0 0 6937 804 0 0 21 0 1 0 19931368 3436544 526 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 526 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (Kb) 5484

[startup+1180.08 s]
Raw data (loadavg): 1.06 1.02 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 560 0 0 0 7695 887 0 0 20 0 1 0 19931368 3436544 530 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 839 530 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1010.3
Current children cumulated vsize (Kb) 5484

[startup+1190.08 s]
Raw data (loadavg): 1.05 1.02 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 560 0 0 0 8403 986 0 0 20 0 1 0 19931368 3436544 530 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 530 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1018.37
Current children cumulated vsize (Kb) 5484

[startup+1200.08 s]
Raw data (loadavg): 1.12 1.03 0.99 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 566 0 0 0 9180 1063 0 0 23 0 1 0 19931368 3436544 536 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 536 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1026.91
Current children cumulated vsize (Kb) 5484

[startup+1210.09 s]
Raw data (loadavg): 1.10 1.03 0.99 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 567 0 0 0 9935 1146 0 0 21 0 1 0 19931368 3436544 537 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 537 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1035.29
Current children cumulated vsize (Kb) 5484

[startup+1220.09 s]
Raw data (loadavg): 1.08 1.03 0.99 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 573 0 0 0 10713 1221 0 0 23 0 1 0 19931368 3436544 543 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 543 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1043.82
Current children cumulated vsize (Kb) 5484

[startup+1230.09 s]
Raw data (loadavg): 1.07 1.03 0.99 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 577 0 0 0 11480 1301 0 0 20 0 1 0 19931368 3436544 547 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 839 547 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1052.29
Current children cumulated vsize (Kb) 5484

[startup+1240.09 s]
Raw data (loadavg): 1.06 1.03 0.99 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 579 0 0 0 12233 1386 0 0 20 0 1 0 19931368 3436544 549 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 839 549 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1060.67
Current children cumulated vsize (Kb) 5484

[startup+1250.09 s]
Raw data (loadavg): 1.05 1.03 0.99 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 579 0 0 0 12939 1491 0 0 20 0 1 0 19931368 3436544 549 4294967295 134512640 134702520 3221223712 3221222992 134552336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 549 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1068.78
Current children cumulated vsize (Kb) 5484

[startup+1260.09 s]
Raw data (loadavg): 1.12 1.04 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 588 0 0 0 13751 1560 0 0 21 0 1 0 19931368 3436544 558 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 839 558 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1077.59
Current children cumulated vsize (Kb) 5484

[startup+1270.09 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 591 0 0 0 14536 1636 0 0 23 0 1 0 19931368 3571712 561 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 561 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1086.2
Current children cumulated vsize (Kb) 5616

[startup+1280.09 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 596 0 0 0 15321 1708 0 0 23 0 1 0 19931368 3571712 566 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 566 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1094.77
Current children cumulated vsize (Kb) 5616

[startup+1290.09 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 597 0 0 0 16113 1776 0 0 23 0 1 0 19931368 3571712 567 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 567 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1103.37
Current children cumulated vsize (Kb) 5616

[startup+1300.09 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 599 0 0 0 16887 1855 0 0 23 0 1 0 19931368 3571712 569 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 872 569 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1111.9
Current children cumulated vsize (Kb) 5616

[startup+1310.09 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 604 0 0 0 17665 1929 0 0 22 0 1 0 19931368 3571712 574 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 574 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1120.42
Current children cumulated vsize (Kb) 5616

[startup+1320.09 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 605 0 0 0 18406 2017 0 0 20 0 1 0 19931368 3571712 575 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 575 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1128.71
Current children cumulated vsize (Kb) 5616

[startup+1330.09 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 606 0 0 0 19128 2112 0 0 22 0 1 0 19931368 3571712 576 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 872 576 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1136.88
Current children cumulated vsize (Kb) 5616

[startup+1340.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 609 0 0 0 19944 2176 0 0 22 0 1 0 19931368 3571712 579 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 579 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1145.68
Current children cumulated vsize (Kb) 5616

[startup+1350.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 614 0 0 0 20727 2248 0 0 21 0 1 0 19931368 3571712 584 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 872 584 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1154.23
Current children cumulated vsize (Kb) 5616

[startup+1360.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 617 0 0 0 21530 2315 0 0 21 0 1 0 19931368 3571712 587 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 587 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1162.93
Current children cumulated vsize (Kb) 5616

[startup+1370.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 620 0 0 0 22322 2384 0 0 22 0 1 0 19931368 3571712 590 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 872 590 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1171.54
Current children cumulated vsize (Kb) 5616

[startup+1380.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 624 0 0 0 23105 2459 0 0 23 0 1 0 19931368 3706880 594 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 905 594 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1180.12
Current children cumulated vsize (Kb) 5748

[startup+1390.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 625 0 0 0 23885 2539 0 0 22 0 1 0 19931368 3706880 595 4294967295 134512640 134702520 3221223712 3221222992 134552749 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 905 595 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1188.72
Current children cumulated vsize (Kb) 5748

[startup+1400.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 625 0 0 0 24683 2611 0 0 21 0 1 0 19931368 3706880 595 4294967295 134512640 134702520 3221223712 3221222888 134550241 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 905 595 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1197.42
Current children cumulated vsize (Kb) 5748

[startup+1410.1 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 628 0 0 0 25472 2681 0 0 23 0 1 0 19931368 3706880 598 4294967295 134512640 134702520 3221223712 3221222832 134584493 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 905 598 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1206.01
Current children cumulated vsize (Kb) 5748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1410.1 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 628 0 0 0 25472 2681 0 0 23 0 1 0 19931368 3706880 598 4294967295 134512640 134702520 3221223712 3221222832 134584493 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 905 598 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1206.01
Current children cumulated vsize (Kb) 5748

Sending SIGTERM to -5441
Sleeping 2 seconds
New process pid=5448
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5449
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
One traced child (pid=5446) exited with status: 3
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/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/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5402/stat
open syscall for file /proc/5402/status
open syscall for file /proc/5402/cmdline
open syscall for file /proc/5402/environ
open syscall for file /proc/5440/stat
open syscall for file /proc/5440/status
open syscall for file /proc/5440/cmdline
open syscall for file /proc/5440/environ
open syscall for file /proc/5441/stat
open syscall for file /proc/5441/status
open syscall for file /proc/5441/cmdline
open syscall for file /proc/5441/environ
open syscall for file /proc/5448/stat
open syscall for file /proc/5448/status
open syscall for file /proc/5448/cmdline
open syscall for file /proc/5448/environ
open syscall for file /proc/5449/stat
open syscall for file /proc/5449/status
open syscall for file /proc/5449/cmdline
open syscall for file /proc/5449/environ
One traced child (pid=5448) exited with status: 0
One traced child (pid=5449) exited with status: 0
New process pid=5450
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=5450) exited with status: 0
New process pid=5451
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=5451) exited with status: 0
One traced child (pid=5441) 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): 1410.58
CPU time (s): 1206.18
CPU user time (s): 1102.9
CPU system time (s): 103.276
CPU usage (%): 85.5098
Max. virtual memory (cumulated for all children) (Kb): 18332

Verifier Data

ERROR: no interpretation found !