Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb
MD5SUM27cc6bcebfcedf07c5cf3ac138a419c6
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1099652
Optimality of the best value was proved NO
Number of terms in the objective function 5292
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1421968313
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1421968313
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1240.04
Number of variables5292
Total number of constraints536
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)252
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint1
Maximum length of a constraint360

Trace number 9433

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        925060 kB
Buffers:         10876 kB
Cached:          81672 kB
SwapCached:          0 kB
Active:          44288 kB
Inactive:        51168 kB
HighTotal:      131008 kB
HighFree:        48944 kB
LowTotal:       903652 kB
LowFree:        876116 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8596 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:58:19 (client local time) WITH STATUS 0 IN 1206.41 SECONDS
stats: 8154 7 1206.41 0

Solver Data

1:
seed: 0
Nr of vars set: 2208  (#equs: 0)
Nr of vars set: 2208  (#equs: 0)
#decisions: 62957;  #end-nodes: 2019;
#proof improvement attempts: 0;  #restarts: 24
Current batch, end-nodes: 23 / 86 (86)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  1416776783 (5191529:>=*);
#decisions: 84137;  #end-nodes: 2910;
#proof improvement attempts: 0;  #restarts: 34
Current batch, end-nodes: 38 / 88 (88)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1417005527 (4962785:>=*);
#decisions: 2536;  #end-nodes: 40;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 40 / 80 (80)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1417005819 (4962493:>=*);
#decisions: 427477;  #end-nodes: 17917;
#proof improvement attempts: 0;  #restarts: 175
Current batch, end-nodes: 74 / 123 (123)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1417265864 (4702448:>=*);
#decisions: 2387;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1417265960 (4702352:>=*);
#decisions: 879386;  #end-nodes: 49169;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 1417265960 (4702352:>=*)

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: 2208  (#equs: 0)
Time taken: 5 min, 14 sec

2:
seed: 0
Nr of vars set: 2208  (#equs: 0)
Nr of vars set: 2208  (#equs: 0)
#decisions: 936739;  #end-nodes: 66089;
#proof improvement attempts: 0;  #restarts: 390
Current batch, end-nodes: 192 / 217 (217)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  4405393 (4584231:>=*);
#decisions: 2706;  #end-nodes: 119;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 119 / 120 (120)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4405788 (4583836:>=*);
#decisions: 2404;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 120 (120)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4405811 (4583813:>=*);
#decisions: 2436;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 120 (120)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4405827 (4583797:>=*);
#decisions: 2495;  #end-nodes: 92;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 92 / 120 (120)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4405843 (4583781:>=*);
Interupt request received.
#decisions: 3457160;  #end-nodes: 383039;
#proof improvement attempts: 0;  #restarts: 1334
Current batch, end-nodes: 419 / 453 (453)
#axs: 317, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 4405843 (4583781:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4254  (#equs: 0)
Time taken: 14 min, 51 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/6767/stat): 6767 (vallstSAT2005PB) R 6766 6767 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20580505 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6767/statm): 174 3 169 147 0 27 0
[pid=6767] 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=6768
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=6768) exited with status: 0
New process pid=6769
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=6769) exited with status: 0
New process pid=6770
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/wulflinc22/normalized-mps-v2-13-7-ran14x18_1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 1.26 1.10 1.05 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 566 0 0 0 693 102 0 0 19 0 1 0 20580512 3653632 536 4294967295 134512640 134702520 3221223952 3221223088 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 892 536 413 48 0 844 0
[pid=6770] vsize: 3568
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (Kb) 5696

[startup+20.0041 s]
Raw data (loadavg): 1.29 1.12 1.05 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 566 0 0 0 1297 228 0 0 18 0 1 0 20580512 3653632 536 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6770/statm): 892 536 413 48 0 844 0
[pid=6770] vsize: 3568
Current children cumulated CPU time (s) 15.27
Current children cumulated vsize (Kb) 5696

[startup+30.0048 s]
Raw data (loadavg): 1.25 1.11 1.05 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 750 0 0 0 1920 350 0 0 18 0 1 0 20580512 5353472 720 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 720 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 22.72
Current children cumulated vsize (Kb) 7356

[startup+40.0056 s]
Raw data (loadavg): 1.21 1.11 1.05 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 750 0 0 0 2701 423 0 0 18 0 1 0 20580512 5353472 720 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 720 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 31.26
Current children cumulated vsize (Kb) 7356

[startup+50.0062 s]
Raw data (loadavg): 1.18 1.11 1.05 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 770 0 0 0 3497 490 0 0 25 0 1 0 20580512 5353472 740 4294967295 134512640 134702520 3221223952 3221076848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 740 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (Kb) 7356

[startup+60.007 s]
Raw data (loadavg): 1.15 1.10 1.05 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 783 0 0 0 4263 569 0 0 19 0 1 0 20580512 5353472 753 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 753 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 48.34
Current children cumulated vsize (Kb) 7356

[startup+70.0077 s]
Raw data (loadavg): 1.13 1.10 1.05 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 863 0 0 0 5040 639 0 0 21 0 1 0 20580512 5353472 833 4294967295 134512640 134702520 3221223952 3221159568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 833 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 56.81
Current children cumulated vsize (Kb) 7356

[startup+80.0094 s]
Raw data (loadavg): 1.11 1.09 1.05 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 992 0 0 0 5841 700 0 0 19 0 1 0 20580512 5353472 962 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 962 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 65.43
Current children cumulated vsize (Kb) 7356

