Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb
MD5SUM5de4850b53e2079c6374cbb1ea845dc3
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 71225856
Optimality of the best value was proved NO
Number of terms in the objective function 4880
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 1662757407
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10485760
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 1662757407
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 benchmark1259.51
Number of variables9680
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint420

Trace number 9254

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
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:        935432 kB
Buffers:         12232 kB
Cached:          68416 kB
SwapCached:          0 kB
Active:          43916 kB
Inactive:        39628 kB
HighTotal:      131008 kB
HighFree:        58884 kB
LowTotal:       903652 kB
LowFree:        876548 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10060 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:10:34 (client local time) WITH STATUS 0 IN 1207 SECONDS
stats: 7958 7 1207 0

Solver Data

1:
seed: 0
Nr of vars set: 1266  (#equs: 0)
Nr of vars set: 2123  (#equs: 30)
#decisions: 3228439;  #end-nodes: 136032;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 273 (271)
#axs: 766, #non-axs: 1300
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 28, end (keep): 47
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2151  (#equs: 33)
Time taken: 5 min, 15 sec

2:
seed: 0
Nr of vars set: 2151  (#equs: 0)
Nr of vars set: 2151  (#equs: 15)
#decisions: 8702334;  #end-nodes: 702523;
#proof improvement attempts: 0;  #restarts: 1920
Current batch, end-nodes: 0 / 599 (599)
#axs: 762, #non-axs: 766
tight: meta-meta: start: 3, end: 4;  meta: start: 10, end (keep): 17
loose: meta-meta: start: 4, end: 4;  meta: start: 8, end (keep): 12
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2157  (#equs: 30)
Time taken: 12 min, 18 sec

3:
seed: 0
Nr of vars set: 2157  (#equs: 0)
Nr of vars set: 2157  (#equs: 15)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2157  (#equs: 18)
Time taken: 2 min, 32 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/5203/stat): 5203 (vallstSAT2005PB) R 5202 5203 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19900801 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5203/statm): 174 3 169 147 0 27 0
[pid=5203] 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=5204
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=5204) exited with status: 0
New process pid=5205
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=5205) exited with status: 0
New process pid=5206
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/wulflinc13/normalized-mps-v2-13-7-set1ch.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0038 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 952 0 0 0 657 107 0 0 17 0 1 0 19900810 4767744 805 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1164 805 413 48 0 1116 0
[pid=5206] vsize: 4656
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (Kb) 6784

[startup+20.0045 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 952 0 0 0 1267 227 0 0 17 0 1 0 19900810 4767744 805 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1164 805 413 48 0 1116 0
[pid=5206] vsize: 4656
Current children cumulated CPU time (s) 14.95
Current children cumulated vsize (Kb) 6784

[startup+30.0052 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1019 0 0 0 1779 380 0 0 16 0 1 0 19900810 6959104 872 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1699 872 413 48 0 1651 0
[pid=5206] vsize: 6796
Current children cumulated CPU time (s) 21.6
Current children cumulated vsize (Kb) 8924

[startup+40.0058 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1022 0 0 0 2328 526 0 0 16 0 1 0 19900810 6963200 875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 875 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 28.55
Current children cumulated vsize (Kb) 8928

[startup+50.0064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1025 0 0 0 2874 669 0 0 16 0 1 0 19900810 6963200 878 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 878 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 35.44
Current children cumulated vsize (Kb) 8928

[startup+60.0071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1025 0 0 0 3513 786 0 0 16 0 1 0 19900810 6963200 878 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 878 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 43
Current children cumulated vsize (Kb) 8928

[startup+70.0088 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1025 0 0 0 4111 916 0 0 16 0 1 0 19900810 6963200 878 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 878 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (Kb) 8928

[startup+80.0094 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1027 0 0 0 4673 1051 0 0 17 0 1 0 19900810 6963200 880 4294967295 134512640 134702520 3221223952 3221139868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 880 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 57.25
Current children cumulated vsize (Kb) 8928

[startup+90.0101 s]
Raw data (loadavg): 1.15 1.03 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1028 0 0 0 5171 1208 0 0 16 0 1 0 19900810 6963200 881 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 881 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 63.8
Current children cumulated vsize (Kb) 8928

[startup+100.011 s]
Raw data (loadavg): 1.13 1.03 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1031 0 0 0 5725 1352 0 0 16 0 1 0 19900810 6963200 884 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 884 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 70.78
Current children cumulated vsize (Kb) 8928

[startup+110.012 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1031 0 0 0 6385 1463 0 0 16 0 1 0 19900810 6963200 884 4294967295 134512640 134702520 3221223952 3221222848 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 884 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 78.49
Current children cumulated vsize (Kb) 8928

[startup+120.013 s]
Raw data (loadavg): 1.09 1.03 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1031 0 0 0 6979 1592 0 0 16 0 1 0 19900810 6963200 884 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 884 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 85.72
Current children cumulated vsize (Kb) 8928

[startup+130.014 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1034 0 0 0 7460 1754 0 0 16 0 1 0 19900810 6963200 887 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 887 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 92.15
Current children cumulated vsize (Kb) 8928

[startup+140.015 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1034 0 0 0 8007 1902 0 0 15 0 1 0 19900810 6963200 887 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 887 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 99.1
Current children cumulated vsize (Kb) 8928

[startup+150.016 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1035 0 0 0 8559 2043 0 0 15 0 1 0 19900810 6963200 888 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 888 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 106.03
Current children cumulated vsize (Kb) 8928

[startup+160.017 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1037 0 0 0 9217 2156 0 0 16 0 1 0 19900810 6963200 890 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 890 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 113.74
Current children cumulated vsize (Kb) 8928

[startup+170.017 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1037 0 0 0 9818 2285 0 0 16 0 1 0 19900810 6963200 890 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 890 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 121.04
Current children cumulated vsize (Kb) 8928

[startup+180.018 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1037 0 0 0 10333 2443 0 0 16 0 1 0 19900810 6963200 890 4294967295 134512640 134702520 3221223952 3221207568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 890 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 127.77
Current children cumulated vsize (Kb) 8928

[startup+190.02 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1041 0 0 0 10872 2595 0 0 16 0 1 0 19900810 6963200 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 894 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 134.68
Current children cumulated vsize (Kb) 8928

[startup+200.02 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1041 0 0 0 11421 2741 0 0 16 0 1 0 19900810 6963200 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 894 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 141.63
Current children cumulated vsize (Kb) 8928

[startup+210.021 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1042 0 0 0 12025 2865 0 0 15 0 1 0 19900810 6963200 895 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 895 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 148.91
Current children cumulated vsize (Kb) 8928

[startup+220.022 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1042 0 0 0 12649 2991 0 0 16 0 1 0 19900810 6963200 895 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 895 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 156.41
Current children cumulated vsize (Kb) 8928

[startup+230.021 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1043 0 0 0 13191 3135 0 0 16 0 1 0 19900810 6963200 896 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 896 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 163.27
Current children cumulated vsize (Kb) 8928

[startup+240.022 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1045 0 0 0 13760 3277 0 0 16 0 1 0 19900810 6963200 898 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 898 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 170.38
Current children cumulated vsize (Kb) 8928

[startup+250.023 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1047 0 0 0 14323 3412 0 0 16 0 1 0 19900810 6963200 900 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 900 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 177.36
Current children cumulated vsize (Kb) 8928

[startup+260.023 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1047 0 0 0 14988 3520 0 0 16 0 1 0 19900810 6963200 900 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 900 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 185.09
Current children cumulated vsize (Kb) 8928

[startup+270.024 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1047 0 0 0 15608 3644 0 0 16 0 1 0 19900810 6963200 900 4294967295 134512640 134702520 3221223952 3221222848 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 900 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 192.53
Current children cumulated vsize (Kb) 8928

[startup+280.023 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1049 0 0 0 16168 3786 0 0 17 0 1 0 19900810 6963200 902 4294967295 134512640 134702520 3221223952 3221130448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 902 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 199.55
Current children cumulated vsize (Kb) 8928

[startup+290.025 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1052 0 0 0 16734 3924 0 0 17 0 1 0 19900810 6963200 905 4294967295 134512640 134702520 3221223952 3221127228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 905 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 206.59
Current children cumulated vsize (Kb) 8928

[startup+300.026 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1055 0 0 0 17266 4074 0 0 17 0 1 0 19900810 6963200 908 4294967295 134512640 134702520 3221223952 3221187888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 908 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 213.41
Current children cumulated vsize (Kb) 8928

[startup+310.026 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1055 0 0 0 17942 4186 0 0 16 0 1 0 19900810 6963200 908 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 908 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 221.29
Current children cumulated vsize (Kb) 8928

[startup+320.027 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1055 0 0 0 18571 4309 0 0 15 0 1 0 19900810 6963200 908 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 908 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 228.81
Current children cumulated vsize (Kb) 8928

[startup+330.028 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1074 0 0 0 19152 4442 0 0 17 0 1 0 19900810 6963200 927 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1700 927 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 235.95
Current children cumulated vsize (Kb) 8928

[startup+340.028 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1095 0 0 0 19590 4618 0 0 16 0 1 0 19900810 6963200 948 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1700 948 413 48 0 1652 0
[pid=5206] vsize: 6800
Current children cumulated CPU time (s) 242.09
Current children cumulated vsize (Kb) 8928

[startup+350.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1120 0 0 0 19976 4807 0 0 18 0 1 0 19900810 7208960 973 4294967295 134512640 134702520 3221223952 3221065808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1760 973 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 247.84
Current children cumulated vsize (Kb) 9168

[startup+360.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1149 0 0 0 20477 4969 0 0 16 0 1 0 19900810 7208960 1002 4294967295 134512640 134702520 3221223952 3221220508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1002 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 254.47
Current children cumulated vsize (Kb) 9168

[startup+370.03 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1149 0 0 0 21194 5059 0 0 16 0 1 0 19900810 7208960 1002 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1002 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 262.54
Current children cumulated vsize (Kb) 9168

[startup+380.03 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1149 0 0 0 21847 5168 0 0 16 0 1 0 19900810 7208960 1002 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5206/statm): 1760 1002 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 270.16
Current children cumulated vsize (Kb) 9168

[startup+390.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1151 0 0 0 22261 5361 0 0 16 0 1 0 19900810 7208960 1004 4294967295 134512640 134702520 3221223952 3221223208 134548989 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1004 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 276.23
Current children cumulated vsize (Kb) 9168

[startup+400.031 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) R 5203 5203 4060 0 -1 0 1151 0 0 0 22712 5537 0 0 16 0 1 0 19900810 7208960 1004 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1004 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 282.5
Current children cumulated vsize (Kb) 9168

[startup+410.031 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1151 0 0 0 23137 5724 0 0 16 0 1 0 19900810 7208960 1004 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1004 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 288.62
Current children cumulated vsize (Kb) 9168

[startup+420.032 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1161 0 0 0 23596 5896 0 0 16 0 1 0 19900810 7208960 1014 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1014 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 294.93
Current children cumulated vsize (Kb) 9168

[startup+430.033 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1163 0 0 0 24232 6012 0 0 16 0 1 0 19900810 7208960 1016 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1016 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 302.45
Current children cumulated vsize (Kb) 9168

[startup+440.034 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5206
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19900801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 242 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5206/stat): 5206 (vallst) T 5203 5203 4060 0 -1 0 1163 0 0 0 24899 6122 0 0 16 0 1 0 19900810 7208960 1016 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5206/statm): 1760 1016 413 48 0 1712 0
[pid=5206] vsize: 7040
Current children cumulated CPU time (s) 310.22
Current children cumulated vsize (Kb) 9168
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=5206) exited with status: 2
New process pid=5207
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=5207) exited with status: 0
New process pid=5208
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+450.035 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 667 0 0 0 337 12 0 0 25 0 1 0 19945442 4276224 637 4294967295 134512640 134702520 3221223712 3220948828 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1044 637 413 48 0 996 0
[pid=5208] vsize: 4176
Current children cumulated CPU time (s) 318.7
Current children cumulated vsize (Kb) 6304

[startup+460.035 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 669 0 0 0 748 195 0 0 16 0 1 0 19945442 4276224 639 4294967295 134512640 134702520 3221223712 3221222848 134550369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1044 639 413 48 0 996 0
[pid=5208] vsize: 4176
Current children cumulated CPU time (s) 324.64
Current children cumulated vsize (Kb) 6304

[startup+470.036 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 742 0 0 0 1184 375 0 0 16 0 1 0 19945442 6565888 712 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1603 712 413 48 0 1555 0
[pid=5208] vsize: 6412
Current children cumulated CPU time (s) 330.8
Current children cumulated vsize (Kb) 8540

[startup+480.036 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 782 0 0 0 1742 512 0 0 16 0 1 0 19945442 6565888 752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1603 752 413 48 0 1555 0
[pid=5208] vsize: 6412
Current children cumulated CPU time (s) 337.75
Current children cumulated vsize (Kb) 8540

[startup+490.039 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 788 0 0 0 2248 672 0 0 16 0 1 0 19945442 6565888 758 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1603 758 413 48 0 1555 0
[pid=5208] vsize: 6412
Current children cumulated CPU time (s) 344.41
Current children cumulated vsize (Kb) 8540

[startup+500.04 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 792 0 0 0 2816 811 0 0 16 0 1 0 19945442 6668288 762 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 762 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 351.48
Current children cumulated vsize (Kb) 8640

[startup+510.039 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 793 0 0 0 3238 1004 0 0 16 0 1 0 19945442 6668288 763 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 763 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 357.63
Current children cumulated vsize (Kb) 8640

[startup+520.04 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 794 0 0 0 3730 1179 0 0 17 0 1 0 19945442 6668288 764 4294967295 134512640 134702520 3221223712 3221067788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 764 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 364.3
Current children cumulated vsize (Kb) 8640

[startup+530.041 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 796 0 0 0 4274 1326 0 0 18 0 1 0 19945442 6668288 766 4294967295 134512640 134702520 3221223712 3221057408 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 766 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 371.21
Current children cumulated vsize (Kb) 8640

[startup+540.041 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 801 0 0 0 4672 1524 0 0 16 0 1 0 19945442 6668288 771 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 771 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 377.17
Current children cumulated vsize (Kb) 8640

[startup+550.042 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 809 0 0 0 5199 1676 0 0 16 0 1 0 19945442 6668288 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1628 779 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 383.96
Current children cumulated vsize (Kb) 8640

[startup+560.042 s]
Raw data (loadavg): 1.17 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 811 0 0 0 5629 1864 0 0 16 0 1 0 19945442 6668288 781 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1628 781 413 48 0 1580 0
[pid=5208] vsize: 6512
Current children cumulated CPU time (s) 390.14
Current children cumulated vsize (Kb) 8640

[startup+570.042 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 813 0 0 0 6142 2020 0 0 18 0 1 0 19945442 6705152 783 4294967295 134512640 134702520 3221223712 3221040108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1637 783 413 48 0 1589 0
[pid=5208] vsize: 6548
Current children cumulated CPU time (s) 396.83
Current children cumulated vsize (Kb) 8676

[startup+580.042 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 818 0 0 0 6682 2159 0 0 15 0 1 0 19945442 6705152 788 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1637 788 413 48 0 1589 0
[pid=5208] vsize: 6548
Current children cumulated CPU time (s) 403.62
Current children cumulated vsize (Kb) 8676

[startup+590.043 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 825 0 0 0 7175 2321 0 0 16 0 1 0 19945442 6705152 795 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1637 795 413 48 0 1589 0
[pid=5208] vsize: 6548
Current children cumulated CPU time (s) 410.17
Current children cumulated vsize (Kb) 8676

[startup+600.043 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 829 0 0 0 7709 2467 0 0 16 0 1 0 19945442 6705152 799 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1637 799 413 48 0 1589 0
[pid=5208] vsize: 6548
Current children cumulated CPU time (s) 416.97
Current children cumulated vsize (Kb) 8676

[startup+610.044 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 830 0 0 0 8137 2652 0 0 15 0 1 0 19945442 6848512 800 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1672 800 413 48 0 1624 0
[pid=5208] vsize: 6688
Current children cumulated CPU time (s) 423.1
Current children cumulated vsize (Kb) 8816

[startup+620.045 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 832 0 0 0 8664 2809 0 0 18 0 1 0 19945442 6758400 802 4294967295 134512640 134702520 3221223712 3221031968 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1650 802 413 48 0 1602 0
[pid=5208] vsize: 6600
Current children cumulated CPU time (s) 429.94
Current children cumulated vsize (Kb) 8728

[startup+630.045 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 837 0 0 0 9197 2962 0 0 16 0 1 0 19945442 6758400 807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1650 807 413 48 0 1602 0
[pid=5208] vsize: 6600
Current children cumulated CPU time (s) 436.8
Current children cumulated vsize (Kb) 8728

[startup+640.047 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 849 0 0 0 9724 3116 0 0 16 0 1 0 19945442 6758400 819 4294967295 134512640 134702520 3221223712 3221183788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1650 819 413 48 0 1602 0
[pid=5208] vsize: 6600
Current children cumulated CPU time (s) 443.61
Current children cumulated vsize (Kb) 8728

[startup+650.048 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 852 0 0 0 10229 3273 0 0 16 0 1 0 19945442 6758400 822 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1650 822 413 48 0 1602 0
[pid=5208] vsize: 6600
Current children cumulated CPU time (s) 450.23
Current children cumulated vsize (Kb) 8728

[startup+660.047 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 853 0 0 0 10661 3457 0 0 16 0 1 0 19945442 6897664 823 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1684 823 413 48 0 1636 0
[pid=5208] vsize: 6736
Current children cumulated CPU time (s) 456.39
Current children cumulated vsize (Kb) 8864

[startup+670.049 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 854 0 0 0 11190 3613 0 0 17 0 1 0 19945442 6807552 824 4294967295 134512640 134702520 3221223712 3221039788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1662 824 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 463.24
Current children cumulated vsize (Kb) 8776

[startup+680.049 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 857 0 0 0 11739 3753 0 0 18 0 1 0 19945442 6807552 827 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1662 827 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 470.13
Current children cumulated vsize (Kb) 8776

[startup+690.05 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 859 0 0 0 12128 3947 0 0 16 0 1 0 19945442 6807552 829 4294967295 134512640 134702520 3221223712 3221223112 134607252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1662 829 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 475.96
Current children cumulated vsize (Kb) 8776

[startup+700.051 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 864 0 0 0 12643 4097 0 0 16 0 1 0 19945442 6807552 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1662 834 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 482.61
Current children cumulated vsize (Kb) 8776

[startup+710.051 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 864 0 0 0 13080 4277 0 0 16 0 1 0 19945442 6807552 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1662 834 413 48 0 1614 0
[pid=5208] vsize: 6648
Current children cumulated CPU time (s) 488.78
Current children cumulated vsize (Kb) 8776

[startup+720.052 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 867 0 0 0 13535 4454 0 0 16 0 1 0 19945442 6860800 837 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1675 837 413 48 0 1627 0
[pid=5208] vsize: 6700
Current children cumulated CPU time (s) 495.1
Current children cumulated vsize (Kb) 8828

[startup+730.053 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 872 0 0 0 14039 4614 0 0 15 0 1 0 19945442 6860800 842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1675 842 413 48 0 1627 0
[pid=5208] vsize: 6700
Current children cumulated CPU time (s) 501.74
Current children cumulated vsize (Kb) 8828

[startup+740.054 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 878 0 0 0 14553 4780 0 0 16 0 1 0 19945442 6860800 848 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1675 848 413 48 0 1627 0
[pid=5208] vsize: 6700
Current children cumulated CPU time (s) 508.54
Current children cumulated vsize (Kb) 8828

[startup+750.055 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 881 0 0 0 15090 4925 0 0 16 0 1 0 19945442 7004160 851 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1710 851 413 48 0 1662 0
[pid=5208] vsize: 6840
Current children cumulated CPU time (s) 515.36
Current children cumulated vsize (Kb) 8968

[startup+760.055 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 882 0 0 0 15507 5109 0 0 16 0 1 0 19945442 7004160 852 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1710 852 413 48 0 1662 0
[pid=5208] vsize: 6840
Current children cumulated CPU time (s) 521.37
Current children cumulated vsize (Kb) 8968

[startup+770.055 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 884 0 0 0 15966 5282 0 0 17 0 1 0 19945442 6942720 854 4294967295 134512640 134702520 3221223712 3221175148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1695 854 413 48 0 1647 0
[pid=5208] vsize: 6780
Current children cumulated CPU time (s) 527.69
Current children cumulated vsize (Kb) 8908

[startup+780.056 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 907 0 0 0 16556 5417 0 0 16 0 1 0 19945442 6942720 877 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1695 877 413 48 0 1647 0
[pid=5208] vsize: 6780
Current children cumulated CPU time (s) 534.94
Current children cumulated vsize (Kb) 8908

[startup+790.058 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 908 0 0 0 16918 5623 0 0 16 0 1 0 19945442 6942720 878 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1695 878 413 48 0 1647 0
[pid=5208] vsize: 6780
Current children cumulated CPU time (s) 540.62
Current children cumulated vsize (Kb) 8908

[startup+800.058 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1059 0 0 0 17345 5804 0 0 15 0 1 0 19945442 7434240 1029 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1815 1029 413 48 0 1767 0
[pid=5208] vsize: 7260
Current children cumulated CPU time (s) 546.7
Current children cumulated vsize (Kb) 9388

[startup+810.059 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1151 0 0 0 17722 6003 0 0 16 0 1 0 19945442 7925760 1121 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1935 1121 413 48 0 1887 0
[pid=5208] vsize: 7740
Current children cumulated CPU time (s) 552.46
Current children cumulated vsize (Kb) 9868

[startup+820.06 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1190 0 0 0 18157 6181 0 0 16 0 1 0 19945442 7827456 1101 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1911 1101 413 48 0 1863 0
[pid=5208] vsize: 7644
Current children cumulated CPU time (s) 558.59
Current children cumulated vsize (Kb) 9772

[startup+830.06 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1191 0 0 0 18603 6361 0 0 16 0 1 0 19945442 7827456 1102 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1911 1102 413 48 0 1863 0
[pid=5208] vsize: 7644
Current children cumulated CPU time (s) 564.85
Current children cumulated vsize (Kb) 9772

[startup+840.061 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1195 0 0 0 19037 6544 0 0 17 0 1 0 19945442 7794688 1106 4294967295 134512640 134702520 3221223712 3221180608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1903 1106 413 48 0 1855 0
[pid=5208] vsize: 7612
Current children cumulated CPU time (s) 571.02
Current children cumulated vsize (Kb) 9740

[startup+850.062 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1232 0 0 0 19548 6702 0 0 16 0 1 0 19945442 8040448 1143 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1963 1143 413 48 0 1915 0
[pid=5208] vsize: 7852
Current children cumulated CPU time (s) 577.71
Current children cumulated vsize (Kb) 9980

[startup+860.061 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1242 0 0 0 20087 6848 0 0 16 0 1 0 19945442 8040448 1153 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1963 1153 413 48 0 1915 0
[pid=5208] vsize: 7852
Current children cumulated CPU time (s) 584.56
Current children cumulated vsize (Kb) 9980

[startup+870.062 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1246 0 0 0 20703 6972 0 0 17 0 1 0 19945442 7888896 1131 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1131 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 591.96
Current children cumulated vsize (Kb) 9832

[startup+880.063 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1246 0 0 0 21139 7152 0 0 16 0 1 0 19945442 7888896 1131 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1926 1131 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 598.12
Current children cumulated vsize (Kb) 9832

[startup+890.063 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1249 0 0 0 21637 7320 0 0 16 0 1 0 19945442 7888896 1134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1134 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 604.78
Current children cumulated vsize (Kb) 9832

[startup+900.064 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1256 0 0 0 22058 7502 0 0 16 0 1 0 19945442 7888896 1141 4294967295 134512640 134702520 3221223712 3221199788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1141 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 610.81
Current children cumulated vsize (Kb) 9832

[startup+910.064 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1258 0 0 0 22426 7702 0 0 16 0 1 0 19945442 7888896 1143 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1926 1143 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 616.49
Current children cumulated vsize (Kb) 9832

[startup+920.065 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1262 0 0 0 23076 7818 0 0 16 0 1 0 19945442 7888896 1147 4294967295 134512640 134702520 3221223712 3221223104 134603794 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1926 1147 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 624.15
Current children cumulated vsize (Kb) 9832

[startup+930.066 s]
Raw data (loadavg): 1.15 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1269 0 0 0 23627 7960 0 0 16 0 1 0 19945442 7888896 1154 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1154 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 631.08
Current children cumulated vsize (Kb) 9832

[startup+940.066 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1269 0 0 0 24077 8138 0 0 16 0 1 0 19945442 7888896 1154 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1926 1154 413 48 0 1878 0
[pid=5208] vsize: 7704
Current children cumulated CPU time (s) 637.36
Current children cumulated vsize (Kb) 9832

[startup+950.067 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1273 0 0 0 24597 8299 0 0 16 0 1 0 19945442 7946240 1158 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1940 1158 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 644.17
Current children cumulated vsize (Kb) 9888

[startup+960.067 s]
Raw data (loadavg): 1.16 1.07 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1280 0 0 0 25015 8490 0 0 16 0 1 0 19945442 7946240 1165 4294967295 134512640 134702520 3221223712 3221185888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1940 1165 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 650.26
Current children cumulated vsize (Kb) 9888

[startup+970.067 s]
Raw data (loadavg): 1.21 1.08 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1283 0 0 0 25580 8624 0 0 15 0 1 0 19945442 7946240 1168 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1940 1168 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 657.25
Current children cumulated vsize (Kb) 9888

[startup+980.068 s]
Raw data (loadavg): 1.18 1.08 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1289 0 0 0 25971 8820 0 0 16 0 1 0 19945442 7946240 1174 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1940 1174 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 663.12
Current children cumulated vsize (Kb) 9888

[startup+990.069 s]
Raw data (loadavg): 1.15 1.08 1.01 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1292 0 0 0 26525 8967 0 0 16 0 1 0 19945442 7946240 1177 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1940 1177 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 670.13
Current children cumulated vsize (Kb) 9888

[startup+1000.07 s]
Raw data (loadavg): 1.20 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1292 0 0 0 26995 9145 0 0 16 0 1 0 19945442 7946240 1177 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1940 1177 413 48 0 1892 0
[pid=5208] vsize: 7760
Current children cumulated CPU time (s) 676.61
Current children cumulated vsize (Kb) 9888

[startup+1010.07 s]
Raw data (loadavg): 1.25 1.10 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1294 0 0 0 27512 9305 0 0 16 0 1 0 19945442 8003584 1179 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1954 1179 413 48 0 1906 0
[pid=5208] vsize: 7816
Current children cumulated CPU time (s) 683.38
Current children cumulated vsize (Kb) 9944

[startup+1020.07 s]
Raw data (loadavg): 1.21 1.10 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1298 0 0 0 28034 9456 0 0 16 0 1 0 19945442 8003584 1183 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1954 1183 413 48 0 1906 0
[pid=5208] vsize: 7816
Current children cumulated CPU time (s) 690.11
Current children cumulated vsize (Kb) 9944

[startup+1030.07 s]
Raw data (loadavg): 1.18 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1304 0 0 0 28474 9635 0 0 17 0 1 0 19945442 8003584 1189 4294967295 134512640 134702520 3221223712 3221178188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1954 1189 413 48 0 1906 0
[pid=5208] vsize: 7816
Current children cumulated CPU time (s) 696.3
Current children cumulated vsize (Kb) 9944

[startup+1040.07 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1308 0 0 0 28980 9796 0 0 16 0 1 0 19945442 8003584 1193 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1954 1193 413 48 0 1906 0
[pid=5208] vsize: 7816
Current children cumulated CPU time (s) 702.97
Current children cumulated vsize (Kb) 9944

[startup+1050.07 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1310 0 0 0 29566 9931 0 0 16 0 1 0 19945442 8138752 1195 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1987 1195 413 48 0 1939 0
[pid=5208] vsize: 7948
Current children cumulated CPU time (s) 710.18
Current children cumulated vsize (Kb) 10076

[startup+1060.07 s]
Raw data (loadavg): 1.11 1.08 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1312 0 0 0 30085 10086 0 0 16 0 1 0 19945442 8138752 1197 4294967295 134512640 134702520 3221223712 3221222784 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1987 1197 413 48 0 1939 0
[pid=5208] vsize: 7948
Current children cumulated CPU time (s) 716.92
Current children cumulated vsize (Kb) 10076

[startup+1070.07 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1315 0 0 0 30582 10251 0 0 16 0 1 0 19945442 8077312 1200 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1972 1200 413 48 0 1924 0
[pid=5208] vsize: 7888
Current children cumulated CPU time (s) 723.54
Current children cumulated vsize (Kb) 10016

[startup+1080.07 s]
Raw data (loadavg): 1.16 1.09 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1320 0 0 0 31105 10403 0 0 16 0 1 0 19945442 8077312 1205 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1972 1205 413 48 0 1924 0
[pid=5208] vsize: 7888
Current children cumulated CPU time (s) 730.29
Current children cumulated vsize (Kb) 10016

[startup+1090.08 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1326 0 0 0 31620 10555 0 0 18 0 1 0 19945442 8077312 1211 4294967295 134512640 134702520 3221223712 3220999488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1972 1211 413 48 0 1924 0
[pid=5208] vsize: 7888
Current children cumulated CPU time (s) 736.96
Current children cumulated vsize (Kb) 10016

[startup+1100.08 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1335 0 0 0 32117 10711 0 0 16 0 1 0 19945442 8216576 1220 4294967295 134512640 134702520 3221223712 3221222592 134557412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2006 1220 413 48 0 1958 0
[pid=5208] vsize: 8024
Current children cumulated CPU time (s) 743.49
Current children cumulated vsize (Kb) 10152

[startup+1110.08 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1336 0 0 0 32585 10882 0 0 16 0 1 0 19945442 8216576 1221 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2006 1221 413 48 0 1958 0
[pid=5208] vsize: 8024
Current children cumulated CPU time (s) 749.88
Current children cumulated vsize (Kb) 10152

[startup+1120.08 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1338 0 0 0 33071 11052 0 0 16 0 1 0 19945442 8159232 1223 4294967295 134512640 134702520 3221223712 3221195168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1992 1223 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 756.44
Current children cumulated vsize (Kb) 10096

[startup+1130.08 s]
Raw data (loadavg): 1.12 1.09 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1343 0 0 0 33583 11206 0 0 16 0 1 0 19945442 8159232 1228 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1992 1228 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 763.1
Current children cumulated vsize (Kb) 10096

[startup+1140.08 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1350 0 0 0 34127 11347 0 0 16 0 1 0 19945442 8159232 1235 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1992 1235 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 769.95
Current children cumulated vsize (Kb) 10096

[startup+1150.08 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1353 0 0 0 34676 11494 0 0 16 0 1 0 19945442 8159232 1238 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 1992 1238 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 776.91
Current children cumulated vsize (Kb) 10096

[startup+1160.08 s]
Raw data (loadavg): 1.07 1.08 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1353 0 0 0 35127 11675 0 0 16 0 1 0 19945442 8159232 1238 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 1992 1238 413 48 0 1944 0
[pid=5208] vsize: 7968
Current children cumulated CPU time (s) 783.23
Current children cumulated vsize (Kb) 10096

[startup+1170.08 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1355 0 0 0 35628 11839 0 0 15 0 1 0 19945442 8220672 1240 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2007 1240 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 789.88
Current children cumulated vsize (Kb) 10156

[startup+1180.08 s]
Raw data (loadavg): 1.05 1.08 1.02 2/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1356 0 0 0 36081 12009 0 0 17 0 1 0 19945442 8220672 1241 4294967295 134512640 134702520 3221223712 3221130348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2007 1241 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 796.11
Current children cumulated vsize (Kb) 10156

[startup+1190.08 s]
Raw data (loadavg): 1.04 1.07 1.02 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1362 0 0 0 36569 12176 0 0 16 0 1 0 19945442 8220672 1247 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2007 1247 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 802.66
Current children cumulated vsize (Kb) 10156

[startup+1200.08 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1368 0 0 0 37142 12307 0 0 15 0 1 0 19945442 8220672 1253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2007 1253 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 809.7
Current children cumulated vsize (Kb) 10156

[startup+1210.08 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1371 0 0 0 37648 12462 0 0 16 0 1 0 19945442 8220672 1256 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2007 1256 413 48 0 1959 0
[pid=5208] vsize: 8028
Current children cumulated CPU time (s) 816.31
Current children cumulated vsize (Kb) 10156

[startup+1220.08 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5208
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1372 0 0 0 38140 12635 0 0 15 0 1 0 19945442 8376320 1257 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2045 1257 413 48 0 1997 0
[pid=5208] vsize: 8180
Current children cumulated CPU time (s) 822.96
Current children cumulated vsize (Kb) 10308

[startup+1230.08 s]
Raw data (loadavg): 1.02 1.06 1.01 1/58 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1375 0 0 0 38647 12791 0 0 16 0 1 0 19945442 8286208 1260 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2023 1260 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 829.59
Current children cumulated vsize (Kb) 10220

[startup+1240.08 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1378 0 0 0 39192 12931 0 0 16 0 1 0 19945442 8286208 1263 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2023 1263 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 836.44
Current children cumulated vsize (Kb) 10220

[startup+1250.08 s]
Raw data (loadavg): 1.01 1.06 1.01 2/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1389 0 0 0 39741 13068 0 0 16 0 1 0 19945442 8286208 1274 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2023 1274 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 843.3
Current children cumulated vsize (Kb) 10220

[startup+1260.08 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1394 0 0 0 40295 13205 0 0 16 0 1 0 19945442 8286208 1279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2023 1279 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 850.21
Current children cumulated vsize (Kb) 10220

[startup+1270.09 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1394 0 0 0 40767 13381 0 0 16 0 1 0 19945442 8286208 1279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2023 1279 413 48 0 1975 0
[pid=5208] vsize: 8092
Current children cumulated CPU time (s) 856.69
Current children cumulated vsize (Kb) 10220

[startup+1280.09 s]
Raw data (loadavg): 1.01 1.05 1.01 2/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1396 0 0 0 41281 13542 0 0 16 0 1 0 19945442 8355840 1281 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2040 1281 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 863.44
Current children cumulated vsize (Kb) 10288

[startup+1290.09 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1398 0 0 0 41725 13716 0 0 17 0 1 0 19945442 8355840 1283 4294967295 134512640 134702520 3221223712 3221155168 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2040 1283 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 869.62
Current children cumulated vsize (Kb) 10288

[startup+1300.09 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5210
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1404 0 0 0 42267 13862 0 0 16 0 1 0 19945442 8355840 1289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2040 1289 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 876.5
Current children cumulated vsize (Kb) 10288

[startup+1310.09 s]
Raw data (loadavg): 1.21 1.09 1.02 1/59 5213
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1406 0 0 0 42679 14048 0 0 16 0 1 0 19945442 8355840 1291 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2040 1291 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 882.48
Current children cumulated vsize (Kb) 10288

[startup+1320.09 s]
Raw data (loadavg): 1.25 1.11 1.02 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1415 0 0 0 43243 14193 0 0 16 0 1 0 19945442 8355840 1300 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2040 1300 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 889.57
Current children cumulated vsize (Kb) 10288

[startup+1330.09 s]
Raw data (loadavg): 1.29 1.12 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1415 0 0 0 43696 14374 0 0 16 0 1 0 19945442 8355840 1300 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2040 1300 413 48 0 1992 0
[pid=5208] vsize: 8160
Current children cumulated CPU time (s) 895.91
Current children cumulated vsize (Kb) 10288

[startup+1340.09 s]
Raw data (loadavg): 1.32 1.13 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1417 0 0 0 44185 14546 0 0 16 0 1 0 19945442 8413184 1302 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2054 1302 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 902.52
Current children cumulated vsize (Kb) 10344

[startup+1350.09 s]
Raw data (loadavg): 1.27 1.12 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1424 0 0 0 44706 14700 0 0 16 0 1 0 19945442 8413184 1309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2054 1309 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 909.27
Current children cumulated vsize (Kb) 10344

[startup+1360.09 s]
Raw data (loadavg): 1.23 1.12 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1428 0 0 0 45113 14886 0 0 16 0 1 0 19945442 8413184 1313 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2054 1313 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 915.2
Current children cumulated vsize (Kb) 10344

[startup+1370.09 s]
Raw data (loadavg): 1.19 1.12 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1428 0 0 0 45643 15038 0 0 16 0 1 0 19945442 8413184 1313 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2054 1313 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 922.02
Current children cumulated vsize (Kb) 10344

[startup+1380.09 s]
Raw data (loadavg): 1.16 1.11 1.03 1/56 5265
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1433 0 0 0 46109 15204 0 0 16 0 1 0 19945442 8413184 1318 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2054 1318 413 48 0 2006 0
[pid=5208] vsize: 8216
Current children cumulated CPU time (s) 928.34
Current children cumulated vsize (Kb) 10344

[startup+1390.1 s]
Raw data (loadavg): 1.14 1.11 1.03 2/57 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1435 0 0 0 46573 15381 0 0 16 0 1 0 19945442 8556544 1320 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2089 1320 413 48 0 2041 0
[pid=5208] vsize: 8356
Current children cumulated CPU time (s) 934.75
Current children cumulated vsize (Kb) 10484

[startup+1400.1 s]
Raw data (loadavg): 1.11 1.10 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1437 0 0 0 47039 15546 0 0 16 0 1 0 19945442 8466432 1322 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2067 1322 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 941.06
Current children cumulated vsize (Kb) 10396

[startup+1410.1 s]
Raw data (loadavg): 1.10 1.10 1.03 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1438 0 0 0 47545 15697 0 0 17 0 1 0 19945442 8466432 1323 4294967295 134512640 134702520 3221223712 3220990848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2067 1323 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 947.63
Current children cumulated vsize (Kb) 10396

[startup+1420.1 s]
Raw data (loadavg): 1.23 1.13 1.04 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1442 0 0 0 47994 15874 0 0 16 0 1 0 19945442 8466432 1327 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2067 1327 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 953.89
Current children cumulated vsize (Kb) 10396

[startup+1430.1 s]
Raw data (loadavg): 1.20 1.12 1.04 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1446 0 0 0 48520 16025 0 0 16 0 1 0 19945442 8466432 1331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2067 1331 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 960.66
Current children cumulated vsize (Kb) 10396

[startup+1440.1 s]
Raw data (loadavg): 1.17 1.12 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1448 0 0 0 48998 16196 0 0 15 0 1 0 19945442 8466432 1333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2067 1333 413 48 0 2019 0
[pid=5208] vsize: 8268
Current children cumulated CPU time (s) 967.15
Current children cumulated vsize (Kb) 10396

[startup+1450.1 s]
Raw data (loadavg): 1.22 1.13 1.04 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1449 0 0 0 49459 16372 0 0 16 0 1 0 19945442 8617984 1334 4294967295 134512640 134702520 3221223712 3221222480 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2104 1334 413 48 0 2056 0
[pid=5208] vsize: 8416
Current children cumulated CPU time (s) 973.52
Current children cumulated vsize (Kb) 10544

[startup+1460.1 s]
Raw data (loadavg): 1.19 1.13 1.04 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1450 0 0 0 49821 16582 0 0 16 0 1 0 19945442 8527872 1335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2082 1335 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 979.24
Current children cumulated vsize (Kb) 10456

[startup+1470.1 s]
Raw data (loadavg): 1.16 1.12 1.04 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1454 0 0 0 50284 16753 0 0 17 0 1 0 19945442 8527872 1339 4294967295 134512640 134702520 3221223712 3221113568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2082 1339 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 985.58
Current children cumulated vsize (Kb) 10456

[startup+1480.1 s]
Raw data (loadavg): 1.13 1.12 1.04 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1457 0 0 0 50749 16921 0 0 16 0 1 0 19945442 8527872 1342 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2082 1342 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 991.91
Current children cumulated vsize (Kb) 10456

[startup+1490.1 s]
Raw data (loadavg): 1.11 1.11 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1463 0 0 0 51279 17075 0 0 16 0 1 0 19945442 8527872 1348 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2082 1348 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 998.75
Current children cumulated vsize (Kb) 10456

[startup+1500.1 s]
Raw data (loadavg): 1.09 1.11 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1473 0 0 0 51760 17247 0 0 16 0 1 0 19945442 8527872 1358 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2082 1358 413 48 0 2034 0
[pid=5208] vsize: 8328
Current children cumulated CPU time (s) 1005.28
Current children cumulated vsize (Kb) 10456

[startup+1510.1 s]
Raw data (loadavg): 1.08 1.10 1.03 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1474 0 0 0 52219 17424 0 0 16 0 1 0 19945442 8671232 1359 4294967295 134512640 134702520 3221223712 3221222480 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2117 1359 413 48 0 2069 0
[pid=5208] vsize: 8468
Current children cumulated CPU time (s) 1011.64
Current children cumulated vsize (Kb) 10596

[startup+1520.1 s]
Raw data (loadavg): 1.07 1.10 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1475 0 0 0 52596 17627 0 0 16 0 1 0 19945442 8581120 1360 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2095 1360 413 48 0 2047 0
[pid=5208] vsize: 8380
Current children cumulated CPU time (s) 1017.44
Current children cumulated vsize (Kb) 10508

[startup+1530.11 s]
Raw data (loadavg): 1.06 1.10 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1477 0 0 0 52983 17821 0 0 16 0 1 0 19945442 8581120 1362 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2095 1362 413 48 0 2047 0
[pid=5208] vsize: 8380
Current children cumulated CPU time (s) 1023.25
Current children cumulated vsize (Kb) 10508

[startup+1540.11 s]
Raw data (loadavg): 1.05 1.09 1.03 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1479 0 0 0 53551 17960 0 0 17 0 1 0 19945442 8581120 1364 4294967295 134512640 134702520 3221223712 3221194188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2095 1364 413 48 0 2047 0
[pid=5208] vsize: 8380
Current children cumulated CPU time (s) 1030.32
Current children cumulated vsize (Kb) 10508

[startup+1550.11 s]
Raw data (loadavg): 1.04 1.09 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1482 0 0 0 53988 18134 0 0 16 0 1 0 19945442 8581120 1367 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5208/statm): 2095 1367 413 48 0 2047 0
[pid=5208] vsize: 8380
Current children cumulated CPU time (s) 1036.43
Current children cumulated vsize (Kb) 10508

[startup+1560.11 s]
Raw data (loadavg): 1.03 1.09 1.03 1/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) T 5203 5203 4060 0 -1 0 1503 0 0 0 54550 18274 0 0 16 0 1 0 19945442 8744960 1388 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2135 1388 413 48 0 2087 0
[pid=5208] vsize: 8540
Current children cumulated CPU time (s) 1043.45
Current children cumulated vsize (Kb) 10668

[startup+1570.11 s]
Raw data (loadavg): 1.03 1.08 1.03 2/56 5269
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 378 1538 0 0 1 1 25327 6192 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5208/stat): 5208 (vallst) R 5203 5203 4060 0 -1 0 1503 0 0 0 54972 18460 0 0 16 0 1 0 19945442 8744960 1388 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5208/statm): 2135 1388 413 48 0 2087 0
[pid=5208] vsize: 8540
Current children cumulated CPU time (s) 1049.53
Current children cumulated vsize (Kb) 10668
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=5208) exited with status: 2
New process pid=5270
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=5270) exited with status: 0
New process pid=5271
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+1580.11 s]
Raw data (loadavg): 1.02 1.08 1.03 2/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 659 0 0 0 307 10 0 0 25 0 1 0 20058496 4120576 630 4294967295 134512640 134702520 3221223712 3221034768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 630 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 1057.27
Current children cumulated vsize (Kb) 6152

[startup+1590.11 s]
Raw data (loadavg): 1.02 1.08 1.02 1/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 663 0 0 0 831 168 0 0 17 0 1 0 20058496 4120576 634 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 634 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 1064.09
Current children cumulated vsize (Kb) 6152

[startup+1600.11 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 736 0 0 0 1369 316 0 0 16 0 1 0 20058496 6029312 707 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1472 707 413 48 0 1424 0
[pid=5271] vsize: 5888
Current children cumulated CPU time (s) 1070.95
Current children cumulated vsize (Kb) 8016

[startup+1610.11 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 754 0 0 0 1906 460 0 0 16 0 1 0 20058496 6029312 725 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1472 725 413 48 0 1424 0
[pid=5271] vsize: 5888
Current children cumulated CPU time (s) 1077.76
Current children cumulated vsize (Kb) 8016

[startup+1620.11 s]
Raw data (loadavg): 1.07 1.08 1.03 2/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 769 0 0 0 2396 619 0 0 17 0 1 0 20058496 6029312 740 4294967295 134512640 134702520 3221223712 3220936268 134531184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1472 740 413 48 0 1424 0
[pid=5271] vsize: 5888
Current children cumulated CPU time (s) 1084.25
Current children cumulated vsize (Kb) 8016

[startup+1630.11 s]
Raw data (loadavg): 1.06 1.08 1.03 2/56 5271
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 781 0 0 0 2904 772 0 0 17 0 1 0 20058496 6119424 752 4294967295 134512640 134702520 3221223712 3220947008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1494 752 413 48 0 1446 0
[pid=5271] vsize: 5976
Current children cumulated CPU time (s) 1090.86
Current children cumulated vsize (Kb) 8104

[startup+1640.11 s]
Raw data (loadavg): 1.05 1.08 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 784 0 0 0 3410 931 0 0 16 0 1 0 20058496 6119424 755 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1494 755 413 48 0 1446 0
[pid=5271] vsize: 5976
Current children cumulated CPU time (s) 1097.51
Current children cumulated vsize (Kb) 8104

[startup+1650.11 s]
Raw data (loadavg): 1.04 1.08 1.02 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 785 0 0 0 3993 1067 0 0 16 0 1 0 20058496 6119424 756 4294967295 134512640 134702520 3221223712 3221222420 134550159 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1494 756 413 48 0 1446 0
[pid=5271] vsize: 5976
Current children cumulated CPU time (s) 1104.7
Current children cumulated vsize (Kb) 8104

[startup+1660.11 s]
Raw data (loadavg): 1.03 1.07 1.02 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 792 0 0 0 4448 1245 0 0 17 0 1 0 20058496 6119424 763 4294967295 134512640 134702520 3221223712 3221163328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1494 763 413 48 0 1446 0
[pid=5271] vsize: 5976
Current children cumulated CPU time (s) 1111.03
Current children cumulated vsize (Kb) 8104

[startup+1670.11 s]
Raw data (loadavg): 1.03 1.07 1.02 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 797 0 0 0 4918 1416 0 0 16 0 1 0 20058496 6201344 768 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1514 768 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1117.44
Current children cumulated vsize (Kb) 8184

[startup+1680.11 s]
Raw data (loadavg): 1.02 1.07 1.02 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 804 0 0 0 5424 1576 0 0 16 0 1 0 20058496 6201344 775 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1514 775 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1124.1
Current children cumulated vsize (Kb) 8184

[startup+1690.12 s]
Raw data (loadavg): 1.02 1.06 1.02 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 808 0 0 0 5981 1718 0 0 16 0 1 0 20058496 6201344 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1514 779 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1131.09
Current children cumulated vsize (Kb) 8184

[startup+1700.12 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 809 0 0 0 6530 1867 0 0 16 0 1 0 20058496 6201344 780 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1514 780 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1138.07
Current children cumulated vsize (Kb) 8184

[startup+1710.12 s]
Raw data (loadavg): 1.07 1.07 1.02 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 811 0 0 0 7044 2021 0 0 16 0 1 0 20058496 6201344 782 4294967295 134512640 134702520 3221223712 3221223180 134657226 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1514 782 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1144.75
Current children cumulated vsize (Kb) 8184

[startup+1720.12 s]
Raw data (loadavg): 1.06 1.07 1.02 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 819 0 0 0 7585 2164 0 0 16 0 1 0 20058496 6201344 790 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1514 790 413 48 0 1466 0
[pid=5271] vsize: 6056
Current children cumulated CPU time (s) 1151.59
Current children cumulated vsize (Kb) 8184

[startup+1730.12 s]
Raw data (loadavg): 1.13 1.08 1.03 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 825 0 0 0 8096 2316 0 0 16 0 1 0 20058496 6279168 796 4294967295 134512640 134702520 3221223712 3221222992 134551120 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 796 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1158.22
Current children cumulated vsize (Kb) 8260

[startup+1740.12 s]
Raw data (loadavg): 1.18 1.10 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 827 0 0 0 8653 2457 0 0 16 0 1 0 20058496 6279168 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 798 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1165.2
Current children cumulated vsize (Kb) 8260

[startup+1750.12 s]
Raw data (loadavg): 1.15 1.09 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 828 0 0 0 9205 2601 0 0 15 0 1 0 20058496 6279168 799 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 799 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1172.16
Current children cumulated vsize (Kb) 8260

[startup+1760.12 s]
Raw data (loadavg): 1.21 1.11 1.04 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 834 0 0 0 9731 2753 0 0 16 0 1 0 20058496 6279168 805 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 805 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1178.94
Current children cumulated vsize (Kb) 8260

[startup+1770.12 s]
Raw data (loadavg): 1.18 1.10 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 841 0 0 0 10363 2868 0 0 16 0 1 0 20058496 6279168 812 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 812 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1186.41
Current children cumulated vsize (Kb) 8260

[startup+1780.12 s]
Raw data (loadavg): 1.15 1.10 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 847 0 0 0 10879 3024 0 0 16 0 1 0 20058496 6279168 818 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 818 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1193.13
Current children cumulated vsize (Kb) 8260

[startup+1790.12 s]
Raw data (loadavg): 1.12 1.10 1.03 2/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5203 5203 4060 0 -1 0 855 0 0 0 11405 3182 0 0 15 0 1 0 20058496 6279168 826 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1533 826 413 48 0 1485 0
[pid=5271] vsize: 6132
Current children cumulated CPU time (s) 1199.97
Current children cumulated vsize (Kb) 8260

[startup+1800.12 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 857 0 0 0 11932 3336 0 0 15 0 1 0 20058496 6438912 828 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1572 828 413 48 0 1524 0
[pid=5271] vsize: 6288
Current children cumulated CPU time (s) 1206.78
Current children cumulated vsize (Kb) 8416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.12 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5273
Raw data (/proc/5203/stat): 5203 (vallstSAT2005PB) S 5202 5203 4060 0 -1 0 417 3186 0 0 1 1 80660 24748 17 0 1 0 19900801 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5203/statm): 532 248 485 147 0 385 0
[pid=5203] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5203 5203 4060 0 -1 0 857 0 0 0 11932 3336 0 0 15 0 1 0 20058496 6438912 828 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1572 828 413 48 0 1524 0
[pid=5271] vsize: 6288
Current children cumulated CPU time (s) 1206.78
Current children cumulated vsize (Kb) 8416

Sending SIGTERM to -5203
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5275
New process pid=5276
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)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
One traced child (pid=5271) exited with status: 3
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/5164/stat
open syscall for file /proc/5164/status
open syscall for file /proc/5164/cmdline
open syscall for file /proc/5164/environ
open syscall for file /proc/5202/stat
open syscall for file /proc/5202/status
open syscall for file /proc/5202/cmdline
open syscall for file /proc/5202/environ
open syscall for file /proc/5203/stat
open syscall for file /proc/5203/status
open syscall for file /proc/5203/cmdline
open syscall for file /proc/5203/environ
open syscall for file /proc/5275/stat
open syscall for file /proc/5275/status
open syscall for file /proc/5275/cmdline
open syscall for file /proc/5275/environ
open syscall for file /proc/5276/stat
open syscall for file /proc/5276/status
open syscall for file /proc/5276/cmdline
open syscall for file /proc/5276/environ
One traced child (pid=5275) exited with status: 0
One traced child (pid=5276) exited with status: 0
New process pid=5277
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=5277) exited with status: 0
New process pid=5278
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=5278) exited with status: 0
One traced child (pid=5203) 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): 1800.64
CPU time (s): 1207
CPU user time (s): 926.057
CPU system time (s): 280.94
CPU usage (%): 67.0316
Max. virtual memory (cumulated for all children) (Kb): 10668

Verifier Data

ERROR: no interpretation found !