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-fixnet3.opb
MD5SUMd5b458ca51c84d53d4ddd22dc72bb5f7
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 78644320
Optimality of the best value was proved NO
Number of terms in the objective function 9830
Biggest coefficient in the objective function 52428800
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 23652414692
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 52428800
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 23652414692
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1259.2
Number of variables9890
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1072

Trace number 9208

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        933768 kB
Buffers:          9568 kB
Cached:          73868 kB
SwapCached:          0 kB
Active:          43968 kB
Inactive:        42372 kB
HighTotal:      131008 kB
HighFree:        57484 kB
LowTotal:       903652 kB
LowFree:        876284 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:             8864 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:47:40 (client local time) WITH STATUS 0 IN 1207.49 SECONDS
stats: 7925 7 1207.49 0

Solver Data

1:
seed: 0
Nr of vars set: 4007  (#equs: 0)
Nr of vars set: 4007  (#equs: 0)
#decisions: 1095613;  #end-nodes: 49172;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 701, #non-axs: 67
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 27, end (keep): 44
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: 4007  (#equs: 0)
Time taken: 5 min, 10 sec

2:
seed: 0
Nr of vars set: 4007  (#equs: 0)
Nr of vars set: 4007  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4007  (#equs: 0)
Time taken: 14 min, 56 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/5047/stat): 5047 (vallstSAT2005PB) R 5046 5047 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19757564 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5047/statm): 174 3 169 147 0 27 0
[pid=5047] 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=5048
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=5048) exited with status: 0
New process pid=5049
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=5049) exited with status: 0
New process pid=5050
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/wulflinc29/normalized-mps-v2-13-7-fixnet3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0029 s]
Raw data (loadavg): 0.94 0.98 0.91 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 993 0 0 0 928 24 0 0 24 0 1 0 19757571 5197824 882 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1269 882 413 48 0 1221 0
[pid=5050] vsize: 5076
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (Kb) 7204

[startup+20.0047 s]
Raw data (loadavg): 0.95 0.98 0.91 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1045 0 0 0 1716 97 0 0 19 0 1 0 19757571 7794688 934 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 934 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 18.14
Current children cumulated vsize (Kb) 9740