[startup+90.0101 s]
Raw data (loadavg): 1.09 1.09 1.05 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 993 0 0 0 6710 744 0 0 25 0 1 0 20580512 5353472 963 4294967295 134512640 134702520 3221223952 3221222848 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 963 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 74.56
Current children cumulated vsize (Kb) 7356

[startup+100.01 s]
Raw data (loadavg): 1.08 1.09 1.04 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 993 0 0 0 7655 761 0 0 25 0 1 0 20580512 5353472 963 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 963 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 84.18
Current children cumulated vsize (Kb) 7356

[startup+110.01 s]
Raw data (loadavg): 1.06 1.08 1.04 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 994 0 0 0 8429 830 0 0 21 0 1 0 20580512 5353472 964 4294967295 134512640 134702520 3221223952 3221223232 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 964 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 92.61
Current children cumulated vsize (Kb) 7356

[startup+120.011 s]
Raw data (loadavg): 1.05 1.08 1.04 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1000 0 0 0 9200 904 0 0 18 0 1 0 20580512 5353472 970 4294967295 134512640 134702520 3221223952 3221210288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 970 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 101.06
Current children cumulated vsize (Kb) 7356

[startup+130.012 s]
Raw data (loadavg): 1.04 1.08 1.04 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1006 0 0 0 10023 967 0 0 21 0 1 0 20580512 5353472 976 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 976 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 7356

[startup+140.013 s]
Raw data (loadavg): 1.04 1.07 1.04 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1008 0 0 0 10756 1051 0 0 22 0 1 0 20580512 5353472 978 4294967295 134512640 134702520 3221223952 3221178288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 978 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 118.09
Current children cumulated vsize (Kb) 7356

[startup+150.013 s]
Raw data (loadavg): 1.03 1.07 1.04 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1012 0 0 0 11539 1121 0 0 19 0 1 0 20580512 5353472 982 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 982 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 126.62
Current children cumulated vsize (Kb) 7356

[startup+160.014 s]
Raw data (loadavg): 1.03 1.07 1.04 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1015 0 0 0 12345 1184 0 0 23 0 1 0 20580512 5353472 985 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 985 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 135.31
Current children cumulated vsize (Kb) 7356

[startup+170.015 s]
Raw data (loadavg): 1.02 1.07 1.04 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1017 0 0 0 13099 1257 0 0 19 0 1 0 20580512 5353472 987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 987 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 143.58
Current children cumulated vsize (Kb) 7356

[startup+180.015 s]
Raw data (loadavg): 1.02 1.06 1.04 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1019 0 0 0 14028 1280 0 0 25 0 1 0 20580512 5353472 989 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 989 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 153.1
Current children cumulated vsize (Kb) 7356

[startup+190.017 s]
Raw data (loadavg): 1.01 1.06 1.04 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1019 0 0 0 14906 1316 0 0 20 0 1 0 20580512 5353472 989 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 989 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (Kb) 7356

[startup+200.017 s]
Raw data (loadavg): 1.01 1.06 1.03 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1021 0 0 0 15696 1383 0 0 25 0 1 0 20580512 5353472 991 4294967295 134512640 134702520 3221223952 3221077808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 991 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 170.81
Current children cumulated vsize (Kb) 7356

[startup+210.018 s]
Raw data (loadavg): 1.08 1.07 1.04 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1022 0 0 0 16477 1456 0 0 17 0 1 0 20580512 5353472 992 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1307 992 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 179.35
Current children cumulated vsize (Kb) 7356

[startup+220.018 s]
Raw data (loadavg): 1.07 1.07 1.04 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1023 0 0 0 17268 1523 0 0 25 0 1 0 20580512 5353472 993 4294967295 134512640 134702520 3221223952 3221114288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1307 993 413 48 0 1259 0
[pid=6770] vsize: 5228
Current children cumulated CPU time (s) 187.93
Current children cumulated vsize (Kb) 7356

[startup+230.019 s]
Raw data (loadavg): 1.06 1.07 1.04 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1027 0 0 0 18107 1571 0 0 25 0 1 0 20580512 5476352 997 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1337 997 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 196.8
Current children cumulated vsize (Kb) 7476

[startup+240.02 s]
Raw data (loadavg): 1.05 1.06 1.04 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1027 0 0 0 19053 1588 0 0 25 0 1 0 20580512 5476352 997 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1337 997 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 206.43
Current children cumulated vsize (Kb) 7476

[startup+250.02 s]
Raw data (loadavg): 1.04 1.06 1.04 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1028 0 0 0 19874 1644 0 0 23 0 1 0 20580512 5476352 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1337 998 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 215.2
Current children cumulated vsize (Kb) 7476

[startup+260.021 s]
Raw data (loadavg): 1.03 1.06 1.03 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1030 0 0 0 20645 1717 0 0 19 0 1 0 20580512 5476352 1000 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1337 1000 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 223.64
Current children cumulated vsize (Kb) 7476

[startup+270.022 s]
Raw data (loadavg): 1.03 1.06 1.03 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1030 0 0 0 21468 1770 0 0 25 0 1 0 20580512 5476352 1000 4294967295 134512640 134702520 3221223952 3221017168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1337 1000 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 232.4
Current children cumulated vsize (Kb) 7476

[startup+280.022 s]
Raw data (loadavg): 1.02 1.05 1.03 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1032 0 0 0 22270 1835 0 0 21 0 1 0 20580512 5476352 1002 4294967295 134512640 134702520 3221223952 3221223072 134572146 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1337 1002 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 241.07
Current children cumulated vsize (Kb) 7476

[startup+290.023 s]
Raw data (loadavg): 1.02 1.05 1.03 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1035 0 0 0 23151 1872 0 0 25 0 1 0 20580512 5476352 1005 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1337 1005 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 250.25
Current children cumulated vsize (Kb) 7476

[startup+300.023 s]
Raw data (loadavg): 1.02 1.05 1.03 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1035 0 0 0 24090 1893 0 0 23 0 1 0 20580512 5476352 1005 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1337 1005 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 259.85
Current children cumulated vsize (Kb) 7476

[startup+310.024 s]
Raw data (loadavg): 1.01 1.05 1.03 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1035 0 0 0 24875 1963 0 0 21 0 1 0 20580512 5476352 1005 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1337 1005 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 268.4
Current children cumulated vsize (Kb) 7476

[startup+320.024 s]
Raw data (loadavg): 1.01 1.05 1.03 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1037 0 0 0 25666 2030 0 0 20 0 1 0 20580512 5476352 1007 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1337 1007 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 276.98
Current children cumulated vsize (Kb) 7476

[startup+330.026 s]
Raw data (loadavg): 1.01 1.04 1.03 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1039 0 0 0 26501 2087 0 0 23 0 1 0 20580512 5476352 1009 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1337 1009 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 285.9
Current children cumulated vsize (Kb) 7476

[startup+340.027 s]
Raw data (loadavg): 1.01 1.04 1.03 2/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) R 6767 6767 4060 0 -1 0 1041 0 0 0 27314 2148 0 0 19 0 1 0 20580512 5476352 1011 4294967295 134512640 134702520 3221223952 3221223072 134584572 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6770/statm): 1337 1011 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 294.64
Current children cumulated vsize (Kb) 7476

[startup+350.026 s]
Raw data (loadavg): 1.01 1.04 1.03 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1044 0 0 0 28189 2191 0 0 25 0 1 0 20580512 5476352 1014 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1337 1014 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 303.82
Current children cumulated vsize (Kb) 7476

[startup+360.027 s]
Raw data (loadavg): 1.00 1.04 1.02 1/56 6770
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20580505 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 242 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6770/stat): 6770 (vallst) T 6767 6767 4060 0 -1 0 1044 0 0 0 29133 2212 0 0 25 0 1 0 20580512 5476352 1014 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6770/statm): 1337 1014 413 48 0 1289 0
[pid=6770] vsize: 5348
Current children cumulated CPU time (s) 313.47
Current children cumulated vsize (Kb) 7476
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=6770) exited with status: 2
New process pid=6771
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=6771) exited with status: 0
New process pid=6772
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+370.028 s]
Raw data (loadavg): 1.00 1.04 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 507 0 0 0 619 96 0 0 19 0 1 0 20616612 3350528 478 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 818 478 413 48 0 770 0
[pid=6772] vsize: 3272
Current children cumulated CPU time (s) 321.57
Current children cumulated vsize (Kb) 5400

[startup+380.029 s]
Raw data (loadavg): 1.00 1.03 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 507 0 0 0 1224 230 0 0 17 0 1 0 20616612 3350528 478 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 818 478 413 48 0 770 0
[pid=6772] vsize: 3272
Current children cumulated CPU time (s) 328.96
Current children cumulated vsize (Kb) 5400

[startup+390.029 s]
Raw data (loadavg): 1.00 1.03 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 847 0 0 0 1881 340 0 0 18 0 1 0 20616612 4538368 818 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1108 818 413 48 0 1060 0
[pid=6772] vsize: 4432
Current children cumulated CPU time (s) 336.63
Current children cumulated vsize (Kb) 6560

[startup+400.03 s]
Raw data (loadavg): 1.15 1.06 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 855 0 0 0 2608 426 0 0 18 0 1 0 20616612 4673536 826 4294967295 134512640 134702520 3221223712 3221222832 134578979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1141 826 413 48 0 1093 0
[pid=6772] vsize: 4564
Current children cumulated CPU time (s) 344.76
Current children cumulated vsize (Kb) 6692

[startup+410.031 s]
Raw data (loadavg): 1.13 1.06 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 862 0 0 0 3331 513 0 0 18 0 1 0 20616612 4673536 833 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1141 833 413 48 0 1093 0
[pid=6772] vsize: 4564
Current children cumulated CPU time (s) 352.86
Current children cumulated vsize (Kb) 6692

[startup+420.031 s]
Raw data (loadavg): 1.18 1.07 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 865 0 0 0 4032 612 0 0 18 0 1 0 20616612 4673536 836 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1141 836 413 48 0 1093 0
[pid=6772] vsize: 4564
Current children cumulated CPU time (s) 360.86
Current children cumulated vsize (Kb) 6692

[startup+430.033 s]
Raw data (loadavg): 1.15 1.07 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 865 0 0 0 4653 741 0 0 18 0 1 0 20616612 4673536 836 4294967295 134512640 134702520 3221223712 3221222608 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1141 836 413 48 0 1093 0
[pid=6772] vsize: 4564
Current children cumulated CPU time (s) 368.36
Current children cumulated vsize (Kb) 6692