[startup+30.0055 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1046 0 0 0 2585 139 0 0 25 0 1 0 19757571 7794688 935 4294967295 134512640 134702520 3221223952 3220705968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 935 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 27.25
Current children cumulated vsize (Kb) 9740

[startup+40.0063 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1046 0 0 0 3413 193 0 0 25 0 1 0 19757571 7794688 935 4294967295 134512640 134702520 3221223952 3220875388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 935 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 36.07
Current children cumulated vsize (Kb) 9740

[startup+50.007 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1047 0 0 0 4243 248 0 0 25 0 1 0 19757571 7794688 936 4294967295 134512640 134702520 3221223952 3220993488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 936 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 44.92
Current children cumulated vsize (Kb) 9740

[startup+60.0068 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1047 0 0 0 5053 310 0 0 25 0 1 0 19757571 7794688 936 4294967295 134512640 134702520 3221223952 3221117328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 936 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 53.64
Current children cumulated vsize (Kb) 9740

[startup+70.0086 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1048 0 0 0 5874 368 0 0 22 0 1 0 19757571 7794688 937 4294967295 134512640 134702520 3221223952 3221197648 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1903 937 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 62.43
Current children cumulated vsize (Kb) 9740

[startup+80.0094 s]
Raw data (loadavg): 1.05 1.00 0.92 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1051 0 0 0 6736 412 0 0 18 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 71.49
Current children cumulated vsize (Kb) 9740

[startup+90.0101 s]
Raw data (loadavg): 1.04 1.00 0.92 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1051 0 0 0 7666 436 0 0 25 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 81.03
Current children cumulated vsize (Kb) 9740

[startup+100.011 s]
Raw data (loadavg): 1.03 1.00 0.92 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1051 0 0 0 8451 505 0 0 19 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 89.57
Current children cumulated vsize (Kb) 9740

[startup+110.012 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1051 0 0 0 9316 553 0 0 25 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3220737808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 98.7
Current children cumulated vsize (Kb) 9740

[startup+120.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1051 0 0 0 10119 617 0 0 25 0 1 0 19757571 7794688 940 4294967295 134512640 134702520 3221223952 3220968508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 940 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 107.37
Current children cumulated vsize (Kb) 9740

[startup+130.013 s]
Raw data (loadavg): 1.09 1.02 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1052 0 0 0 10933 675 0 0 25 0 1 0 19757571 7794688 941 4294967295 134512640 134702520 3221223952 3221101488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 941 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 116.09
Current children cumulated vsize (Kb) 9740

[startup+140.014 s]
Raw data (loadavg): 1.08 1.02 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1052 0 0 0 11746 737 0 0 19 0 1 0 19757571 7794688 941 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1903 941 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 124.84
Current children cumulated vsize (Kb) 9740

[startup+150.015 s]
Raw data (loadavg): 1.07 1.01 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1052 0 0 0 12628 776 0 0 19 0 1 0 19757571 7794688 941 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 941 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 134.05
Current children cumulated vsize (Kb) 9740

[startup+160.016 s]
Raw data (loadavg): 1.06 1.01 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1054 0 0 0 13511 814 0 0 19 0 1 0 19757571 7794688 943 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1903 943 413 48 0 1855 0
[pid=5050] vsize: 7612
Current children cumulated CPU time (s) 143.26
Current children cumulated vsize (Kb) 9740

[startup+170.016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 14376 859 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3220755248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 152.36
Current children cumulated vsize (Kb) 9916

[startup+180.017 s]
Raw data (loadavg): 1.04 1.01 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 15210 916 0 0 23 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 161.27
Current children cumulated vsize (Kb) 9916

[startup+190.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 16011 981 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3220985808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 169.93
Current children cumulated vsize (Kb) 9916

[startup+200.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 16832 1042 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221110928 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 178.75
Current children cumulated vsize (Kb) 9916

[startup+210.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 17653 1100 0 0 19 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221219708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 187.54
Current children cumulated vsize (Kb) 9916

[startup+220.022 s]
Raw data (loadavg): 1.10 1.02 0.93 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 18531 1139 0 0 17 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 196.71
Current children cumulated vsize (Kb) 9916

[startup+230.023 s]
Raw data (loadavg): 1.16 1.04 0.94 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 19407 1176 0 0 19 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 205.84
Current children cumulated vsize (Kb) 9916

[startup+240.024 s]
Raw data (loadavg): 1.14 1.04 0.94 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 20281 1218 0 0 24 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 215
Current children cumulated vsize (Kb) 9916

[startup+250.025 s]
Raw data (loadavg): 1.12 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 21103 1277 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3220910768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 223.81
Current children cumulated vsize (Kb) 9916

[startup+260.025 s]
Raw data (loadavg): 1.10 1.03 0.94 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1079 0 0 0 21966 1319 0 0 23 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 232.86
Current children cumulated vsize (Kb) 9916

[startup+270.026 s]
Raw data (loadavg): 1.08 1.03 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1079 0 0 0 22746 1395 0 0 25 0 1 0 19757571 7974912 968 4294967295 134512640 134702520 3221223952 3221097308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 1947 968 413 48 0 1899 0
[pid=5050] vsize: 7788
Current children cumulated CPU time (s) 241.42
Current children cumulated vsize (Kb) 9916

[startup+280.027 s]
Raw data (loadavg): 1.07 1.03 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1142 0 0 0 23571 1452 0 0 20 0 1 0 19757571 8286208 1031 4294967295 134512640 134702520 3221223952 3221218608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2023 1031 413 48 0 1975 0
[pid=5050] vsize: 8092
Current children cumulated CPU time (s) 250.24
Current children cumulated vsize (Kb) 10220

[startup+290.029 s]
Raw data (loadavg): 1.14 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1171 0 0 0 24458 1491 0 0 19 0 1 0 19757571 8286208 1060 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2023 1060 413 48 0 1975 0
[pid=5050] vsize: 8092
Current children cumulated CPU time (s) 259.5
Current children cumulated vsize (Kb) 10220

[startup+300.029 s]
Raw data (loadavg): 1.12 1.04 0.94 1/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) T 5047 5047 4005 0 -1 0 1208 0 0 0 25348 1526 0 0 21 0 1 0 19757571 8286208 1097 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2023 1097 413 48 0 1975 0
[pid=5050] vsize: 8092
Current children cumulated CPU time (s) 268.75
Current children cumulated vsize (Kb) 10220

[startup+310.03 s]
Raw data (loadavg): 1.10 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1250 0 0 0 26214 1567 0 0 25 0 1 0 19757571 8597504 1139 4294967295 134512640 134702520 3221223952 3220842428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2099 1139 413 48 0 2051 0
[pid=5050] vsize: 8396
Current children cumulated CPU time (s) 277.82
Current children cumulated vsize (Kb) 10524

[startup+320.031 s]
Raw data (loadavg): 1.08 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1308 0 0 0 27020 1633 0 0 25 0 1 0 19757571 8597504 1197 4294967295 134512640 134702520 3221223952 3221073168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5050/statm): 2099 1197 413 48 0 2051 0
[pid=5050] vsize: 8396
Current children cumulated CPU time (s) 286.54
Current children cumulated vsize (Kb) 10524

[startup+330.032 s]
Raw data (loadavg): 1.07 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1308 0 0 0 27858 1687 0 0 25 0 1 0 19757571 8597504 1197 4294967295 134512640 134702520 3221223952 3221192188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 2099 1197 413 48 0 2051 0
[pid=5050] vsize: 8396
Current children cumulated CPU time (s) 295.46
Current children cumulated vsize (Kb) 10524

[startup+340.033 s]
Raw data (loadavg): 1.06 1.04 0.94 2/56 5050
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19757564 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 242 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5050/stat): 5050 (vallst) R 5047 5047 4005 0 -1 0 1308 0 0 0 28789 1711 0 0 24 0 1 0 19757571 8597504 1197 4294967295 134512640 134702520 3221223952 3221222848 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5050/statm): 2099 1197 413 48 0 2051 0
[pid=5050] vsize: 8396
Current children cumulated CPU time (s) 305.01
Current children cumulated vsize (Kb) 10524
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=5050) exited with status: 2
New process pid=5051
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=5051) exited with status: 0
New process pid=5052
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+350.033 s]
Raw data (loadavg): 1.05 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 631 0 0 0 318 2 0 0 25 0 1 0 19792249 4157440 601 4294967295 134512640 134702520 3221223712 3221026928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1015 601 413 48 0 967 0
[pid=5052] vsize: 4060
Current children cumulated CPU time (s) 314.23
Current children cumulated vsize (Kb) 6188

[startup+360.034 s]
Raw data (loadavg): 1.04 1.03 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 748 0 0 0 768 182 0 0 16 0 1 0 19792249 4599808 718 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1123 718 413 48 0 1075 0
[pid=5052] vsize: 4492
Current children cumulated CPU time (s) 320.53
Current children cumulated vsize (Kb) 6620

[startup+370.036 s]
Raw data (loadavg): 1.03 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 855 0 0 0 1198 367 0 0 25 0 1 0 19792249 6946816 825 4294967295 134512640 134702520 3221223712 3221116288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1696 825 413 48 0 1648 0
[pid=5052] vsize: 6784
Current children cumulated CPU time (s) 326.68
Current children cumulated vsize (Kb) 8912

[startup+380.037 s]
Raw data (loadavg): 1.03 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 856 0 0 0 2029 421 0 0 25 0 1 0 19792249 6950912 826 4294967295 134512640 134702520 3221223712 3221032588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 826 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 335.53
Current children cumulated vsize (Kb) 8916

[startup+390.037 s]
Raw data (loadavg): 1.02 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 857 0 0 0 2860 476 0 0 25 0 1 0 19792249 6950912 827 4294967295 134512640 134702520 3221223712 3220937888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 827 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 344.39
Current children cumulated vsize (Kb) 8916

[startup+400.038 s]
Raw data (loadavg): 1.02 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 857 0 0 0 3668 538 0 0 25 0 1 0 19792249 6950912 827 4294967295 134512640 134702520 3221223712 3220847168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 827 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 353.09
Current children cumulated vsize (Kb) 8916

[startup+410.038 s]
Raw data (loadavg): 1.02 1.03 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 858 0 0 0 4465 601 0 0 25 0 1 0 19792249 6950912 828 4294967295 134512640 134702520 3221223712 3220749728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 828 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 361.69
Current children cumulated vsize (Kb) 8916

[startup+420.039 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 863 0 0 0 5231 678 0 0 18 0 1 0 19792249 6950912 833 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1697 833 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 370.12
Current children cumulated vsize (Kb) 8916

[startup+430.039 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 864 0 0 0 5502 913 0 0 16 0 1 0 19792249 6950912 834 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1697 834 413 48 0 1649 0
[pid=5052] vsize: 6788
Current children cumulated CPU time (s) 375.18
Current children cumulated vsize (Kb) 8916

[startup+440.04 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 897 0 0 0 6153 1022 0 0 25 0 1 0 19792249 7118848 867 4294967295 134512640 134702520 3221223712 3220890508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 867 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 382.78
Current children cumulated vsize (Kb) 9080

[startup+450.041 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 897 0 0 0 6964 1081 0 0 25 0 1 0 19792249 7118848 867 4294967295 134512640 134702520 3221223712 3220783468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 867 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 391.48
Current children cumulated vsize (Kb) 9080

[startup+460.041 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 897 0 0 0 7761 1142 0 0 20 0 1 0 19792249 7118848 867 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 867 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (Kb) 9080

[startup+470.043 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 900 0 0 0 8501 1223 0 0 17 0 1 0 19792249 7118848 870 4294967295 134512640 134702520 3221223712 3221223104 134605158 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 870 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (Kb) 9080

[startup+480.043 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 900 0 0 0 9243 1308 0 0 17 0 1 0 19792249 7118848 870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 870 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 416.54
Current children cumulated vsize (Kb) 9080

[startup+490.045 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 901 0 0 0 9980 1393 0 0 16 0 1 0 19792249 7118848 871 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 871 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 424.76
Current children cumulated vsize (Kb) 9080

[startup+500.046 s]
Raw data (loadavg): 1.08 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 903 0 0 0 10272 1619 0 0 16 0 1 0 19792249 7118848 873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1738 873 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 429.94
Current children cumulated vsize (Kb) 9080

[startup+510.046 s]
Raw data (loadavg): 1.07 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 903 0 0 0 11014 1702 0 0 16 0 1 0 19792249 7118848 873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 873 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 438.19
Current children cumulated vsize (Kb) 9080

[startup+520.046 s]
Raw data (loadavg): 1.06 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 903 0 0 0 11764 1785 0 0 16 0 1 0 19792249 7118848 873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 873 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 446.52
Current children cumulated vsize (Kb) 9080

[startup+530.047 s]
Raw data (loadavg): 1.05 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 909 0 0 0 12530 1861 0 0 18 0 1 0 19792249 7118848 879 4294967295 134512640 134702520 3221223712 3221205248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 879 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 454.94
Current children cumulated vsize (Kb) 9080

[startup+540.048 s]
Raw data (loadavg): 1.04 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 914 0 0 0 13352 1917 0 0 25 0 1 0 19792249 7118848 884 4294967295 134512640 134702520 3221223712 3221144928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 884 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 463.72
Current children cumulated vsize (Kb) 9080

[startup+550.049 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 919 0 0 0 14162 1976 0 0 25 0 1 0 19792249 7118848 889 4294967295 134512640 134702520 3221223712 3221086528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 889 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 472.41
Current children cumulated vsize (Kb) 9080

[startup+560.048 s]
Raw data (loadavg): 1.03 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 921 0 0 0 14723 2121 0 0 16 0 1 0 19792249 7118848 891 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1738 891 413 48 0 1690 0
[pid=5052] vsize: 6952
Current children cumulated CPU time (s) 479.47
Current children cumulated vsize (Kb) 9080

[startup+570.05 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 923 0 0 0 15031 2340 0 0 16 0 1 0 19792249 7163904 893 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1749 893 413 48 0 1701 0
[pid=5052] vsize: 6996
Current children cumulated CPU time (s) 484.74
Current children cumulated vsize (Kb) 9124

[startup+580.051 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 926 0 0 0 15822 2406 0 0 21 0 1 0 19792249 7163904 896 4294967295 134512640 134702520 3221223712 3221189568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1749 896 413 48 0 1701 0
[pid=5052] vsize: 6996
Current children cumulated CPU time (s) 493.31
Current children cumulated vsize (Kb) 9124

[startup+590.052 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 931 0 0 0 16628 2466 0 0 25 0 1 0 19792249 7163904 901 4294967295 134512640 134702520 3221223712 3221143808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1749 901 413 48 0 1701 0
[pid=5052] vsize: 6996
Current children cumulated CPU time (s) 501.97
Current children cumulated vsize (Kb) 9124

[startup+600.053 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 969 0 0 0 17434 2524 0 0 25 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3221091968 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 510.61
Current children cumulated vsize (Kb) 9316

[startup+610.053 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 969 0 0 0 18252 2583 0 0 25 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3221020588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 519.38
Current children cumulated vsize (Kb) 9316

[startup+620.054 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 969 0 0 0 19069 2641 0 0 25 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3220939628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 528.13
Current children cumulated vsize (Kb) 9316

[startup+630.055 s]
Raw data (loadavg): 1.08 1.03 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 969 0 0 0 19501 2825 0 0 16 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 534.29
Current children cumulated vsize (Kb) 9316

[startup+640.056 s]
Raw data (loadavg): 1.07 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 969 0 0 0 19914 3013 0 0 25 0 1 0 19792249 7360512 939 4294967295 134512640 134702520 3221223712 3221147808 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1797 939 413 48 0 1749 0
[pid=5052] vsize: 7188
Current children cumulated CPU time (s) 540.3
Current children cumulated vsize (Kb) 9316

[startup+650.056 s]
Raw data (loadavg): 1.06 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1057 0 0 0 20720 3078 0 0 25 0 1 0 19792249 7606272 1027 4294967295 134512640 134702520 3221223712 3221095808 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1857 1027 413 48 0 1809 0
[pid=5052] vsize: 7428
Current children cumulated CPU time (s) 549.01
Current children cumulated vsize (Kb) 9556

[startup+660.056 s]
Raw data (loadavg): 1.05 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1092 0 0 0 21502 3150 0 0 25 0 1 0 19792249 7852032 1062 4294967295 134512640 134702520 3221223712 3221071948 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1917 1062 413 48 0 1869 0
[pid=5052] vsize: 7668
Current children cumulated CPU time (s) 557.55
Current children cumulated vsize (Kb) 9796

[startup+670.057 s]
Raw data (loadavg): 1.04 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1125 0 0 0 22276 3229 0 0 25 0 1 0 19792249 7852032 1095 4294967295 134512640 134702520 3221223712 3221057088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 1917 1095 413 48 0 1869 0
[pid=5052] vsize: 7668
Current children cumulated CPU time (s) 566.08
Current children cumulated vsize (Kb) 9796

[startup+680.058 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1169 0 0 0 23042 3302 0 0 25 0 1 0 19792249 8097792 1139 4294967295 134512640 134702520 3221223712 3221047948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1977 1139 413 48 0 1929 0
[pid=5052] vsize: 7908
Current children cumulated CPU time (s) 574.47
Current children cumulated vsize (Kb) 10036

[startup+690.059 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1180 0 0 0 23848 3366 0 0 25 0 1 0 19792249 8097792 1150 4294967295 134512640 134702520 3221223712 3221000448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1977 1150 413 48 0 1929 0
[pid=5052] vsize: 7908
Current children cumulated CPU time (s) 583.17
Current children cumulated vsize (Kb) 10036

[startup+700.059 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1183 0 0 0 24334 3529 0 0 16 0 1 0 19792249 8097792 1153 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 1977 1153 413 48 0 1929 0
[pid=5052] vsize: 7908
Current children cumulated CPU time (s) 589.66
Current children cumulated vsize (Kb) 10036

[startup+710.06 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1189 0 0 0 24695 3738 0 0 20 0 1 0 19792249 8204288 1159 4294967295 134512640 134702520 3221223712 3221193408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2003 1159 413 48 0 1955 0
[pid=5052] vsize: 8012
Current children cumulated CPU time (s) 595.36
Current children cumulated vsize (Kb) 10140

[startup+720.061 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1193 0 0 0 25490 3799 0 0 25 0 1 0 19792249 8204288 1163 4294967295 134512640 134702520 3221223712 3221161568 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2003 1163 413 48 0 1955 0
[pid=5052] vsize: 8012
Current children cumulated CPU time (s) 603.92
Current children cumulated vsize (Kb) 10140

[startup+730.062 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1198 0 0 0 26300 3862 0 0 25 0 1 0 19792249 8204288 1168 4294967295 134512640 134702520 3221223712 3221116748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2003 1168 413 48 0 1955 0
[pid=5052] vsize: 8012
Current children cumulated CPU time (s) 612.65
Current children cumulated vsize (Kb) 10140

[startup+740.061 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1249 0 0 0 27115 3924 0 0 25 0 1 0 19792249 8372224 1219 4294967295 134512640 134702520 3221223712 3221071808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1219 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 621.42
Current children cumulated vsize (Kb) 10304

[startup+750.063 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1249 0 0 0 27901 3990 0 0 25 0 1 0 19792249 8372224 1219 4294967295 134512640 134702520 3221223712 3221045568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2044 1219 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 629.94
Current children cumulated vsize (Kb) 10304

[startup+760.064 s]
Raw data (loadavg): 1.08 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1249 0 0 0 28724 4042 0 0 25 0 1 0 19792249 8372224 1219 4294967295 134512640 134702520 3221223712 3220986348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1219 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 638.69
Current children cumulated vsize (Kb) 10304

[startup+770.065 s]
Raw data (loadavg): 1.14 1.05 0.96 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1249 0 0 0 29199 4211 0 0 16 0 1 0 19792249 8372224 1219 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1219 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 645.13
Current children cumulated vsize (Kb) 10304

[startup+780.066 s]
Raw data (loadavg): 1.12 1.05 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1251 0 0 0 29583 4404 0 0 23 0 1 0 19792249 8372224 1221 4294967295 134512640 134702520 3221223712 3221186668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2044 1221 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 650.9
Current children cumulated vsize (Kb) 10304

[startup+790.066 s]
Raw data (loadavg): 1.10 1.05 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1251 0 0 0 30388 4466 0 0 25 0 1 0 19792249 8372224 1221 4294967295 134512640 134702520 3221223712 3221150208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1221 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 659.57
Current children cumulated vsize (Kb) 10304

[startup+800.067 s]
Raw data (loadavg): 1.08 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1251 0 0 0 31197 4524 0 0 25 0 1 0 19792249 8372224 1221 4294967295 134512640 134702520 3221223712 3221103788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1221 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 668.24
Current children cumulated vsize (Kb) 10304

[startup+810.068 s]
Raw data (loadavg): 1.07 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1253 0 0 0 32016 4580 0 0 25 0 1 0 19792249 8372224 1223 4294967295 134512640 134702520 3221223712 3221044128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1223 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 676.99
Current children cumulated vsize (Kb) 10304

[startup+820.07 s]
Raw data (loadavg): 1.06 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1257 0 0 0 32805 4649 0 0 25 0 1 0 19792249 8372224 1227 4294967295 134512640 134702520 3221223712 3221014688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2044 1227 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 685.57
Current children cumulated vsize (Kb) 10304

[startup+830.07 s]
Raw data (loadavg): 1.05 1.04 0.96 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1261 0 0 0 33617 4708 0 0 25 0 1 0 19792249 8372224 1231 4294967295 134512640 134702520 3221223712 3220963168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2044 1231 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 694.28
Current children cumulated vsize (Kb) 10304

[startup+840.07 s]
Raw data (loadavg): 1.12 1.05 0.97 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1263 0 0 0 34079 4885 0 0 16 0 1 0 19792249 8372224 1233 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2044 1233 413 48 0 1996 0
[pid=5052] vsize: 8176
Current children cumulated CPU time (s) 700.67
Current children cumulated vsize (Kb) 10304

[startup+850.072 s]
Raw data (loadavg): 1.10 1.05 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1269 0 0 0 34486 5081 0 0 25 0 1 0 19792249 8429568 1239 4294967295 134512640 134702520 3221223712 3221169088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2058 1239 413 48 0 2010 0
[pid=5052] vsize: 8232
Current children cumulated CPU time (s) 706.7
Current children cumulated vsize (Kb) 10360

[startup+860.073 s]
Raw data (loadavg): 1.09 1.05 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1272 0 0 0 35307 5142 0 0 25 0 1 0 19792249 8429568 1242 4294967295 134512640 134702520 3221223712 3221117888 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2058 1242 413 48 0 2010 0
[pid=5052] vsize: 8232
Current children cumulated CPU time (s) 715.52
Current children cumulated vsize (Kb) 10360

[startup+870.074 s]
Raw data (loadavg): 1.07 1.05 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1330 0 0 0 36093 5215 0 0 25 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3221098348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 724.11
Current children cumulated vsize (Kb) 10500

[startup+880.075 s]
Raw data (loadavg): 1.06 1.04 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1330 0 0 0 36896 5278 0 0 25 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3221051968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 732.77
Current children cumulated vsize (Kb) 10500

[startup+890.075 s]
Raw data (loadavg): 1.05 1.04 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1330 0 0 0 37691 5343 0 0 25 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3221019468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 741.37
Current children cumulated vsize (Kb) 10500

[startup+900.076 s]
Raw data (loadavg): 1.04 1.04 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1330 0 0 0 38502 5401 0 0 25 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3220958348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 750.06
Current children cumulated vsize (Kb) 10500

[startup+910.077 s]
Raw data (loadavg): 1.04 1.04 0.97 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1330 0 0 0 38958 5581 0 0 16 0 1 0 19792249 8572928 1300 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2093 1300 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 756.42
Current children cumulated vsize (Kb) 10500

[startup+920.077 s]
Raw data (loadavg): 1.03 1.04 0.97 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1429 0 0 0 39312 5796 0 0 17 0 1 0 19792249 8572928 1399 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2093 1399 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (Kb) 10500

[startup+930.078 s]
Raw data (loadavg): 1.02 1.04 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1439 0 0 0 40113 5860 0 0 19 0 1 0 19792249 8572928 1409 4294967295 134512640 134702520 3221223712 3221198668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1409 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 770.76
Current children cumulated vsize (Kb) 10500

[startup+940.078 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1439 0 0 0 40930 5919 0 0 25 0 1 0 19792249 8572928 1409 4294967295 134512640 134702520 3221223712 3221151008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1409 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 779.52
Current children cumulated vsize (Kb) 10500

[startup+950.079 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1439 0 0 0 41733 5986 0 0 25 0 1 0 19792249 8572928 1409 4294967295 134512640 134702520 3221223712 3221108288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1409 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 788.22
Current children cumulated vsize (Kb) 10500

[startup+960.078 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1441 0 0 0 42530 6051 0 0 25 0 1 0 19792249 8572928 1411 4294967295 134512640 134702520 3221223712 3221076288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1411 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 796.84
Current children cumulated vsize (Kb) 10500

[startup+970.079 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1445 0 0 0 43295 6125 0 0 25 0 1 0 19792249 8572928 1415 4294967295 134512640 134702520 3221223712 3221073228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1415 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 805.23
Current children cumulated vsize (Kb) 10500

[startup+980.08 s]
Raw data (loadavg): 1.16 1.06 0.98 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1447 0 0 0 43869 6264 0 0 16 0 1 0 19792249 8572928 1417 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2093 1417 413 48 0 2045 0
[pid=5052] vsize: 8372
Current children cumulated CPU time (s) 812.36
Current children cumulated vsize (Kb) 10500

[startup+990.081 s]
Raw data (loadavg): 1.22 1.07 0.98 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1450 0 0 0 44208 6478 0 0 17 0 1 0 19792249 8695808 1420 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2123 1420 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 817.89
Current children cumulated vsize (Kb) 10620

[startup+1000.08 s]
Raw data (loadavg): 1.18 1.07 0.98 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1454 0 0 0 44964 6560 0 0 17 0 1 0 19792249 8695808 1424 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2123 1424 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 826.27
Current children cumulated vsize (Kb) 10620

[startup+1010.08 s]
Raw data (loadavg): 1.15 1.07 0.98 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1457 0 0 0 45721 6634 0 0 17 0 1 0 19792249 8695808 1427 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2123 1427 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 834.58
Current children cumulated vsize (Kb) 10620

[startup+1020.08 s]
Raw data (loadavg): 1.13 1.07 0.98 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1462 0 0 0 46529 6691 0 0 22 0 1 0 19792249 8695808 1432 4294967295 134512640 134702520 3221223712 3221189388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2123 1432 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 843.23
Current children cumulated vsize (Kb) 10620

[startup+1030.08 s]
Raw data (loadavg): 1.11 1.06 0.98 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1467 0 0 0 47353 6750 0 0 25 0 1 0 19792249 8695808 1437 4294967295 134512640 134702520 3221223712 3221138348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2123 1437 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 852.06
Current children cumulated vsize (Kb) 10620

[startup+1040.08 s]
Raw data (loadavg): 1.09 1.06 0.98 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1472 0 0 0 48151 6814 0 0 25 0 1 0 19792249 8695808 1442 4294967295 134512640 134702520 3221223712 3221109248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2123 1442 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 860.68
Current children cumulated vsize (Kb) 10620

[startup+1050.09 s]
Raw data (loadavg): 1.08 1.06 0.98 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1474 0 0 0 48770 6935 0 0 17 0 1 0 19792249 8695808 1444 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2123 1444 413 48 0 2075 0
[pid=5052] vsize: 8492
Current children cumulated CPU time (s) 868.08
Current children cumulated vsize (Kb) 10620

[startup+1060.09 s]
Raw data (loadavg): 1.15 1.07 0.99 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1477 0 0 0 49111 7140 0 0 16 0 1 0 19792249 8765440 1447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1447 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 873.54
Current children cumulated vsize (Kb) 10688

[startup+1070.09 s]
Raw data (loadavg): 1.12 1.07 0.99 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1482 0 0 0 49874 7214 0 0 16 0 1 0 19792249 8765440 1452 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1452 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (Kb) 10688

[startup+1080.09 s]
Raw data (loadavg): 1.10 1.07 0.99 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1487 0 0 0 50631 7293 0 0 16 0 1 0 19792249 8765440 1457 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1457 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 890.27
Current children cumulated vsize (Kb) 10688

[startup+1090.09 s]
Raw data (loadavg): 1.09 1.06 0.99 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1490 0 0 0 51405 7366 0 0 17 0 1 0 19792249 8765440 1460 4294967295 134512640 134702520 3221223712 3221215308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1460 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 898.74
Current children cumulated vsize (Kb) 10688

[startup+1100.09 s]
Raw data (loadavg): 1.15 1.08 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1493 0 0 0 52212 7428 0 0 22 0 1 0 19792249 8765440 1463 4294967295 134512640 134702520 3221223712 3221181408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1463 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 907.43
Current children cumulated vsize (Kb) 10688

[startup+1110.09 s]
Raw data (loadavg): 1.13 1.07 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1496 0 0 0 53009 7494 0 0 25 0 1 0 19792249 8765440 1466 4294967295 134512640 134702520 3221223712 3221155628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2140 1466 413 48 0 2092 0
[pid=5052] vsize: 8560
Current children cumulated CPU time (s) 916.06
Current children cumulated vsize (Kb) 10688

[startup+1120.09 s]
Raw data (loadavg): 1.11 1.07 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1498 0 0 0 53657 7607 0 0 16 0 1 0 19792249 8912896 1468 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2176 1468 413 48 0 2128 0
[pid=5052] vsize: 8704
Current children cumulated CPU time (s) 923.67
Current children cumulated vsize (Kb) 10832

[startup+1130.09 s]
Raw data (loadavg): 1.09 1.07 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1501 0 0 0 53981 7822 0 0 16 0 1 0 19792249 8863744 1471 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1471 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 929.06
Current children cumulated vsize (Kb) 10784

[startup+1140.09 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1505 0 0 0 54737 7904 0 0 17 0 1 0 19792249 8863744 1475 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1475 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 937.44
Current children cumulated vsize (Kb) 10784

[startup+1150.09 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1510 0 0 0 55496 7984 0 0 17 0 1 0 19792249 8863744 1480 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2164 1480 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 945.83
Current children cumulated vsize (Kb) 10784

[startup+1160.09 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1514 0 0 0 56265 8060 0 0 17 0 1 0 19792249 8863744 1484 4294967295 134512640 134702520 3221223712 3221216108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1484 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 954.28
Current children cumulated vsize (Kb) 10784

[startup+1170.1 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1518 0 0 0 57046 8132 0 0 20 0 1 0 19792249 8863744 1488 4294967295 134512640 134702520 3221223712 3221195168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1488 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 962.81
Current children cumulated vsize (Kb) 10784

[startup+1180.1 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1521 0 0 0 57824 8205 0 0 23 0 1 0 19792249 8863744 1491 4294967295 134512640 134702520 3221223712 3221179328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2164 1491 413 48 0 2116 0
[pid=5052] vsize: 8656
Current children cumulated CPU time (s) 971.32
Current children cumulated vsize (Kb) 10784

[startup+1190.1 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1523 0 0 0 58510 8303 0 0 16 0 1 0 19792249 9011200 1493 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2200 1493 413 48 0 2152 0
[pid=5052] vsize: 8800
Current children cumulated CPU time (s) 979.16
Current children cumulated vsize (Kb) 10928

[startup+1200.1 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1526 0 0 0 58832 8519 0 0 16 0 1 0 19792249 8966144 1496 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2189 1496 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 984.54
Current children cumulated vsize (Kb) 10884

[startup+1210.1 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1529 0 0 0 59597 8594 0 0 17 0 1 0 19792249 8966144 1499 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2189 1499 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 992.94
Current children cumulated vsize (Kb) 10884

[startup+1220.1 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1530 0 0 0 60364 8661 0 0 16 0 1 0 19792249 8966144 1500 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2189 1500 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 1001.28
Current children cumulated vsize (Kb) 10884

[startup+1230.1 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1534 0 0 0 61126 8736 0 0 17 0 1 0 19792249 8966144 1504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2189 1504 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 1009.65
Current children cumulated vsize (Kb) 10884

[startup+1240.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1539 0 0 0 61890 8811 0 0 16 0 1 0 19792249 8966144 1509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2189 1509 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 1018.04
Current children cumulated vsize (Kb) 10884

[startup+1250.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1544 0 0 0 62649 8882 0 0 17 0 1 0 19792249 8966144 1514 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2189 1514 413 48 0 2141 0
[pid=5052] vsize: 8756
Current children cumulated CPU time (s) 1026.34
Current children cumulated vsize (Kb) 10884

[startup+1260.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1546 0 0 0 63400 8964 0 0 16 0 1 0 19792249 9109504 1516 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2224 1516 413 48 0 2176 0
[pid=5052] vsize: 8896
Current children cumulated CPU time (s) 1034.67
Current children cumulated vsize (Kb) 11024

[startup+1270.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1548 0 0 0 63719 9193 0 0 16 0 1 0 19792249 9109504 1518 4294967295 134512640 134702520 3221223712 3221222352 134557359 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2224 1518 413 48 0 2176 0
[pid=5052] vsize: 8896
Current children cumulated CPU time (s) 1040.15
Current children cumulated vsize (Kb) 11024

[startup+1280.11 s]
Raw data (loadavg): 1.00 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1551 0 0 0 64469 9276 0 0 25 0 1 0 19792249 9060352 1521 4294967295 134512640 134702520 3221223712 3220702988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2212 1521 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1048.48
Current children cumulated vsize (Kb) 10976

[startup+1290.11 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1555 0 0 0 65236 9349 0 0 25 0 1 0 19792249 9060352 1525 4294967295 134512640 134702520 3221223712 3220693888 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2212 1525 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1056.88
Current children cumulated vsize (Kb) 10976

[startup+1300.11 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1562 0 0 0 66006 9421 0 0 18 0 1 0 19792249 9060352 1532 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2212 1532 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1065.3
Current children cumulated vsize (Kb) 10976

[startup+1310.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1566 0 0 0 66764 9503 0 0 17 0 1 0 19792249 9060352 1536 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2212 1536 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1073.7
Current children cumulated vsize (Kb) 10976

[startup+1320.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1572 0 0 0 67522 9580 0 0 16 0 1 0 19792249 9060352 1542 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2212 1542 413 48 0 2164 0
[pid=5052] vsize: 8848
Current children cumulated CPU time (s) 1082.05
Current children cumulated vsize (Kb) 10976

[startup+1330.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1576 0 0 0 68279 9657 0 0 16 0 1 0 19792249 9207808 1546 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2248 1546 413 48 0 2200 0
[pid=5052] vsize: 8992
Current children cumulated CPU time (s) 1090.39
Current children cumulated vsize (Kb) 11120

[startup+1340.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) T 5047 5047 4005 0 -1 0 1577 0 0 0 68582 9874 0 0 16 0 1 0 19792249 9207808 1547 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2248 1547 413 48 0 2200 0
[pid=5052] vsize: 8992
Current children cumulated CPU time (s) 1095.59
Current children cumulated vsize (Kb) 11120

[startup+1350.11 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1582 0 0 0 69229 9990 0 0 25 0 1 0 19792249 9183232 1552 4294967295 134512640 134702520 3221223712 3220904768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2242 1552 413 48 0 2194 0
[pid=5052] vsize: 8968
Current children cumulated CPU time (s) 1103.22
Current children cumulated vsize (Kb) 11096

[startup+1360.11 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1585 0 0 0 70026 10056 0 0 25 0 1 0 19792249 9183232 1555 4294967295 134512640 134702520 3221223712 3220849868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2242 1555 413 48 0 2194 0
[pid=5052] vsize: 8968
Current children cumulated CPU time (s) 1111.85
Current children cumulated vsize (Kb) 11096

[startup+1370.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1590 0 0 0 70805 10132 0 0 25 0 1 0 19792249 9187328 1560 4294967295 134512640 134702520 3221223712 3220831808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2243 1560 413 48 0 2195 0
[pid=5052] vsize: 8972
Current children cumulated CPU time (s) 1120.4
Current children cumulated vsize (Kb) 11100

[startup+1380.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1594 0 0 0 71539 10213 0 0 25 0 1 0 19792249 9187328 1564 4294967295 134512640 134702520 3221223712 3220863632 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2243 1564 413 48 0 2195 0
[pid=5052] vsize: 8972
Current children cumulated CPU time (s) 1128.55
Current children cumulated vsize (Kb) 11100

[startup+1390.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1597 0 0 0 72306 10287 0 0 25 0 1 0 19792249 9187328 1567 4294967295 134512640 134702520 3221223712 3220858368 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2243 1567 413 48 0 2195 0
[pid=5052] vsize: 8972
Current children cumulated CPU time (s) 1136.96
Current children cumulated vsize (Kb) 11100

[startup+1400.11 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1601 0 0 0 73087 10362 0 0 25 0 1 0 19792249 9187328 1571 4294967295 134512640 134702520 3221223712 3220839328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2243 1571 413 48 0 2195 0
[pid=5052] vsize: 8972
Current children cumulated CPU time (s) 1145.52
Current children cumulated vsize (Kb) 11100

[startup+1410.12 s]
Raw data (loadavg): 1.10 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1603 0 0 0 73453 10562 0 0 16 0 1 0 19792249 9342976 1573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2281 1573 413 48 0 2233 0
[pid=5052] vsize: 9124
Current children cumulated CPU time (s) 1151.18
Current children cumulated vsize (Kb) 11252

[startup+1420.12 s]
Raw data (loadavg): 1.16 1.06 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1609 0 0 0 73913 10732 0 0 25 0 1 0 19792249 9293824 1579 4294967295 134512640 134702520 3221223712 3221125548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2269 1579 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1157.48
Current children cumulated vsize (Kb) 11204

[startup+1430.12 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1613 0 0 0 74703 10798 0 0 25 0 1 0 19792249 9293824 1583 4294967295 134512640 134702520 3221223712 3221107648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2269 1583 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1166.04
Current children cumulated vsize (Kb) 11204

[startup+1440.12 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1617 0 0 0 75486 10865 0 0 25 0 1 0 19792249 9293824 1587 4294967295 134512640 134702520 3221223712 3221092748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2269 1587 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1174.54
Current children cumulated vsize (Kb) 11204

[startup+1450.12 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1623 0 0 0 76250 10940 0 0 25 0 1 0 19792249 9293824 1593 4294967295 134512640 134702520 3221223712 3221098188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5052/statm): 2269 1593 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1182.93
Current children cumulated vsize (Kb) 11204

[startup+1460.12 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1629 0 0 0 77013 11014 0 0 25 0 1 0 19792249 9293824 1599 4294967295 134512640 134702520 3221223712 3221113248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2269 1599 413 48 0 2221 0
[pid=5052] vsize: 9076
Current children cumulated CPU time (s) 1191.3
Current children cumulated vsize (Kb) 11204

[startup+1470.12 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1635 0 0 0 77802 11086 0 0 25 0 1 0 19792249 9412608 1605 4294967295 134512640 134702520 3221223712 3221103148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2298 1605 413 48 0 2250 0
[pid=5052] vsize: 9192
Current children cumulated CPU time (s) 1199.91
Current children cumulated vsize (Kb) 11320

[startup+1480.12 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1637 0 0 0 78406 11218 0 0 16 0 1 0 19792249 9412608 1607 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2298 1607 413 48 0 2250 0
[pid=5052] vsize: 9192
Current children cumulated CPU time (s) 1207.27
Current children cumulated vsize (Kb) 11320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1480.12 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5052
Raw data (/proc/5047/stat): 5047 (vallstSAT2005PB) S 5046 5047 4005 0 -1 0 378 1683 0 0 1 1 29347 1754 18 0 1 0 19757564 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5047/statm): 532 248 485 147 0 385 0
[pid=5047] vsize: 2128
Raw data (/proc/5052/stat): 5052 (vallst) R 5047 5047 4005 0 -1 0 1637 0 0 0 78406 11218 0 0 16 0 1 0 19792249 9412608 1607 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5052/statm): 2298 1607 413 48 0 2250 0
[pid=5052] vsize: 9192
Current children cumulated CPU time (s) 1207.27
Current children cumulated vsize (Kb) 11320

Sending SIGTERM to -5047
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5054
New process pid=5055
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/3988/stat
open syscall for file /proc/3988/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
One traced child (pid=5052) exited with status: 3
open syscall for file /proc/5008/stat
open syscall for file /proc/5008/status
open syscall for file /proc/5008/cmdline
open syscall for file /proc/5008/environ
open syscall for file /proc/5046/stat
open syscall for file /proc/5046/status
open syscall for file /proc/5046/cmdline
open syscall for file /proc/5046/environ
open syscall for file /proc/5047/stat
open syscall for file /proc/5047/status
open syscall for file /proc/5047/cmdline
open syscall for file /proc/5047/environ
open syscall for file /proc/5054/stat
open syscall for file /proc/5054/status
open syscall for file /proc/5054/cmdline
open syscall for file /proc/5054/environ
open syscall for file /proc/5055/stat
open syscall for file /proc/5055/status
open syscall for file /proc/5055/cmdline
open syscall for file /proc/5055/environ
One traced child (pid=5054) exited with status: 0
One traced child (pid=5055) exited with status: 0
New process pid=5056
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=5056) exited with status: 0
New process pid=5057
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=5057) exited with status: 0
One traced child (pid=5047) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1480.61
CPU time (s): 1207.49
CPU user time (s): 1077.66
CPU system time (s): 129.834
CPU usage (%): 81.5538
Max. virtual memory (cumulated for all children) (Kb): 11320

Verifier Data

ERROR: no interpretation found !