[startup+440.034 s]
Raw data (loadavg): 1.13 1.07 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 868 0 0 0 5330 842 0 0 18 0 1 0 20616612 4673536 839 4294967295 134512640 134702520 3221223712 3221223104 134605875 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1141 839 413 48 0 1093 0
[pid=6772] vsize: 4564
Current children cumulated CPU time (s) 376.14
Current children cumulated vsize (Kb) 6692

[startup+450.033 s]
Raw data (loadavg): 1.11 1.07 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 871 0 0 0 6079 924 0 0 18 0 1 0 20616612 4673536 842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1141 842 413 48 0 1093 0
[pid=6772] vsize: 4564
Current children cumulated CPU time (s) 384.45
Current children cumulated vsize (Kb) 6692

[startup+460.034 s]
Raw data (loadavg): 1.09 1.06 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 874 0 0 0 6844 994 0 0 25 0 1 0 20616612 4673536 845 4294967295 134512640 134702520 3221223712 3220953728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1141 845 413 48 0 1093 0
[pid=6772] vsize: 4564
Current children cumulated CPU time (s) 392.8
Current children cumulated vsize (Kb) 6692

[startup+470.035 s]
Raw data (loadavg): 1.08 1.06 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 879 0 0 0 7549 1087 0 0 19 0 1 0 20616612 4812800 850 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1175 850 413 48 0 1127 0
[pid=6772] vsize: 4700
Current children cumulated CPU time (s) 400.78
Current children cumulated vsize (Kb) 6828

[startup+480.036 s]
Raw data (loadavg): 1.07 1.06 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 879 0 0 0 8146 1222 0 0 17 0 1 0 20616612 4812800 850 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1175 850 413 48 0 1127 0
[pid=6772] vsize: 4700
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (Kb) 6828

[startup+490.036 s]
Raw data (loadavg): 1.06 1.06 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 881 0 0 0 8810 1338 0 0 25 0 1 0 20616612 4788224 852 4294967295 134512640 134702520 3221223712 3221033068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1169 852 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 415.9
Current children cumulated vsize (Kb) 6804

[startup+500.037 s]
Raw data (loadavg): 1.05 1.05 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 885 0 0 0 9522 1430 0 0 19 0 1 0 20616612 4788224 856 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1169 856 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 423.94
Current children cumulated vsize (Kb) 6804

[startup+510.038 s]
Raw data (loadavg): 1.04 1.05 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 887 0 0 0 10284 1509 0 0 18 0 1 0 20616612 4788224 858 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1169 858 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 432.35
Current children cumulated vsize (Kb) 6804

[startup+520.038 s]
Raw data (loadavg): 1.03 1.05 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 891 0 0 0 11063 1579 0 0 24 0 1 0 20616612 4788224 862 4294967295 134512640 134702520 3221223712 3221222736 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1169 862 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 440.84
Current children cumulated vsize (Kb) 6804

[startup+530.039 s]
Raw data (loadavg): 1.10 1.06 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 892 0 0 0 11639 1720 0 0 17 0 1 0 20616612 4788224 863 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1169 863 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 448.01
Current children cumulated vsize (Kb) 6804

[startup+540.04 s]
Raw data (loadavg): 1.08 1.06 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 893 0 0 0 12198 1864 0 0 18 0 1 0 20616612 4788224 864 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1169 864 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 455.04
Current children cumulated vsize (Kb) 6804

[startup+550.04 s]
Raw data (loadavg): 1.07 1.06 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 895 0 0 0 12893 1962 0 0 19 0 1 0 20616612 4788224 866 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1169 866 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 462.97
Current children cumulated vsize (Kb) 6804

[startup+560.041 s]
Raw data (loadavg): 1.06 1.06 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 897 0 0 0 13675 2033 0 0 18 0 1 0 20616612 4788224 868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1169 868 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 471.5
Current children cumulated vsize (Kb) 6804

[startup+570.042 s]
Raw data (loadavg): 1.05 1.05 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 900 0 0 0 14425 2109 0 0 25 0 1 0 20616612 4788224 871 4294967295 134512640 134702520 3221223712 3221134208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1169 871 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 479.76
Current children cumulated vsize (Kb) 6804

[startup+580.043 s]
Raw data (loadavg): 1.04 1.05 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 904 0 0 0 15171 2190 0 0 18 0 1 0 20616612 4788224 875 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1169 875 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 488.03
Current children cumulated vsize (Kb) 6804

[startup+590.043 s]
Raw data (loadavg): 1.04 1.05 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 904 0 0 0 15691 2349 0 0 17 0 1 0 20616612 4788224 875 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1169 875 413 48 0 1121 0
[pid=6772] vsize: 4676
Current children cumulated CPU time (s) 494.82
Current children cumulated vsize (Kb) 6804

[startup+600.043 s]
Raw data (loadavg): 1.11 1.06 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 908 0 0 0 16233 2499 0 0 19 0 1 0 20616612 4894720 879 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 879 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 501.74
Current children cumulated vsize (Kb) 6908

[startup+610.045 s]
Raw data (loadavg): 1.09 1.06 1.03 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 908 0 0 0 16940 2590 0 0 18 0 1 0 20616612 4894720 879 4294967295 134512640 134702520 3221223712 3221223188 1074952449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 879 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 509.72
Current children cumulated vsize (Kb) 6908

[startup+620.045 s]
Raw data (loadavg): 1.08 1.06 1.03 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 909 0 0 0 17675 2675 0 0 18 0 1 0 20616612 4894720 880 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 880 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 517.92
Current children cumulated vsize (Kb) 6908

[startup+630.046 s]
Raw data (loadavg): 1.07 1.06 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 911 0 0 0 18429 2754 0 0 18 0 1 0 20616612 4894720 882 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 882 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 526.25
Current children cumulated vsize (Kb) 6908

[startup+640.047 s]
Raw data (loadavg): 1.06 1.05 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 913 0 0 0 19153 2848 0 0 19 0 1 0 20616612 4894720 884 4294967295 134512640 134702520 3221223712 3221222912 134618010 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 884 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 534.43
Current children cumulated vsize (Kb) 6908

[startup+650.047 s]
Raw data (loadavg): 1.05 1.05 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 913 0 0 0 19781 2971 0 0 18 0 1 0 20616612 4894720 884 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 884 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 541.94
Current children cumulated vsize (Kb) 6908

[startup+660.047 s]
Raw data (loadavg): 1.04 1.05 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 913 0 0 0 20465 3078 0 0 19 0 1 0 20616612 4894720 884 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 884 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 549.85
Current children cumulated vsize (Kb) 6908

[startup+670.048 s]
Raw data (loadavg): 1.03 1.05 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 914 0 0 0 21211 3158 0 0 19 0 1 0 20616612 4894720 885 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 885 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 558.11
Current children cumulated vsize (Kb) 6908

[startup+680.05 s]
Raw data (loadavg): 1.03 1.05 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 914 0 0 0 21969 3240 0 0 21 0 1 0 20616612 4894720 885 4294967295 134512640 134702520 3221223712 3221223104 134605856 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 885 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 566.51
Current children cumulated vsize (Kb) 6908

[startup+690.05 s]
Raw data (loadavg): 1.02 1.04 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 916 0 0 0 22671 3336 0 0 18 0 1 0 20616612 4894720 887 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 887 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 574.49
Current children cumulated vsize (Kb) 6908

[startup+700.05 s]
Raw data (loadavg): 1.02 1.04 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 916 0 0 0 23293 3459 0 0 18 0 1 0 20616612 4894720 887 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 887 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (Kb) 6908

[startup+710.051 s]
Raw data (loadavg): 1.02 1.04 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 916 0 0 0 23997 3559 0 0 23 0 1 0 20616612 4894720 887 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 887 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 6908

[startup+720.052 s]
Raw data (loadavg): 1.09 1.06 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 916 0 0 0 24720 3651 0 0 24 0 1 0 20616612 4894720 887 4294967295 134512640 134702520 3221223712 3221148748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 887 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 598.13
Current children cumulated vsize (Kb) 6908

[startup+730.053 s]
Raw data (loadavg): 1.08 1.05 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 917 0 0 0 25475 3728 0 0 19 0 1 0 20616612 4894720 888 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 888 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 606.45
Current children cumulated vsize (Kb) 6908

[startup+740.054 s]
Raw data (loadavg): 1.07 1.05 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 919 0 0 0 26268 3795 0 0 23 0 1 0 20616612 4894720 890 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 890 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 615.05
Current children cumulated vsize (Kb) 6908

[startup+750.054 s]
Raw data (loadavg): 1.13 1.07 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 920 0 0 0 26902 3916 0 0 18 0 1 0 20616612 4894720 891 4294967295 134512640 134702520 3221223712 3221222608 134550369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 891 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 622.6
Current children cumulated vsize (Kb) 6908

[startup+760.054 s]
Raw data (loadavg): 1.11 1.06 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 920 0 0 0 27517 4048 0 0 18 0 1 0 20616612 4894720 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 891 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 630.07
Current children cumulated vsize (Kb) 6908

[startup+770.055 s]
Raw data (loadavg): 1.09 1.06 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 921 0 0 0 28276 4122 0 0 25 0 1 0 20616612 4894720 892 4294967295 134512640 134702520 3221223712 3221109388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 892 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 638.4
Current children cumulated vsize (Kb) 6908

[startup+780.057 s]
Raw data (loadavg): 1.08 1.06 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 924 0 0 0 29028 4201 0 0 18 0 1 0 20616612 4894720 895 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 895 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 646.71
Current children cumulated vsize (Kb) 6908

[startup+790.057 s]
Raw data (loadavg): 1.06 1.06 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 926 0 0 0 29810 4275 0 0 18 0 1 0 20616612 4894720 897 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 897 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 655.27
Current children cumulated vsize (Kb) 6908

[startup+800.058 s]
Raw data (loadavg): 1.05 1.05 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 928 0 0 0 30532 4369 0 0 18 0 1 0 20616612 4894720 899 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 899 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 663.43
Current children cumulated vsize (Kb) 6908

[startup+810.059 s]
Raw data (loadavg): 1.05 1.05 1.02 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 928 0 0 0 31129 4501 0 0 18 0 1 0 20616612 4894720 899 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 899 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 670.72
Current children cumulated vsize (Kb) 6908

[startup+820.06 s]
Raw data (loadavg): 1.04 1.05 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 929 0 0 0 31752 4620 0 0 18 0 1 0 20616612 4894720 900 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1195 900 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 678.14
Current children cumulated vsize (Kb) 6908

[startup+830.06 s]
Raw data (loadavg): 1.03 1.05 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 931 0 0 0 32554 4684 0 0 19 0 1 0 20616612 4894720 902 4294967295 134512640 134702520 3221223712 3221223104 134603250 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 902 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 686.8
Current children cumulated vsize (Kb) 6908

[startup+840.061 s]
Raw data (loadavg): 1.03 1.05 1.02 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 931 0 0 0 33305 4764 0 0 22 0 1 0 20616612 4894720 902 4294967295 134512640 134702520 3221223712 3221186048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 902 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 695.11
Current children cumulated vsize (Kb) 6908

[startup+850.062 s]
Raw data (loadavg): 1.02 1.04 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 932 0 0 0 34109 4832 0 0 21 0 1 0 20616612 4894720 903 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1195 903 413 48 0 1147 0
[pid=6772] vsize: 4780
Current children cumulated CPU time (s) 703.83
Current children cumulated vsize (Kb) 6908

[startup+860.062 s]
Raw data (loadavg): 1.02 1.04 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 934 0 0 0 34830 4924 0 0 18 0 1 0 20616612 5033984 905 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1229 905 413 48 0 1181 0
[pid=6772] vsize: 4916
Current children cumulated CPU time (s) 711.96
Current children cumulated vsize (Kb) 7044

[startup+870.063 s]
Raw data (loadavg): 1.02 1.04 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 934 0 0 0 35408 5067 0 0 18 0 1 0 20616612 5033984 905 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1229 905 413 48 0 1181 0
[pid=6772] vsize: 4916
Current children cumulated CPU time (s) 719.17
Current children cumulated vsize (Kb) 7044

[startup+880.065 s]
Raw data (loadavg): 1.01 1.04 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 936 0 0 0 36079 5176 0 0 25 0 1 0 20616612 5009408 907 4294967295 134512640 134702520 3221223712 3221126828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 907 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 726.97
Current children cumulated vsize (Kb) 7020

[startup+890.066 s]
Raw data (loadavg): 1.01 1.04 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 938 0 0 0 36858 5243 0 0 20 0 1 0 20616612 5009408 909 4294967295 134512640 134702520 3221223712 3221222992 134553312 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1223 909 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 735.43
Current children cumulated vsize (Kb) 7020

[startup+900.066 s]
Raw data (loadavg): 1.01 1.03 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 939 0 0 0 37617 5321 0 0 23 0 1 0 20616612 5009408 910 4294967295 134512640 134702520 3221223712 3221177248 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1223 910 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 743.8
Current children cumulated vsize (Kb) 7020

[startup+910.067 s]
Raw data (loadavg): 1.01 1.03 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 941 0 0 0 38388 5395 0 0 20 0 1 0 20616612 5009408 912 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1223 912 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 752.25
Current children cumulated vsize (Kb) 7020

[startup+920.068 s]
Raw data (loadavg): 1.00 1.03 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 943 0 0 0 39141 5474 0 0 18 0 1 0 20616612 5009408 914 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 914 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 760.57
Current children cumulated vsize (Kb) 7020

[startup+930.068 s]
Raw data (loadavg): 1.00 1.03 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 943 0 0 0 39761 5596 0 0 18 0 1 0 20616612 5009408 914 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 914 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 767.99
Current children cumulated vsize (Kb) 7020

[startup+940.069 s]
Raw data (loadavg): 1.00 1.03 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 943 0 0 0 40458 5696 0 0 25 0 1 0 20616612 5009408 914 4294967295 134512640 134702520 3221223712 3221142688 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 914 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 775.96
Current children cumulated vsize (Kb) 7020

[startup+950.07 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 945 0 0 0 41241 5763 0 0 17 0 1 0 20616612 5009408 916 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 916 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 784.46
Current children cumulated vsize (Kb) 7020

[startup+960.07 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 946 0 0 0 42003 5840 0 0 21 0 1 0 20616612 5009408 917 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 917 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 792.85
Current children cumulated vsize (Kb) 7020

[startup+970.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 947 0 0 0 42816 5899 0 0 25 0 1 0 20616612 5009408 918 4294967295 134512640 134702520 3221223712 3221046508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1223 918 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 801.57
Current children cumulated vsize (Kb) 7020

[startup+980.072 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 950 0 0 0 43588 5974 0 0 19 0 1 0 20616612 5009408 921 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 921 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 810.04
Current children cumulated vsize (Kb) 7020

[startup+990.072 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 950 0 0 0 44160 6111 0 0 18 0 1 0 20616612 5009408 921 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1223 921 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 817.13
Current children cumulated vsize (Kb) 7020

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 951 0 0 0 44722 6252 0 0 20 0 1 0 20616612 5009408 922 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 922 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 824.16
Current children cumulated vsize (Kb) 7020

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 953 0 0 0 45466 6333 0 0 19 0 1 0 20616612 5009408 924 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1223 924 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 832.41
Current children cumulated vsize (Kb) 7020

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 956 0 0 0 46271 6397 0 0 21 0 1 0 20616612 5009408 927 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 927 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 841.1
Current children cumulated vsize (Kb) 7020

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 957 0 0 0 47052 6468 0 0 20 0 1 0 20616612 5009408 928 4294967295 134512640 134702520 3221223712 3221222992 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 928 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 849.62
Current children cumulated vsize (Kb) 7020

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 957 0 0 0 47812 6544 0 0 20 0 1 0 20616612 5009408 928 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 928 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 857.98
Current children cumulated vsize (Kb) 7020

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 959 0 0 0 48545 6632 0 0 19 0 1 0 20616612 5009408 930 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1223 930 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 866.19
Current children cumulated vsize (Kb) 7020

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 959 0 0 0 49198 6743 0 0 19 0 1 0 20616612 5009408 930 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 930 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 873.83
Current children cumulated vsize (Kb) 7020

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 960 0 0 0 49950 6824 0 0 20 0 1 0 20616612 5009408 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 931 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (Kb) 7020

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 960 0 0 0 50737 6892 0 0 20 0 1 0 20616612 5009408 931 4294967295 134512640 134702520 3221223712 3221222832 134578840 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1223 931 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 890.71
Current children cumulated vsize (Kb) 7020

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 962 0 0 0 51514 6962 0 0 21 0 1 0 20616612 5009408 933 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1223 933 413 48 0 1175 0
[pid=6772] vsize: 4892
Current children cumulated CPU time (s) 899.18
Current children cumulated vsize (Kb) 7020

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 963 0 0 0 52328 7019 0 0 25 0 1 0 20616612 5132288 934 4294967295 134512640 134702520 3221223712 3221149408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 934 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 907.89
Current children cumulated vsize (Kb) 7140

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 967 0 0 0 53128 7088 0 0 20 0 1 0 20616612 5132288 938 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 938 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 916.58
Current children cumulated vsize (Kb) 7140

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 967 0 0 0 53678 7238 0 0 17 0 1 0 20616612 5132288 938 4294967295 134512640 134702520 3221223712 3221222608 134550372 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 938 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 923.58
Current children cumulated vsize (Kb) 7140

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 968 0 0 0 54204 7390 0 0 18 0 1 0 20616612 5132288 939 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 939 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 930.36
Current children cumulated vsize (Kb) 7140

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 969 0 0 0 54980 7461 0 0 19 0 1 0 20616612 5132288 940 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 940 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 938.83
Current children cumulated vsize (Kb) 7140

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 969 0 0 0 55759 7529 0 0 19 0 1 0 20616612 5132288 940 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 940 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 947.3
Current children cumulated vsize (Kb) 7140

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 971 0 0 0 56557 7593 0 0 23 0 1 0 20616612 5132288 942 4294967295 134512640 134702520 3221223712 3221198208 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 942 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 955.92
Current children cumulated vsize (Kb) 7140

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 973 0 0 0 57381 7650 0 0 22 0 1 0 20616612 5132288 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 944 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 964.73
Current children cumulated vsize (Kb) 7140

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 975 0 0 0 58161 7721 0 0 18 0 1 0 20616612 5132288 946 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 946 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 973.24
Current children cumulated vsize (Kb) 7140

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 975 0 0 0 58819 7836 0 0 19 0 1 0 20616612 5132288 946 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 946 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 980.97
Current children cumulated vsize (Kb) 7140

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 975 0 0 0 59489 7941 0 0 19 0 1 0 20616612 5132288 946 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 946 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 988.72
Current children cumulated vsize (Kb) 7140

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 976 0 0 0 60290 8009 0 0 21 0 1 0 20616612 5132288 947 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 947 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 997.41
Current children cumulated vsize (Kb) 7140

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 977 0 0 0 61080 8075 0 0 23 0 1 0 20616612 5132288 948 4294967295 134512640 134702520 3221223712 3221190528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 948 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1005.97
Current children cumulated vsize (Kb) 7140

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 978 0 0 0 61913 8130 0 0 25 0 1 0 20616612 5132288 949 4294967295 134512640 134702520 3221223712 3220989088 134612005 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 949 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1014.85
Current children cumulated vsize (Kb) 7140

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 981 0 0 0 62684 8204 0 0 20 0 1 0 20616612 5132288 952 4294967295 134512640 134702520 3221223712 3221222992 134553315 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 952 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1023.3
Current children cumulated vsize (Kb) 7140

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 983 0 0 0 63440 8283 0 0 19 0 1 0 20616612 5132288 954 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 954 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1031.65
Current children cumulated vsize (Kb) 7140

[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 983 0 0 0 64030 8422 0 0 18 0 1 0 20616612 5132288 954 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 954 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1038.94
Current children cumulated vsize (Kb) 7140

[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 985 0 0 0 64657 8542 0 0 19 0 1 0 20616612 5132288 956 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 956 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1046.41
Current children cumulated vsize (Kb) 7140

[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 986 0 0 0 65455 8608 0 0 21 0 1 0 20616612 5132288 957 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 957 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1055.05
Current children cumulated vsize (Kb) 7140

[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 986 0 0 0 66248 8676 0 0 21 0 1 0 20616612 5132288 957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1253 957 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1063.66
Current children cumulated vsize (Kb) 7140

[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 986 0 0 0 67034 8748 0 0 23 0 1 0 20616612 5132288 957 4294967295 134512640 134702520 3221223712 3221174528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 957 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1072.24
Current children cumulated vsize (Kb) 7140

[startup+1310.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 988 0 0 0 67861 8803 0 0 25 0 1 0 20616612 5132288 959 4294967295 134512640 134702520 3221223712 3220897708 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1253 959 413 48 0 1205 0
[pid=6772] vsize: 5012
Current children cumulated CPU time (s) 1081.06
Current children cumulated vsize (Kb) 7140

[startup+1320.1 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 992 0 0 0 68637 8879 0 0 20 0 1 0 20616612 5275648 963 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1288 963 413 48 0 1240 0
[pid=6772] vsize: 5152
Current children cumulated CPU time (s) 1089.58
Current children cumulated vsize (Kb) 7280

[startup+1330.1 s]
Raw data (loadavg): 1.12 1.03 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 992 0 0 0 69233 9012 0 0 17 0 1 0 20616612 5275648 963 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1288 963 413 48 0 1240 0
[pid=6772] vsize: 5152
Current children cumulated CPU time (s) 1096.87
Current children cumulated vsize (Kb) 7280

[startup+1340.1 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 993 0 0 0 69827 9149 0 0 20 0 1 0 20616612 5251072 964 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1282 964 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1104.18
Current children cumulated vsize (Kb) 7256

[startup+1350.1 s]
Raw data (loadavg): 1.09 1.03 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 996 0 0 0 70622 9217 0 0 21 0 1 0 20616612 5251072 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1282 967 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1112.81
Current children cumulated vsize (Kb) 7256

[startup+1360.1 s]
Raw data (loadavg): 1.07 1.03 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 998 0 0 0 71383 9294 0 0 20 0 1 0 20616612 5251072 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1282 969 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1121.19
Current children cumulated vsize (Kb) 7256

[startup+1370.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 1000 0 0 0 72181 9358 0 0 22 0 1 0 20616612 5251072 971 4294967295 134512640 134702520 3221223712 3221223104 134604475 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1282 971 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1129.81
Current children cumulated vsize (Kb) 7256

[startup+1380.1 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 1002 0 0 0 72971 9426 0 0 21 0 1 0 20616612 5251072 973 4294967295 134512640 134702520 3221223712 3221207328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1282 973 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1138.39
Current children cumulated vsize (Kb) 7256

[startup+1390.1 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) R 6767 6767 4060 0 -1 0 1004 0 0 0 73792 9484 0 0 25 0 1 0 20616612 5251072 975 4294967295 134512640 134702520 3221223712 3221100588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1282 975 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1147.18
Current children cumulated vsize (Kb) 7256

[startup+1400.1 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 1006 0 0 0 74484 9582 0 0 19 0 1 0 20616612 5251072 977 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1282 977 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1155.08
Current children cumulated vsize (Kb) 7256

[startup+1410.1 s]
Raw data (loadavg): 1.15 1.05 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 1006 0 0 0 75129 9698 0 0 20 0 1 0 20616612 5251072 977 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1282 977 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1162.69
Current children cumulated vsize (Kb) 7256

[startup+1420.1 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 1007 0 0 0 75955 9757 0 0 23 0 1 0 20616612 5251072 978 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1282 978 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1171.54
Current children cumulated vsize (Kb) 7256

[startup+1430.1 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 1010 0 0 0 76755 9819 0 0 21 0 1 0 20616612 5251072 981 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1282 981 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1180.16
Current children cumulated vsize (Kb) 7256

[startup+1440.1 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 1012 0 0 0 77557 9884 0 0 22 0 1 0 20616612 5251072 983 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6772/statm): 1282 983 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1188.83
Current children cumulated vsize (Kb) 7256

[startup+1450.1 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 1013 0 0 0 78363 9947 0 0 19 0 1 0 20616612 5251072 984 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1282 984 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1197.52
Current children cumulated vsize (Kb) 7256

[startup+1460.11 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 1015 0 0 0 79170 10011 0 0 21 0 1 0 20616612 5251072 986 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1282 986 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1206.23
Current children cumulated vsize (Kb) 7256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1460.11 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 6772
Raw data (/proc/6767/stat): 6767 (vallstSAT2005PB) S 6766 6767 4060 0 -1 0 378 1419 0 0 2 1 29223 2216 19 0 1 0 20580505 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6767/statm): 532 248 485 147 0 385 0
[pid=6767] vsize: 2128
Raw data (/proc/6772/stat): 6772 (vallst) T 6767 6767 4060 0 -1 0 1015 0 0 0 79170 10011 0 0 21 0 1 0 20616612 5251072 986 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6772/statm): 1282 986 413 48 0 1234 0
[pid=6772] vsize: 5128
Current children cumulated CPU time (s) 1206.23
Current children cumulated vsize (Kb) 7256

Sending SIGTERM to -6767
Sleeping 2 seconds
New process pid=6774
New process pid=6775
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/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)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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)
One traced child (pid=6772) exited with status: 3
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/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/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6728/stat
open syscall for file /proc/6728/status
open syscall for file /proc/6728/cmdline
open syscall for file /proc/6728/environ
open syscall for file /proc/6766/stat
open syscall for file /proc/6766/status
open syscall for file /proc/6766/cmdline
open syscall for file /proc/6766/environ
open syscall for file /proc/6767/stat
open syscall for file /proc/6767/status
open syscall for file /proc/6767/cmdline
open syscall for file /proc/6767/environ
open syscall for file /proc/6774/stat
open syscall for file /proc/6774/status
open syscall for file /proc/6774/cmdline
open syscall for file /proc/6774/environ
open syscall for file /proc/6775/stat
open syscall for file /proc/6775/status
open syscall for file /proc/6775/cmdline
open syscall for file /proc/6775/environ
One traced child (pid=6774) exited with status: 0
One traced child (pid=6775) exited with status: 0
New process pid=6776
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=6776) exited with status: 0
New process pid=6777
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=6777) exited with status: 0
One traced child (pid=6767) 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): 1460.59
CPU time (s): 1206.41
CPU user time (s): 1084.04
CPU system time (s): 122.371
CPU usage (%): 82.5971
Max. virtual memory (cumulated for all children) (Kb): 7476

Verifier Data

ERROR: no interpretation found !